Timeline


and

Jan 12, 2011:

11:12 PM Ticket #2544 (Improve "Can't unify" error messages from type functions) closed by simonpj
fixed: It's even improved a bit more in HEAD […] So let's close. I'll add a …
8:17 PM Ticket #4892 (panic building darcs) created by ksf
[…] , from darcs screened as of Wed, 12 Jan 2011 20:00:00 +0000 …
5:11 PM Blog: New directions for Template Haskell edited by simonpj
5:07 PM Changeset in ghc [024aa13]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@…>
Produce an error message, not a crash, for HsOpApp with non-var operator Fixes Trac #4877.
4:02 PM Changeset in ghc [28b45c52]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@…>
update to work with current packages file format
3:52 PM DarcsConversion edited by simonmar
(diff)
3:51 PM DarcsConversion edited by simonmar
(diff)
3:09 PM Ticket #4801 (Typechecker performance regression 6.12 -> 7.0.1) closed by simonpj
fixed: This (long-list) regression is certainly fixed. The HEAD is faster than …
2:56 PM Changeset in ghc [27310213]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@…>
Major refactoring of the type inference engine This patch embodies many, many changes to the contraint solver, which make it simpler, more robust, and more beautiful. But it has taken me ages to get right. The forcing issue was some obscure programs involving recursive dictionaries, but these eventually led to a massive refactoring sweep. Main changes are: * No more "frozen errors" in the monad. Instead "insoluble constraints" are now part of the WantedConstraints type. * The WantedConstraint type is a product of bags, instead of (as before) a bag of sums. This eliminates a good deal of tagging and untagging. * This same WantedConstraints data type is used - As the way that constraints are gathered - As a field of an implication constraint - As both argument and result of solveWanted - As the argument to reportUnsolved * We do not generate any evidence for Derived constraints. They are purely there to allow "impovement" by unifying unification variables. * In consequence, nothing is ever *rewritten* by a Derived constraint. This removes, by construction, all the horrible potential recursive-dictionary loops that were making us tear our hair out. No more isGoodRecEv search either. Hurrah! * We add the superclass Derived constraints during canonicalisation, after checking for duplicates. So fewer superclass constraints are generated than before. * Skolem tc-tyvars no longer carry SkolemInfo. Instead, the SkolemInfo lives in the GivenLoc of the Implication, where it can be tidied, zonked, and substituted nicely. This alone is a major improvement. * Tidying is improved, so that we tend to get t1, t2, t3, rather than t1, t11, t111, etc Moreover, unification variables are always printed with a digit (thus a0, a1, etc), so that plain 'a' is available for a skolem arising from a type signature etc. In this way, (a) We quietly say which variables are unification variables, for those who know and care (b) Types tend to get printed as the user expects. If he writes f :: a -> a f = ...blah... then types involving 'a' get printed with 'a', rather than some tidied variant. * There are significant improvements in error messages, notably in the "Cannot deduce X from Y" messages.
2:49 PM DarcsConversion edited by simonmar
(diff)
12:12 PM Ticket #4891 (dataConInfoPtrToName doesn't correctly resolve constructors with a ...) created by TristanAllwood
I believe the parse helper in dataConInfoPtrToName in …
7:35 AM Ticket #4890 (Add DTrace support to i386-solaris2 platform) created by kgardas
Hello, it would be good if solaris platform support would also include …
2:27 AM Blog: Let generalisation in GHC 7.0 comment added by ezyang
One gotcha about combining -XGADTs and -XNoMonoLocalBinds: because -XGADTs …
12:07 AM Ticket #4870 (Compiler panic with SPECIALIZE pragma on function from imported module) closed by igloo
fixed: Merged.

Jan 11, 2011:

9:26 PM Ticket #4525 (Type synonyms not expanded consistently in errors) closed by igloo
fixed: Fixed in HEAD by: […]
7:48 PM Changeset in ghc [fd6de02]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 Ian Lynagh <igloo@…>
Fix installation on cygwin
6:48 PM Ticket #4889 (Ignore broken pipe error when writing to a died process) created by guest
In readProcessWithExitCode, when child dies without reading whole input we …
9:44 AM DataParallel/Dec2010Release edited by chak
(diff)
9:25 AM DataParallel/Dec2010Release edited by chak
(diff)
12:30 AM Changeset in integer-gmp [ce78632]ghc-7.2ghc-7.4ghc-7.6ghc-7.8wip/T8647 by Ian Lynagh <igloo@…>
Add extensions to LANGUAGE pragmas
12:00 AM GitForDarcsUsers edited by nominolo
Mentionen Git remotes. (diff)

Jan 10, 2011:

