Timeline


and

Oct 27, 2010:

11:09 PM Ticket #4448 (Another case of SpecConstr not specialising) created by rl
Compile with -O2 -fno-spec-constr-count -fno-spec-constr-threshold: …
10:24 PM BugSweep edited by mjg
Removed #1058 #1434 #1499 #1666 #2396 #2399 #2683 #3064 #3605 #3638 #3651 (diff)
10:19 PM BugSweep edited by mjg
Removed #1182 (diff)
10:17 PM Ticket #4447 (DocBook detection in autoconf is against an old version; patch enclosed) created by dankna
Running ./configure on a stock 7.0.0.20101026 snapshot reports: […] …
10:16 PM Ticket #1182 (splitAt does not implement H98 report behaviour, it is too strict in 'n') closed by mjg
wontfix: So this behaviour that is intended deviation from Haskell98.
10:12 PM BugSweep edited by mjg
Removed #2551 and #2614 (diff)
10:00 PM Ticket #2551 (Allow multiple modules per source file) closed by mjg
wontfix: Current arrangement seems reasonable "as-is". Another way to achieve …
8:26 PM Ticket #4388 (Unexpected failures, too much allocation) closed by igloo
duplicate: The recent regression should be fixed by […] I'm closing this ticket …
7:37 PM Changeset in ghc [f95a9542]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Two signficant changes to the simplifier 1. Do eta-expansion at let-bindings, not lambdas. I have wanted to do this for a long time. See Note [Eta-expanding at let bindings] in SimplUtils 2. Simplify the rather subtle way in which InlineRules (the template captured by an INLINE pragma) was simplified. Now, these templates are always simplified in "gentle" mode only, and only INLINE things inline inside them. See Note Note [Gentle mode], Note [Inlining in gentle mode] and Note [RULEs enabled in SimplGently] in SimplUtils
7:13 PM Ticket #1666 (-Werror aborts too early) closed by simonmar
fixed: Done: […]
6:56 PM Changeset in ghc [32bb9e8]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Yet another go at CoreArity Amazingly, there were still Wrong Things in the arity analysis, exposed by my fiddling with eta expansion. I simplified the code, clarified the comments, added more examples, and tidied it all up. I hope it's better this time.
6:42 PM Changeset in ghc [6104e5e]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Buglet in tcIface, now that nested binders can have pragmas This fix ties the knot for recursive groups properly
6:41 PM Changeset in ghc [42fe164]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Add strictness for raiseIO# primop
6:41 PM Changeset in ghc [51367fba]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by simonpj@…>
Don't worker-wrapper INLINABLE things See Note [Don't w/w INLINABLE things] in WorkWrap This fixes a bug that Milan found.
6:40 PM Changeset in ghc [d4781f3e]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Michal Terepeta <michal.terepeta@…>
Optimise comparisons against min/maxBound (ticket #3744). This optimises away comparisons with minBound or maxBound that are always false or always true.
5:52 PM Ticket #4446 (linker symbol name clashes between rts and system libs) created by duncan
Since we are still using static linking then we still have problems with …
2:29 PM Status/SLPJ-Tickets edited by simonpj
(diff)
1:40 PM Ticket #4439 (GHC doesn't detect trivial complete pattern with the combination of ...) closed by igloo
fixed: Merged.
1:40 PM Ticket #4431 (SpecConstr doesn't specialise) closed by igloo
fixed: Merged.
1:40 PM Ticket #4396 (tc003(hpc) failing with link error) closed by igloo
fixed: Second now merged too, along with […]
12:30 PM Changeset in ghc-prim [f7c04d8]ghc-7.2ghc-7.4ghc-7.6ghc-7.8no-pred-ty by jpm@…>
Follow GHC.Types changes
12:11 PM Changeset in ghc [94bf0d3]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
Refactoring and tidyup of HscMain and related things (also fix #1666) While trying to fix #1666 (-Werror aborts too early) I decided to some tidyup in GHC/DriverPipeline/HscMain. - The GhcMonad overloading is gone from DriverPipeline and HscMain now. GhcMonad is now defined in a module of its own, and only used in the top-level GHC layer. DriverPipeline and HscMain use the plain IO monad and take HscEnv as an argument. - WarnLogMonad is gone. printExceptionAndWarnings is now called printException (the old name is deprecated). Session no longer contains warnings. - HscMain has its own little monad that collects warnings, and also plumbs HscEnv around. The idea here is that warnings are collected while we're in HscMain, but on exit from HscMain (any function) we check for warnings and either print them (via log_action, so IDEs can still override the printing), or turn them into an error if -Werror is on. - GhcApiCallbacks is gone, along with GHC.loadWithLogger. Thomas Schilling told me he wasn't using these, and I don't see a good reason to have them. - there's a new pure API to the parser (suggestion from Neil Mitchell): parser :: String -> DynFlags -> FilePath -> Either ErrorMessages (WarningMessages, Located (HsModule RdrName))
11:10 AM Changeset in ghc [2493b180]at-defaultsatomicsbetter-ho-cardinalitycardinalitycoerciblecoloured-corecpr-sum-typescrosscross-compiler-alienlessdata-kind-syntaxdecision-procedureencodingghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-axiomsghc-constraint-solverghc-deferghc-lwc2ghc-new-coghc-new-flavorghc-parmake-gsocghc-spjimp-param-classknown-key-serializationlate-dmdlate-lam-liftlocal-gcmonad-compnew-demand-to-mergenewcgno-pred-tyoverlapping-tyfamsprofilingreal-src-loc-spansdocsilent-sc-argssimdsrclocsupercompilertc-arrowstc-untouchablesth-newth-new-7.6ticky-for-all-letstype-holes-branchtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/Cabal-1.20wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Marlow <marlowsd@…>
follow changes in the GHC API
8:34 AM DarcsEvaluation edited by simonmar
(diff)
1:07 AM Ticket #4445 (Sometimes exit() is called instead of stg_exit()) created by augustss
In rts/win32/seh_excn.h the exit() function is used instead of stg_exit(). …
12:32 AM Ticket #4437 (unregistered language extensions) closed by igloo
fixed: Thanks, I've added a test to GHC's testsuite.

Oct 26, 2010:

8:35 PM Ticket #4241 (Optimization causes HUnit to behave incorrectly) closed by igloo
fixed: The patch wasn't in 6.12.3. Please re-open if you think there's still a …
4:03 PM Ticket #4444 (SPECIALISE pragma rejected; regression) created by igloo
Compiling this module: […] fails with: […] This is causing build …
4:02 PM Ticket #4443 (Don't require users to use undefined) created by basvandijk
Users of the sizeOf or alignment methods (:: a -> Int) of the …
3:02 PM Ticket #4442 (Add unaligned version of indexWordArray#) created by tibbe
indexWordArray# takes an offset in whole words, making it impossible to …
1:48 PM Ticket #4441 (NCG miscompiles Double -> Float -> Double) created by dterei
I have a need to truncate a double to only float precision but then store …
10:24 AM Ticket #4436 (Render multi-line strings more prettily in Template Haskell) closed by simonpj
fixed: Fixed by […] Plus in base […] Plus in template-haskell […] It's a …
8:29 AM Changeset in integer-gmp [77daf12]ghc-7.2ghc-7.4ghc-7.6ghc-7.8wip/T8647 by simonpj@…>
Add a rewrite rule for toInt# so literals work right See the comments with toInt#, but the key point is that we want (fromInteger 1)::Int to yield (I# 1)!
12:29 AM Status/Oct10 edited by dterei
Added LLVM backend details. (diff)

Oct 25, 2010:

7:30 PM Ticket #4440 (time004 fails depending on the date) created by daniel.is.fischer
Since the change between DST and reasonable time does not take place on a …
6:54 PM Ticket #4439 (GHC doesn't detect trivial complete pattern with the combination of ...) created by batterseapower
This program exhibits the behaviour: […] GHCs output is puzzling: …
6:47 PM Ticket #4438 (Rename and register the "PArr" language extension when it is judged to be ...) created by duncan
Language extensions used in distributed packages need to be registered in …
6:42 PM Ticket #4437 (unregistered language extensions) created by duncan
There is a central registry of language extensions in the module …
3:11 PM Ticket #4436 (Render multi-line strings more prettily in Template Haskell) created by simonpj
Kathleen Fisher writes: In the quasi-quoter, would it be hard to have the …
10:44 AM Blog: New directions for Template Haskell comment added by reinerp
I propose the following as an alternative to Part A. In addition to the …
8:59 AM Blog: New directions for Template Haskell edited by simonpj
8:46 AM Blog: New directions for Template Haskell edited by simonpj
8:20 AM Blog: New directions for Template Haskell edited by simonpj
8:16 AM Blog: New directions for Template Haskell comment added by simonpj
Ashley: I'm afraid I don't know what you mean by "do GADTs as well". You …

Oct 24, 2010:

11:54 PM Ticket #4435 (T3016 failed with timeout (hpc and optasm)) created by daniel.is.fischer
[…] Same cause as #4434 perhaps?
11:47 PM Ticket #4434 (barton-mangler-bug failed with timeout (multiple ways)) created by daniel.is.fischer
[…] also for normal, hpc, optasm, threaded2.
11:16 PM Ticket #4433 (Suboptimal rendering of long type signatures) created by osaunders
At present GHCi displays the type signature of zipWith7 like this: …
9:06 PM Ticket #4432 (T3738 fails due to too little allocation) created by daniel.is.fischer
[…] Update test?
6:11 PM Status/Oct10 edited by igloo
(diff)
5:59 PM Status/Oct10 edited by igloo
(diff)
5:57 PM Status/Oct10 edited by igloo
(diff)
5:48 PM Status/Oct10 edited by igloo
(diff)
4:06 PM Ticket #4431 (SpecConstr doesn't specialise) created by rl
Compile this with -O2 -fno-spec-constr-count: […] SpecConstr …
4:02 PM Ticket #3064 (Very long compile times with type functions) closed by igloo
fixed: Test added.
3:57 PM Ticket #3516 ([PATCH] ppc64: broken 'foreign import wrapper') closed by igloo
fixed: Thanks; applied to HEAD and 7.0 branch.
3:22 PM Ticket #4379 (Add Random instances for more base types) closed by igloo
fixed: Bas said on the list: […] (please try to remember to add the summary to …
9:44 AM Status/Oct10 edited by tibbe
Expanded the new I/O manager section (diff)

Oct 23, 2010:

6:02 PM Ticket #4321 (Unexpected stack overflow prevented by superfluous type annotation) closed by igloo
fixed: 7.0.1 RC 1 works for me on i386, with the -msse2 flag.
5:45 PM Ticket #3738 (Typechecker floats stuff out of INLINE right hand sides) closed by igloo
fixed: Test added.
5:45 PM Ticket #3736 (GHC specialising instead of inlining) closed by igloo
fixed: Test added.
3:36 PM Changeset in integer-gmp [a4f1824]ghc-7.2ghc-7.4ghc-7.6ghc-7.8wip/T8647 by Ian Lynagh <igloo@…>
Follow GHC.Bool/GHC.Types merge
3:08 PM Ticket #4352 (no ghc/haskell icon for .hs files on Windows) closed by igloo
fixed: That fix has been applied.
12:08 PM Ticket #4398 (Panic with FlexibleContexts and rewrite rules) closed by igloo
fixed: Both merged.
4:18 AM Blog: New directions for Template Haskell comment added by reinerp
If part A is "just about generating syntax trees", is there a reason to …
4:07 AM Ticket #4430 (Better support for resolving infix expressions in template haskell) created by reinerp
Consider writing a quasiquoter to parse haskell (for example, the …
3:49 AM Ticket #4429 (Ability to specify the namespace in mkName) created by reinerp
Given […] If we do reify (mkName "Foo") then we get the …
12:12 AM Ticket #4428 (Local functions lose their unfoldings) created by rl
I'm attaching 2 modules, both should be compiled with -O2. Let's look at …

Oct 22, 2010:

11:19 PM Status/Oct10 edited by igloo
fix typos (diff)
11:07 PM Status/Oct10 edited by simonpj
(diff)
11:04 PM Status/Oct10 edited by simonpj
(diff)
11:01 PM Status/Oct10 edited by simonpj
(diff)
10:57 PM Status/Oct10 edited by simonpj
(diff)
10:56 PM Status/Oct10 edited by simonpj
(diff)
10:55 PM Status/Oct10 created by simonpj
10:54 PM Status edited by simonpj
(diff)
9:33 AM ErlangInHaskell created by simonpj
9:24 AM Ticket #4427 (hGetBuf sometimes reads fewer bytes than required) created by rl
The attached program repeatedly calls hGetBuf and prints how much it …
8:53 AM Status/SLPJ-Tickets edited by simonpj
(diff)
8:52 AM Status/SLPJ-Tickets edited by simonpj
(diff)
8:48 AM Ticket #3638 (Redundant signature required with RULES and GADTs) closed by simonpj
fixed: Indeed it is fixed. Regression test added Simon
8:19 AM Ticket #4426 (Simplify the rules for implicit quantification) created by simonpj
This thread …
Note: See TracTimeline for information about the timeline view.