11:34 PM GitForDarcsUsers edited by nominolo
Fix graphs pictures. (diff)
6:50 PM ErlangInHaskell edited by jepst
(diff)
5:31 PM Ticket #4868 (deepseq should not depend on containers) closed by tibbe
wontfix: Since consensus wasn't reached and I don't have time to pursue it I'm …
1:09 PM Ticket #4884 (registerPackage fails with multiple command line --package-conf= flags) closed by simonmar
invalid: This is the documented behaviour of ghc-pkg. In the output of `ghc-pkg …
11:09 AM Ticket #4875 (ghc misdiagnoses a compile time error concerning parameterized types) closed by simonpj
fixed: Fixed by […] Try not to push this to the 7.0 branch because it'll …
11:03 AM Changeset in ghc [6ea06bb]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@…>
Do dependency analysis when kind-checking type declarations This patch fixes Trac #4875. The main point is to do dependency analysis on type and class declarations, and kind-check them in dependency order, so as to improve error messages. This patch means that a few programs that would typecheck before won't typecheck any more; but before we were (naughtily) going beyond Haskell 98 without any language-extension flags, and Trac #4875 convinces me that doing so is a Bad Idea. Here's an example that won't typecheck any more data T a b = MkT (a b) type F k = T k Maybe If you look at T on its own you'd default 'a' to kind *->*; and then kind-checking would fail on F. But GHC currently accepts this program beause it looks at the *occurrences* of T.
10:56 AM Changeset in ghc [338cac0]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@…>
Move imports around (no change in behaviour)

Jan 9, 2011:

2:01 AM Ticket #4850 (Segfault when lots of blocked MVar messages) closed by igloo
fixed: All merged.

Jan 8, 2011:

8:27 PM Ticket #4848 ([PATCH] Support for shared libraries on Solaris2/i386 platform.) closed by igloo
fixed: Merged.
8:26 PM Ticket #4523 (unix package does not check properly for sem_close) closed by igloo
fixed: Fixed in HEAD and 7.0 branch: […]
8:26 PM Ticket #4883 (make install DESTDIR=./relative/path fails) closed by igloo
fixed: Fixed in HEAD and 7.0 branch: […]
7:32 PM Ticket #4537 (Make SampleVar an instance of Typeable) closed by igloo
fixed: Applied, thanks!
7:32 PM Ticket #4526 (Make Chan an instance of Eq) closed by igloo
fixed: Applied, thanks!
7:31 PM Ticket #4886 (GHC "extensions" for (pre/post)processors) closed by igloo
wontfix: Post-processing could be done just by taking stderr, rather than requiring …
6:44 PM Ticket #4878 (Bindist build tools assume libffi.so.5 availability) closed by igloo
fixed: This is fixed (in HEAD and 7.0 branch) now that we build all binaries in …
3:20 PM Ticket #4460 (Input is not echoed when GHCi is suspended and subsequently brought to ...) closed by igloo
fixed: Merged.
3:19 PM Ticket #4882 (/usr/bin/haddock-7.0.1) closed by igloo
fixed: Done
3:18 PM Ticket #3975 (filepath: normalise trailing dot) closed by igloo
fixed: Applied, thanks
1:43 PM Ticket #4190 (Poor error message for unrecognised flag in GHCi's :set) closed by igloo
fixed: Applied, thanks!
1:42 PM Ticket #4058 (improve error message: Module `System.IO' does not export `LineBuffering') closed by igloo
fixed: Applied, thanks!
1:01 PM Ticket #4885 (freeGroup: block size is zero) closed by igloo
fixed: I can't reproduce this with 7.0.1, compiling with […] and running …
10:23 AM Ticket #4888 (Document behaviour of throwTo to your own ThreadId) created by batterseapower
The behaviour of throwTo my_tid could be considered surprising because …

Jan 7, 2011:

5:35 PM Ticket #4887 (add a Location interface for element-wise operations on Data.Map) created by ross
This is a variant of a suggestion by apfelmus: …
4:51 PM Ticket #4886 (GHC "extensions" for (pre/post)processors) created by pumpkin
I've been using Conor McBride?'s SHE recently and while it's excellent, …
4:35 PM Changeset in ghc [c5dbacba]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@…>
In configure, test that GHC generates code for the correct platform (#4819) Patch supplied by the bug reporter, tidied up by me. $ ./configure --with-ghc=$HOME/fp/bin/i386-unknown-linux/ghc --build=x86_64-unknown-linux checking for gfind... no checking for find... /usr/bin/find checking for sort... /usr/bin/sort checking for GHC version date... inferred 7.1.20110107 checking version of ghc... 7.0.1 checking build system type... x86_64-unknown-linux-gnu checking host system type... x86_64-unknown-linux-gnu checking target system type... x86_64-unknown-linux-gnu Host platform inferred as: i386-unknown-linux Target platform inferred as: i386-unknown-linux This GHC (/home/simonmar/fp/bin/i386-unknown-linux/ghc) does not generate code for the build platform GHC target platform : i386-unknown-linux Desired build platform : x86_64-unknown-linux
3:52 PM Ticket #4816 (DeriveFunctor should not require a functor instance for functorial data ...) closed by igloo
fixed: Merged.
3:51 PM Ticket #4528 (stand-alone deriving sometimes fails for GADTs) closed by igloo
fixed: Merged.
3:47 PM Ticket #4876 (isEmptySampleVar returns False when threads are waiting on an empty ...) closed by igloo
fixed: Merged.
3:46 PM Ticket #4522 (.ghc folder not created by default) closed by igloo
fixed: Merged.
3:32 PM Ticket #4521 (Passing --hoogle to haddock when building base) closed by igloo
fixed: Merged
3:30 PM Ticket #4531 (GHCi reacting strangely and then crashing after pressing CTRL-C) closed by igloo
fixed: Merged.
11:15 AM Status/SLPJ-Tickets edited by simonpj
(diff)
10:56 AM Status/SLPJ-Tickets edited by simonpj
(diff)
10:28 AM Changeset in ghc [eaf9bfd]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@…>
Make fuzzy matching a little less eager for short identifiers For single-character identifiers we now don't make any suggestions See comments in Util.fuzzyLookup
2:34 AM TypeNats/Interact2 edited by diatchki
(diff)
12:20 AM Ticket #4885 (freeGroup: block size is zero) created by zukerman
I'm starting on a program to accept incoming UDP packets and dump them to …
Note: See TracTimeline for information about the timeline view.