Timeline


and

Jan 7, 2007:

9:52 PM Changeset in ghc [63006863]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by ijones@…>
Fixed errors in "clunky" definition for pattern guards Amusingly, this little error in the GHC manual came from the original SPJ proposal for pattern guards from 1997 and even slipped into the Haskell Workshop 2000 paper by SPJ and Martin Erwig. It's almost 10 years old.
9:12 PM Changeset in ghc [790cd00]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Pepe Iborra <mnislaih@…>
Reorganizing my mess a bit
8:43 PM Changeset in ghc [316d4c57]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Pepe Iborra <mnislaih@…>
Try to emulate the output of 'deriving Show' in the Term pretty printer
7:12 PM Changeset in ghc [58614935]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Pepe Iborra <mnislaih@…>
Extended the debugger documentation with a 'tips' section
12:59 AM Commentary/Compiler/CmmType edited by p_tanski
(diff)

Jan 6, 2007:

7:51 PM ReplacingGMPNotes/TheCurrentGMPImplementation edited by p_tanski
add clarification for GMP function allocation from GHC heap (diff)
7:31 PM ReplacingGMPNotes/TheCurrentGMPImplementation edited by p_tanski
Add note on encodeFloat in GHC.Num.lhs(RealFloat Double) (diff)
6:41 PM ReplacingGMPNotes/TheCurrentGMPImplementation edited by p_tanski
add notes for Storage Manager, Special Functions sections (diff)
6:18 PM ReplacingGMPNotes/RequiredIntegerFunctions edited by p_tanski
add Enum, Show functions (diff)
6:09 PM ReplacingGMPNotes edited by p_tanski
add ref to Num.lhs (diff)
4:55 PM GMP_interface.jpg attached to ReplacingGMPNotes/TheCurrentGMPImplementation by p_tanski
12:01 PM Ticket #1088 (<interactive>: internal error: interpretBCO: unknown or unimplemented ...) created by matthew at wellquite dot org
I did try to post this to glasgow-haskell-bugs@… before …
10:07 AM Changeset in ghc [71cc731]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Pepe Iborra <mnislaih@…>
More informative message in a breakpoint
10:05 AM Changeset in ghc [c7872114]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Pepe Iborra <mnislaih@…>
Reload modules after ':break stop' This is necessary to revert CAFs. Previously to this patch the user would get a msg "You may need to reload your modules". This patch takes care of that
5:21 AM ReplacingGMPNotes/RequiredIntegerFunctions edited by p_tanski
(diff)
3:17 AM ReplacingGMPNotes edited by p_tanski
more color experiments (diff)
2:32 AM ReplacingGMPNotes edited by p_tanski
colorise Haskell code (diff)
1:41 AM Ticket #1087 (bang patterns with infix ops) created by dons
[…] So looks like ops and infix declarations are missing a case for …
12:11 AM ReplacingGMPNotes/TheCurrentGMPImplementation edited by p_tanski
Add interface graphic (diff)

Jan 5, 2007:

11:51 PM ReplacingGMPNotes/RequiredIntegerFunctions edited by p_tanski
add encodeDouble; some notes (diff)
11:06 PM Commentary/Rts/Cmm edited by p_tanski
add reference to the Cmm language page (diff)
9:16 PM Commentary/CmmExceptions edited by p_tanski
update on realToFrac (Infinity :: Float) (diff)
9:02 PM Commentary/CmmExceptions edited by p_tanski
brief note on bug #1042 (diff)
7:21 PM ReplacingGMPNotes edited by p_tanski
(diff)
7:21 PM ReplacingGMPNotes/TheCurrentGMPImplementation created by p_tanski
5:48 PM Changeset in ghc [43498930]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Pepe Iborra <mnislaih@…>
Remove a tracing statement, change a comment, and make more obvious an unexpected condition
5:45 PM Changeset in ghc [97783dce]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Pepe Iborra <mnislaih@…>
Improved an error message, giving a more concrete suggestion
5:43 PM Changeset in ghc [5d0b2bb]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by davve@…>
Remove the DocEntity type. Fixes the problem with duplicate error messages at its root. Also gets rid of the getDeclMainBinder function which isn't needed anylonger.
5:38 PM Changeset in ghc [8ea920f]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Pepe Iborra <mnislaih@…>
This patch fixes ticket #1083 in the ghci debugger A module loaded under debugging mode but owning no breakpoints was erroneously identified by ghci as a non-under debugging module, producing a confusing error msg when the user tried to set a breakpoint The fix inserts an empty list of sites in the module-sites dictionary used by the debugger
2:39 PM Ticket #1078 (Using X11 through ffi on windows does not work) closed by simonmar
wontfix: I don't think this can possibly work. You can't link to the Cygwin X11 …
1:59 PM Ticket #1047 (Increase gurantees of semantics of block/unblock/throwTo) closed by simonmar
fixed
1:57 PM Changeset in ghc [178837a7]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Simon Marlow <simonmar@…>
Eagerly raise a blocked exception when entering 'unblock' or exiting 'block' This fixes #1047
1:56 PM Changeset in ghc [d0d2945]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Marlow <simonmar@…>
tests for #1047
1:56 PM Changeset in testsuite [1bda3e8]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <simonmar@…>
tests for #1047
1:56 PM Changeset in ghc [8a74109]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Marlow <simonmar@…>
ignore_output should be a test option
1:56 PM Changeset in testsuite [853cb1a]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <simonmar@…>
ignore_output should be a test option
12:36 PM Ticket #1067 (assertion failure in Schedule.c) closed by simonmar
fixed: Fixed, thanks.
12:35 PM Changeset in ghc [19a40cd3]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon Marlow <simonmar@…>
add test for #1067
12:35 PM Changeset in testsuite [dbd7014]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <simonmar@…>
add test for #1067
12:34 PM Changeset in ghc [f4b8374]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Simon Marlow <simonmar@…>
disable an incorrect ASSERTion in the non-THREADED_RTS case (bug #1067)
11:46 AM Changeset in ghc [7afd995]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Simon Marlow <simonmar@…>
wrap Main.main in GHC.TopHandler.runIOFastExit This is so that exceptions raised by Main.main do exactly the same thing as they would in a compiled program, including writing the message to stderr and shutting down with the correct exit code.
5:31 AM ReplacingGMPNotes/RequiredIntegerFunctions edited by p_tanski
Add note; split table into GHC and Primitive sections (diff)
5:23 AM ReplacingGMPNotes/RequiredIntegerFunctions created by p_tanski
1:26 AM Changeset in ghc [e3dd39bf]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Manuel M T Chakravarty <chak@…>
HsSyn clean up for indexed types - This patch cleans up the HsSyn representation of type family declarations. - The new representation is not only less delicate, it also simplified teh code a bit. - I took the opportunity of stream lining the terminology and function names at the same time. - I also updated the description on the wiki at <http://hackage.haskell.org/trac/ghc/wiki/TypeFunctionsSyntax>
1:17 AM Changeset in ghc [abeb3ffe]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Manuel M T Chakravarty <chak@…>
indexed types, should_fail: added missing .stderrs and adapted to new error messages
1:17 AM Changeset in testsuite [1a825554]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Manuel M T Chakravarty <chak@…>
indexed types, should_fail: added missing .stderrs and adapted to new error messages
1:03 AM Changeset in ghc [8d22bc70]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Manuel M T Chakravarty <chak@…>
indexed types: fixed expected fails for should_compile
1:03 AM Changeset in testsuite [2c47976]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Manuel M T Chakravarty <chak@…>
indexed types: fixed expected fails for should_compile

Jan 4, 2007:

10:43 PM TypeFunctionsTypeChecking edited by chak
(diff)
10:12 PM TypeFunctionsRenaming edited by chak
(diff)
9:37 PM ReplacingGMPNotes/PerformanceMeasurements edited by p_tanski
(diff)
8:47 PM TypeFunctionsSyntax edited by chak
(diff)
6:40 PM KirstenSandbox edited by kirsten
(diff)
6:39 PM KirstenSandbox edited by kirsten
(diff)
3:16 PM Ticket #1086 (unix package cannot be compiled with -fasm, due to lstat()) created by simonmar
On some systems (eg. Linux with glibc) lstat is a macro, so calling it …
10:25 AM Ticket #1085 (Redesign of the scheme for getting the datacon symbol name of a closure in ...) created by mnislaih
Currently, from the closure we get its info table address, and since those …
9:51 AM Ticket #1084 (Improve coalescing of dynamic breakpoints in the ghci debugger) created by mnislaih
(or disable it altogether) Right now coalescing of breakpoints works at …
9:44 AM Ticket #1083 (ghci says a module wasn't loaded under debugging mode when in fact it was) created by mnislaih
When loading an empty module like the following: […] ghci will refuse …
7:52 AM Changeset in ghc [8d3a648]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Spencer Janssen <sjanssen@…>
User's guide: length is not a good consumer anymore.
5:28 AM Ticket #1082 (Documentation missing from MacOS PPC binary) created by guest
The installation from the MacOS PPC binary distribution works fine but …
5:14 AM Division.gif attached to ReplacingGMPNotes/PerformanceMeasurements by p_tanski
5:13 AM Powers_log10.gif attached to ReplacingGMPNotes/PerformanceMeasurements by p_tanski
5:13 AM Squaring.gif attached to ReplacingGMPNotes/PerformanceMeasurements by p_tanski
5:12 AM Multiplication.gif attached to ReplacingGMPNotes/PerformanceMeasurements by p_tanski
5:11 AM ReplacingGMPNotes/PerformanceMeasurements created by p_tanski
5:11 AM ReplacingGMPNotes edited by p_tanski
(diff)
1:31 AM Changeset in ghc [3548802d]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Manuel M T Chakravarty <chak@…>
Fix and improve deriving for indexed data types - The test for being able to derive the requested classes needs to be made with the representation tycon (not the family tycon). - Standalone deriving for indexed types requires the instance types in the derive clause to match a data/newtype instance exactly (modulo alpha).
1:30 AM Changeset in ghc [a81e8065]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Manuel M T Chakravarty <chak@…>
indexed types: extend Deriving to cover standalone derive
1:30 AM Changeset in testsuite [80b7fdd]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Manuel M T Chakravarty <chak@…>
indexed types: extend Deriving to cover standalone derive

Jan 3, 2007:

5:59 PM Changeset in ghc [ec15937a]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by simonpj@…>
Record-ise the liberate-case envt, in preparation for new stuff
5:59 PM Changeset in ghc [3a2b3808]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by simonpj@…>
Add a type synonym for FamInstEnvs
5:56 PM Changeset in ghc [e659c1f5]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by simonpj@…>
Comments only
5:55 PM Changeset in ghc [644c8d8a]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by simonpj@…>
Comments only
5:54 PM TypeFunctionsStatus edited by chak
(diff)
4:58 PM ReplacingGMPNotes edited by p_tanski
changed Powers graph to log_10 scale (diff)
4:27 PM Ticket #1081 (HGL indefinite pause with "thread blocked indefinitely" message) created by calvins
As discussed on haskell-cafe …
4:07 PM Changeset in ghc [f8f8449]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by simonpj@…>
Be more relaxed about reporting ambiguous class methods (MERGE to STABLE branch, pls) This patch makes us a bit more relaxed about ambiguous class method types. See tc223 for an example. Reported by Yitzchak Gale
4:03 PM Changeset in ghc [90e3aa0]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by simonpj <simonpj@…>
Add a fundep test, due to Yitzchak Gale
4:03 PM Changeset in testsuite [b72e76e]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by simonpj <simonpj@…>
Add a fundep test, due to Yitzchak Gale
3:37 PM Ticket #995 (Needless call to fromInteger for literals) closed by simonpj
fixed: Good bug. Turns out that there was a mistake in the optimiser, where it …
3:35 PM Changeset in ghc [34ed7e8]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by simonpj@…>
Fix bug in cast optimisation; fixes Trac #995 There was a plain bug in the cast-optimiation code -- a call to splitCoercionKind_maybe instead of coercionKind! Result was that we missed useful opportunities to move casts around. Trac #995 is an example, but I bet there are more.
3:08 PM Changeset in ghc [08dc2bd]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by simonpj <simonpj@…>
Add test for floating strict bindings
3:08 PM Changeset in testsuite [3edd888]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by simonpj <simonpj@…>
Add test for floating strict bindings
12:16 PM Ticket #1054 (Not in scope test failures) closed by simonpj
fixed: I've fixed the rest, except for arrowcase1, for which I've created a new …
12:15 PM Changeset in ghc [e69d9f49]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by simonpj@…>
Fix stupid error in rehashing TcRnDriver (fixes TH test errors)
12:13 PM Changeset in ghc [2861756]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by simonpj <simonpj@…>
Fixed TH problem
12:13 PM Changeset in testsuite [398874c3]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by simonpj <simonpj@…>
Fixed TH problem
12:08 PM Ticket #1080 (Arrows desguaring does not take account of bindings in patterns) created by simonpj
The test arrows/should_compile/arrowcase1 is failing Lint. The bug is in …
11:50 AM Changeset in ghc [8ffdb8ee]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by simonpj@…>
Fix several bugs related to finding free variables Now that coercion variables mention types, a type-lambda binder can have free variables. This patch adjusts the free-variable finder to take account of this, by treating Ids and TyVars more uniformly. In addition, I fixed a bug in the specialiser that was missing a free type variable in a binder. And a bug in tyVarsOfInst that was missing the type variables in the kinds of the quantified tyvars.
11:36 AM Changeset in ghc [1de8a03]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by simonpj <simonpj@…>
Add more GADT tests, this time concerning contexts in data constructors
11:36 AM Changeset in testsuite [bd4299c]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by simonpj <simonpj@…>
Add more GADT tests, this time concerning contexts in data constructors
10:35 AM Changeset in ghc [b89a7fb4]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by simonpj@…>
Comments only
10:25 AM Ticket #1053 (Message order random due to sorting by uniques) closed by simonpj
fixed: Fixed
10:24 AM Changeset in ghc [e9a8eed]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by simonpj@…>
Make warnings come out in deterministic order Fixes Trac #1053
10:24 AM Changeset in ghc [fd92738]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by simonpj@…>
Change to Unix line-line-endings
10:24 AM Changeset in ghc [80def9e1]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by simonpj@…>
Add newline at end
10:17 AM Changeset in ghc [dc689cd]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by simonpj <simonpj@…>
No pattern matching on GADTs except if type is rigid GHC currnently will only pattern-match on a GADT if the scrutinee type is rigid. It's kind-of possible to mactch a wobbly scrutinee if all the case alternatives can be made compatible, but that seems a rare case. So for now, I'm just making it illegal.
10:17 AM Changeset in testsuite [c68980e]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by simonpj <simonpj@…>
No pattern matching on GADTs except if type is rigid GHC currnently will only pattern-match on a GADT if the scrutinee type is rigid. It's kind-of possible to mactch a wobbly scrutinee if all the case alternatives can be made compatible, but that seems a rare case. So for now, I'm just making it illegal.
9:55 AM Changeset in ghc [3ffe92d5]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by simonpj <simonpj@…>
More test-suite updates
9:55 AM Changeset in testsuite [cfb445b]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by simonpj <simonpj@…>
More test-suite updates
9:54 AM Changeset in ghc [fd17403d]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by simonpj@…>
Better error messages for deriving
9:42 AM Changeset in ghc [7dbce82b]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by simonpj <simonpj@…>
Fix sundry test failures (some of Trac #1054)
9:42 AM Changeset in testsuite [952f892]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by simonpj <simonpj@…>
Fix sundry test failures (some of Trac #1054)
9:40 AM Changeset in ghc [382cae3a]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by simonpj@…>
Fix another buglet in HsDoc stuff A 'foreign export' represents an *occurrence* of a Haskell name, not a *binding* site for the Haskell name. (This was making cc012 fail; Trac #1054.
8:25 AM Changeset in ghc [91f37e6]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by simonpj@…>
Comments only
5:31 AM ReplacingGMPNotes edited by p_tanski
(diff)
5:28 AM ReplacingGMPNotes edited by p_tanski
Added Power.gif (diff)
5:23 AM ReplacingGMPNotes edited by p_tanski
Delete Powers.gif (diff)
2:39 AM TypeFunctionsStatus edited by chak
(diff)

Jan 2, 2007:

5:46 PM WorkingConventions edited by simonpj
(diff)
5:45 PM WorkingConventions edited by simonpj
(diff)
4:21 PM Ticket #1068 (Trunk broken on deriving Typeable) closed by simonpj
fixed: Fixed, thank you. Simon
4:20 PM Changeset in ghc [97742708]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by simonpj <simonpj@…>
Update expected output
4:20 PM Changeset in testsuite [0fb4d82]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by simonpj <simonpj@…>
Update expected output
4:19 PM Changeset in ghc [ab87e6a]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by simonpj <simonpj@…>
Add stand-alone deriving test
4:19 PM Changeset in testsuite [118e466]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by simonpj <simonpj@…>
Add stand-alone deriving test
4:17 PM Changeset in ghc [1ed54200]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by simonpj@…>
Standalone deriving wibbles: keyword is 'derive' not 'derived'; and add flag documentation
4:12 PM Changeset in ghc [3de26aa3]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by simonpj@…>
Docmunent stand-alone deriving I also re-organised the type-system extension section, which has grown rather big.
3:46 PM Changeset in ghc [84923cc7]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by simonpj@…>
Big tidy-up of deriving code This tidy-up, triggered by Trac #1068, re-factors the way that 'deriving' happens. It took me way longer than I had intended. The main changes, by far are to TcDeriv; everyting else is a minor consequence. While I was at it, I changed the syntax for standalone deriving, so that it goes derive instance Show (T a) (instead of "derive Show for T"). However, there's still an implicit context, generated by the deriving code, and I wonder if it shouldn't really be derive instance (..) => Show (T a) but I have left it simple for now. I also added a function Type.substTyVars, and used it here and there, which led to some one-line changes otherwise unrelated (sorry). Loose ends: * 'deriving Typeable' for indexed data types is still not right * standalone deriving should be documented
3:16 PM Changeset in ghc [92de8d0]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by simonpj <simonpj@…>
Add test for deriving Typeable
3:16 PM Changeset in testsuite [1c6a9a95]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by simonpj <simonpj@…>
Add test for deriving Typeable
3:05 PM Ticket #1079 (refinement for GHC's support of UTF-8 encoding) created by mukai@…
From 6.6, GHC supports UTF-8 encoding in the source programs. GHC can …
1:49 PM Ticket #744 (ghc-pkg lies about location of haddock-interfaces and haddock-html) closed by panne
fixed
1:46 PM Changeset in ghc [3ded6e6]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by sven.panne@…>
Fixed bug #744 (ghc-pkg lies about location of haddock-interfaces and haddock-html)
1:45 PM Changeset in ghc [5744d11]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by sven.panne@…>
Added ghc man page to RPM
1:42 PM Changeset in ghc [bae189c]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by sven.panne@…>
Added the GHC commentary to the RPM
1:40 PM Changeset in ghc [5b80d86]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by sven.panne@…>
Stylistic change: Use %{_prefix} instead of %{prefix}
1:39 PM Changeset in ghc [300832ea]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by sven.panne@…>
The ghc package is not relocatable (yet), so don't claim that this is the case
1:38 PM Changeset in ghc [120fe1be]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by sven.panne@…>
Removed some trailing spaces
9:23 AM Ticket #743 (-M limit exceeded by a factor of 2) closed by ketil@…
fixed: I've finally gotten around to build ghc 6.6 with the recent patch for this …

Jan 1, 2007:

11:09 PM TypeFunctionsSynTC/Comparison created by sulzmann
11:02 PM TypeFunctionsSynTC edited by sulzmann
(diff)
10:51 PM Building/Porting edited by igloo
configure.in -> configure.ac (diff)
10:01 PM TypeFunctionsSynTC/PlanMSRevised created by sulzmann
9:59 PM TypeFunctionsSynTC edited by sulzmann
(diff)
4:42 PM Ticket #1078 (Using X11 through ffi on windows does not work) created by Azmo
When using the X11 Xlib through the ffi instead of using the existing …
3:54 PM Ticket #1077 (documentation error and omission) created by guest
1. broken link in the building guide in: …

Dec 31, 2006:

2:34 PM Changeset in ghc [8dff9f8]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Ian Lynagh <igloo@…>
Update reference to configure.in to refer to configure.ac instead
1:28 PM Changeset in ghc [c3e1f7b]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Pepe Iborra <mnislaih@…>
Updates to the ghci debugger docs

Dec 30, 2006:

11:22 PM Ticket #1076 (runhaskell crash with .hi/.o files in the directory) created by guest
I've been playing around with the ICFP "universal machine" puzzle …
10:32 PM KirstenSandbox edited by kirsten
(diff)
8:20 PM KirstenSandbox edited by kirsten
(diff)
7:49 PM KirstenSandbox edited by kirsten
(diff)
7:44 PM KirstenSandbox edited by kirsten
(diff)
7:43 PM KirstenSandbox edited by kirsten
(diff)
5:33 PM KirstenSandbox edited by kirsten
(diff)
5:21 PM Ticket #1075 (ghci unhandled exception on startup (memory access violation)) created by edbriggs@…
[…] This has never worked. Attempted following installation of the …
1:30 PM Changeset in ghc [afb01c35]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by sven.panne@…>
Warning police: Added missing #include
11:56 AM Changeset in ghc [51dec67c]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by sven.panne@…>
Standardized Makefile for man page Use our standard build machinery for building, installing and cleaning the man page. Do not use deprecated -<num> option for 'head'. Use $(RM) instead of explicit 'rm -f' for better portability. Note that we always build/install the man page with the 'install-docs' target now, this is the usual behaviour. "GhcManpages is dead, Jim..." This patch should unbreak 'make dist', too.
7:50 AM Ticket #1074 (-fwarn-unused-imports complains about wrong import) created by guest
If a symbol is accessible through multiple imports, ghc seems to complain …
6:42 AM KirstenSandbox edited by kirsten
(diff)
5:53 AM KirstenSandbox edited by kirsten
(diff)
5:52 AM KirstenSandbox edited by kirsten
(diff)

Dec 29, 2006:

8:33 PM Changeset in ghc [02c48cf1]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Manuel M T Chakravarty <chak@…>
Make dicts for arbitrary type equalities
8:20 PM TypeFunctions edited by chak
(diff)
8:17 PM Changeset in ghc [c8732b3c]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Manuel M T Chakravarty <chak@…>
EqPred pretty prints as ~ and equalities without brackets
6:13 PM Changeset in ghc [0aa1d46]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Manuel M T Chakravarty <chak@…>
Construction of EqPred dictionaries
6:11 PM Changeset in ghc [5f8e2da]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Manuel M T Chakravarty <chak@…>
data family declarations are fine without any type arguments
4:48 PM TypeFunctionsStatus edited by chak
(diff)
4:32 PM Changeset in ghc [c14920f7]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by davve@…>
Add missing case for documented types in the type desugarer
4:29 PM KirstenSandbox edited by kirsten
(diff)
4:28 PM KirstenSandbox edited by kirsten
(diff)
4:04 PM KirstenSandbox edited by kirsten
(diff)
2:24 PM Ticket #1069 (Typo in ghci's :? documentation) closed by simonpj
fixed: Thanks. Already fixed in the HEAD.
2:15 PM Changeset in ghc [374c57e]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by simonpj@…>
Avoid duplicate error report when renaming HsDoc stuff This patch is a bit of a hack to avoid a duplicate error when checking class C a where op :: a -> a op2 x = x (This is tcfail077) For reasons I don't understand, the decl of op2 generates an HsDeclEntity, and that gives a renamer error which duplicates the (better) one that comes from rnMethodBinds. A better fix might be to get rid of HsDeclEntities altogether.
1:34 PM Changeset in ghc [d5c5c4e]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by simonpj@…>
Add newline to end of file
12:18 PM Ticket #1073 (ghc-6.7: internal error: R_X86_64_PC32 relocation out of range) created by rbhargava@…
Following a build from source after a fresh 'darcs get' on a …
8:40 AM KirstenSandbox edited by kirsten
(diff)
8:40 AM KirstenSandbox edited by kirsten
(diff)
7:29 AM Changeset in ghc [d386e0d]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by andy@…>
Adding a GENERATED pragma Adding a {-# GENERATED "SourceFile" SourceSpan #-} <expr> pragma. This will be used to generate coverage for tool generated (or quoted) code. The pragma states the the expression was generated/quoted from the stated source file and source span.
6:54 AM Commentary/Hpc edited by AndyGill
(diff)
2:18 AM Ticket #1072 (Core Lint Errors: in result of Desugar) created by guest
This error happens with ghc --make, so two source files are attached. To …
12:54 AM Ticket #1071 (The Graphics.X11 library for windows using Cygwin/X) created by guest
The X11 binding that exists does not follow together with the windows GHC …

Dec 28, 2006:

10:23 PM TypeFunctionsStatus edited by chak
(diff)
10:21 PM TypeFunctionsStatus edited by chak
(diff)
10:17 PM TypeFunctionsTypeChecking edited by chak
(diff)
10:02 PM TypeFunctionsStatus edited by chak
(diff)
10:01 PM TypeFunctionsStatus edited by chak
(diff)
9:59 PM TypeFunctionsStatus edited by chak
(diff)
8:17 PM TypeFunctionsTypeChecking edited by chak
(diff)
7:54 PM TypeFunctionsTypeChecking edited by chak
(diff)
7:37 PM TypeFunctionsSyntax edited by chak
(diff)
7:36 PM TypeFunctionsRenaming edited by chak
(diff)
7:30 PM TypeFunctionsSyntax edited by chak
(diff)
7:11 PM TypeFunctionsStatus edited by chak
(diff)
2:00 PM Ticket #1070 (Add hPutNonBlocking to Data.ByteString) created by guest
This patch adds the function hPutNonBlocking, which is a non blocking …
1:21 AM TypeFunctions edited by chak
(diff)
1:11 AM TypeFunctionsStatus edited by chak
(diff)
1:03 AM Changeset in ghc [654a1ba]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Manuel M T Chakravarty <chak@…>
Parse and desugar equational constraints - With -findexed-types, equational constraints can appear in contexts wherever class predicates are allowed. - The two argument types need to be boxed and rank 0.

Dec 27, 2006:

11:11 PM TypeFunctionsStatus edited by chak
(diff)
7:50 PM KirstenSandbox edited by kirsten
fear and loathing (diff)
6:37 PM KirstenSandbox edited by kirsten
(diff)
6:27 PM KirstenSandbox edited by kirsten
(diff)
6:13 PM KirstenSandbox edited by kirsten
bowl of toast (diff)
5:12 PM KirstenSandbox edited by kirsten
(diff)
5:05 PM KirstenSandbox edited by kirsten
markup (diff)
5:04 PM KirstenSandbox edited by kirsten
my life is an unending vale of misery and toast (diff)
4:41 PM KirstenSandbox edited by kirsten
(diff)
4:39 PM KirstenSandbox edited by kirsten
FFS (diff)
4:39 PM KirstenSandbox edited by kirsten
MediaWiki ate my brain (diff)
4:36 PM KirstenSandbox created by kirsten
pay no attention to the man behind the curtain

Dec 25, 2006:

5:59 PM Ticket #1069 (Typo in ghci's :? documentation) created by guest
The help text for :etags in ghci's :? documentation contains a typo …
12:55 PM Ticket #853 (GHC build fails when setting GhcWithInterpreter=No) closed by igloo
fixed: This seems to work fine now - probably just a transient error. Thanks …
12:42 AM Ticket #1068 (Trunk broken on deriving Typeable) created by audreyt@…
As of 2006-12-25: import Data.Typeable data D a = C a deriving …

Dec 24, 2006:

1:03 PM Ticket #1051 (Insufficient location information for parse errors before ''module'' ...) closed by igloo
fixed: Thanks for the report. I've merged a patch from the HEAD to the 6.6 …
12:59 PM Changeset in ghc [02543597]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Ian Lynagh <igloo@…>
Add test for trac #1051
12:59 PM Changeset in testsuite [01f745a]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Add test for trac #1051

Dec 23, 2006:

5:25 PM Changeset in ghc [a7d7846]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Ian Lynagh <igloo@…>
Add test TH_dataD1 for trac #1065
5:25 PM Changeset in testsuite [e92492a]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Add test TH_dataD1 for trac #1065

Dec 22, 2006:

4:55 PM Changeset in ghc [ae522144]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Pepe Iborra <mnislaih@…>
Remove a reference to GHC.Exts.Ptr in stage1 Hopefully this will help to restore ability to build HEAD on GHC 5.0x systems
2:44 PM Ticket #953 (panic in ghci for lseek ffi import statement) closed by igloo
fixed: I've fixed this in the HEAD and 6.6 branch. Thanks Ian
2:15 PM Changeset in ghc [e940d0ad]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Ian Lynagh <igloo@…>
Handle LongArg's in the FFI on x86
2:15 PM Changeset in ghc [6dcff14b]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by simonpj@…>
Improve documentation about packages
2:15 PM Changeset in ghc [0cc4003]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Ian Lynagh <igloo@…>
Add a test for returning Int64s through the FFI
2:15 PM Changeset in testsuite [cbbcb2c]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Add a test for returning Int64s through the FFI
1:39 PM Changeset in ghc [f5f43a8]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Ian Lynagh <igloo@…>
Remove ' in cpp error
9:34 AM Changeset in ghc [646ca6f]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by simonpj@…>
Documentation for class contexts in data-constructor declarations

Dec 21, 2006:

9:16 PM Ticket #1067 (assertion failure in Schedule.c) created by ms43
the following program triggers an assertion failure. this is with ghc 6.6 …
9:01 PM Changeset in ghc [90dc9026]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by lennart@…>
Add support for overloaded string literals. The class is named IsString with the single method fromString. Overloaded strings work the same way as overloaded numeric literals. In expressions a string literals gets a fromString applied to it. In a pattern there will be an equality comparison with the fromString:ed literal. Use -foverloaded-strings to enable this extension.
5:12 PM Ticket #455 (mkProtoBCO: stack use won't fit in 16 bits 79141) closed by igloo
fixed: Fix now pushed to the 6.6 branch.
3:15 PM Changeset in ghc [0523c047]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by tharris <tharris@…>
Fix conc063
3:15 PM Changeset in testsuite [7f72710]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by tharris <tharris@…>
Fix conc063
1:15 PM Ticket #1066 (MacOSX powerpc gcc 3.3/4.0 and unknown symbol `_printf$LDBLStub') created by gracjan-agh.edu.pl
There are problems with linking on MacOSX 10.4.8 when selected gcc 3.3. …
6:17 AM Commentary/Compiler/StrictnessAnalysis/KirstenNotes edited by kirsten
(diff)
6:17 AM Commentary/Compiler/StrictnessAnalysis/KirstenNotes edited by kirsten
(diff)
2:43 AM Changeset in ghc [3b2bb065]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Ian Lynagh <igloo@…>
Add test for trac #455
2:43 AM Changeset in testsuite [5e61778]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Add test for trac #455
2:38 AM Changeset in ghc [f236329]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Ian Lynagh <igloo@…>
Allow a word-sized argument for STKCHECK
1:08 AM TypeFunctionsTypeChecking edited by chak
(diff)
12:51 AM TypeFunctionsStatus edited by chak
(diff)
12:40 AM Changeset in ghc [1db8e4d]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Manuel M T Chakravarty <chak@…>
Add hook to fam inst consistency check to GHCi/--make

Dec 20, 2006:

10:07 PM Changeset in ghc [49fd39a]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Ian Lynagh <igloo@…>
Parse and use ghci nofib output
10:06 PM Changeset in nofib [af3e43f]ghc-7.8shakesupercompiler by Ian Lynagh <igloo@…>
Look at the stdout/stderr files appropriate for mode
5:31 PM Ticket #1065 (The impossible happened (Template Haskell)) created by sfh23@…
Error message during compilation: […] This occurrs with the following …
1:43 PM Internships edited by simonmar
fix slots (diff)
9:52 AM Ticket #1064 (Allow users to add commentary to Haddock docs) created by simonpj
It would be great if Haddock generated web pages that allowed users
4:24 AM Changeset in ghc [ca8ac1f2]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Pepe Iborra <mnislaih@…>
Fix import lists
12:47 AM TypeFunctionsSynTC/GHC edited by chak
(diff)

Dec 19, 2006:

11:55 PM Changeset in ghc [f82c9ea]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Ian Lynagh <igloo@…>
fail -> broken
11:55 PM Changeset in testsuite [8710265]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
fail -> broken
11:46 PM Changeset in ghc [6e093a1c]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Ian Lynagh <igloo@…>
fail -> broken
11:46 PM Changeset in testsuite [ade32f1]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
fail -> broken
11:46 PM Ticket #1063 (hReady should probably return False at the end of a file) created by igloo
hReady should probably return False at the end of a file, but in GHC it …
11:38 PM TypeFunctionsSynTC/PlanMS created by sulzmann
11:33 PM TypeFunctionsSynTC edited by sulzmann
(diff)
11:33 PM TypeFunctionsSynTC edited by sulzmann
(diff)
11:29 PM TypeFunctionsSynTC edited by sulzmann
(diff)
11:15 PM Changeset in ghc [9c0374b]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Ian Lynagh <igloo@…>
whitespace change only
11:15 PM Changeset in testsuite [732913d]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
whitespace change only
11:15 PM Changeset in ghc [cc1f933]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Ian Lynagh <igloo@…>
fail -> broken
11:15 PM Changeset in testsuite [b4d523d]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
fail -> broken
11:13 PM Ticket #1062 (Bad output from Text.PrettyPrint.HughesPJ) created by igloo
This program: […] generates the output below. I haven't worked out …
9:58 PM Changeset in ghc [b3e2173]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Ian Lynagh <igloo@…>
fail -> broken
9:58 PM Changeset in testsuite [811c4cd]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
fail -> broken
9:56 PM Ticket #1061 (default class methods can be given too general a type as GHC tries to ...) created by igloo
GHC does not accept this program: […] even though it does accept this …
9:51 PM TypeFunctionsStatus edited by chak
(diff)
9:30 PM Changeset in ghc [fff0892]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Manuel M T Chakravarty <chak@…>
Deriving for indexed newtypes - The isomorphism-based newtype-deriving isn't very useful for indexed types right now as it rejects all recursive declarations, and we have to mark all indexed type instances as recurrsive as we can't guarantee that future instances aren't going to make them part of a recursive group.
9:25 PM Changeset in ghc [4847d9f2]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Manuel M T Chakravarty <chak@…>
indexed type: deriving indexed newtypes
9:25 PM Changeset in testsuite [dc4dfe1]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Manuel M T Chakravarty <chak@…>
indexed type: deriving indexed newtypes
8:36 PM Changeset in ghc [4a67f94]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Ian Lynagh <igloo@…>
fail -> broken
8:36 PM Changeset in testsuite [ee8847f]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
fail -> broken
8:28 PM Ticket #1060 (GHC accepts program with incorrect layout) created by igloo
GHC accepts this program: […] but according to the Haskell report the …
7:54 PM Changeset in ghc [f0a9701]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Ian Lynagh <igloo@…>
Stop skipping tests that work
7:54 PM Changeset in testsuite [6e53895]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Stop skipping tests that work
7:25 PM Changeset in ghc [b88025ea]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Manuel M T Chakravarty <chak@…>
Fixed uninitialised FunBind fun_tick field
4:08 PM Ticket #1039 (Control.Monad.Identity documentation) closed by igloo
fixed
3:59 PM Changeset in ghc [922e066]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Ian Lynagh <igloo@…>
Add HscTypes.hi-boot-6 so builds with older GHCs succeed
2:03 PM Building/QuickStart edited by simonmar
note this page depends on GettingTheSources and Prerequisiste (diff)
8:57 AM Ticket #1005 (Add Logical Shift Operators) closed by ross
wontfix: Proposal seems abandoned, and may be unnecessary anyway.
8:53 AM Ticket #996 (Add ranged sets) closed by ross
wontfix: This should be a separate package.
7:39 AM Commentary/Hpc edited by AndyGill
(diff)
1:47 AM TypeFunctionsStatus edited by chak
(diff)
12:57 AM Ticket #1059 (Control.Monad.Error documentation) created by Andriy
Documentation for the Error monad. Please take a minute to review it. This …

Dec 18, 2006:

10:50 PM TypeFunctionsTypeChecking edited by chak
(diff)
10:34 PM TypeFunctions edited by chak
(diff)
10:32 PM TypeFunctionsStatus edited by chak
(diff)
9:12 PM Changeset in ghc [380512d]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Manuel M T Chakravarty <chak@…>
Deriving for indexed data types - This patch implements deriving clauses for data instance declarations (toplevel and associated) - Doesn't support standalone deriving. This could be easily supported, but requires an extension of the syntax of standalone deriving clauses. Björn, fancy adding this? - We cannot derive Typeable. This seems a problem of notation, more than anything else. Why? For a binary vanilla data type "T a b", we would generate an instance Typeable2 T; ie, the instance is for the constructor alone. In the case of a family instance, such as (S [a] (Maybe b)), we simply have no means to denote the associated constuctor. It appears to require type level lambda - something like (/\a b. S [a] (Maybe b). - Derivings are for *individual* family *instances*, not for entire families. Currently, I know of no simple translation of class instances for entire families to System F_C. This actually seems to be similar to implementing open data types à la Löh & Hinze. - This patch only covers data types, not newtypes.
9:05 PM Changeset in ghc [dcdf594d]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Manuel M T Chakravarty <chak@…>
indexed types: deriving test
9:05 PM Changeset in testsuite [3d16fa7]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Manuel M T Chakravarty <chak@…>
indexed types: deriving test
5:50 PM GhcDebuggers edited by AndyGill
(diff)
5:24 PM Ticket #1058 (Highlight matching parantheses in Visual Studio) created by m4dc4p
I would like to see the "matching" parentheses highlighted when editing …
3:24 PM Changeset in ghc [5f8b35a]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Ian Lynagh <igloo@…>
Don't overwrite old memory with 0xaa when doing a realloc
2:17 PM Changeset in ghc [f3109bb]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Pepe Iborra <mnislaih@…>
Replace association list in AddressEnv for a FiniteMap
10:42 AM Ticket #1057 (Implicit parameters on breakpoints) created by mnislaih
Bring implicit parameters into the examine scope in breakpoints. Test …
10:37 AM Ticket #954 (internal error: scavenge_mark_stack: unimplemented/strange closure type 28 ...) closed by simonmar
fixed: No response from submitter, but the bug was almost certainly fixed by this …
10:37 AM Ticket #879 (Merge GHCi.debugger patches) closed by mnislaih
fixed: They are in HEAD now
9:53 AM Changeset in ghc [fbb68f1]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Pepe Iborra <mnislaih@…>
Remove uses of Data.Traversable to fix stage1 on pre ghc-6.6 systems
8:23 AM Ticket #1056 (Visual Haskell, 0.2 build hangs) closed by kr.angelov
fixed: Fixed in the repo. There was a MVar that remains empty when the project …
8:22 AM Ticket #1056 (Visual Haskell, 0.2 build hangs) created by kr.angelov
Visual Haskell build hangs when the loaded project doesn't compile during …
7:47 AM Ticket #1055 (Visual Haskell installer 2005 failed for non standard location) closed by kr.angelov
fixed: There is a bug in wix-2.0.4221.0. Works fine with wix-2.0.4611.0

Dec 17, 2006:

12:47 AM Changeset in ghc [9ff45cc]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Pepe Iborra <mnislaih@…>
Update a readme file
12:47 AM Changeset in testsuite [fe7b974]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Pepe Iborra <mnislaih@…>
Update a readme file
12:46 AM Changeset in ghc [498ef5f]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Pepe Iborra <mnislaih@…>
Fix a ghci.debugger test
12:46 AM Changeset in testsuite [8dcc87e]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Pepe Iborra <mnislaih@…>
Fix a ghci.debugger test
12:11 AM Changeset in ghc [7ef6316]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Pepe Iborra <mnislaih@…>
Propagate the DEBUGGER flag to the Makefile for stage 2

Dec 16, 2006:

5:39 PM Changeset in ghc [5d34920]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Ian Lynagh <igloo@…>
Merge DynFlags changes
4:45 PM Changeset in ghc [74cb60c]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Ian Lynagh <igloo@…>
Remove skip of ffi003 on alpha-dec-osf3 (no reason given)
4:45 PM Changeset in testsuite [d651567]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Remove skip of ffi003 on alpha-dec-osf3 (no reason given)
3:47 PM Changeset in ghc [c834fac]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Ian Lynagh <igloo@…>
Go back to using $(PYTHON) rather than hardcoding python2.5
3:47 PM Changeset in testsuite [9724084]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Go back to using $(PYTHON) rather than hardcoding python2.5
11:46 AM Changeset in ghc [706ff798]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Pepe Iborra <mnislaih@…>
Fix an overlapping of uniques in PrelNames
2:25 AM Changeset in ghc [2096866]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Ian Lynagh <igloo@…>
Fix the build
1:15 AM TypeFunctionsStatus edited by chak
(diff)

Dec 15, 2006:

9:58 PM TypeFunctionsStatus edited by chak
(diff)
9:44 PM TypeFunctionsStatus edited by chak
(diff)
9:44 PM Changeset in ghc [ed12b70]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Ian Lynagh <igloo@…>
Free more things that we allocate
8:29 PM TypeFunctionsStatus edited by chak
(diff)
5:26 PM Changeset in ghc [1f801e3a]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Ian Lynagh <igloo@…>
Free all tasks on exit, not just those on the task_free_list
5:25 PM Changeset in ghc [48aefd90]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Ian Lynagh <igloo@…>
Give cap its correct type, rather than void
4:42 PM Changeset in ghc [5d48ad2]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Ian Lynagh <igloo@…>
Put the task on the free list in workerTaskStop
2:17 PM Ticket #1055 (Visual Haskell installer 2005 failed for non standard location) created by kr.angelov
Visual Haskell installer for VS-2005 failed to complete when I changed the …
1:45 PM Changeset in ghc [221e74f]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Ian Lynagh <igloo@…>
Free various things we allocate
12:23 PM Ticket #1054 (Not in scope test failures) created by igloo
A number of tests are failing with "not in scope" messages: TH_genEx, …
12:16 PM Ticket #1053 (Message order random due to sorting by uniques) created by igloo
The messages coming out of checkValidAndMissingATs in …
1:01 AM TypeFunctionsStatus edited by chak
(diff)

Dec 14, 2006:

11:52 PM Changeset in ghc [80578b7d]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by andy@…>
Updating rix output to new standard.
11:31 PM Ticket #1052 (NCG doesn't realise shift instructions trash shifted input?) created by igloo
It looks like the NCG on amd64/Linux doesn't realise that shifting …
11:09 AM Changeset in ghc [7d8b8c2b]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Simon Marlow <simonmar@…>
update, and add some more build flavours (inc. dons's fast build)
11:09 AM Changeset in ghc [485b8d1a]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Simon Marlow <simonmar@…>
Rework the block allocator The main goal here is to reduce fragmentation, which turns out to be the case of #743. While I was here I found some opportunities to improve performance too. The code is rather more complex, but it also contains a long comment describing the strategy, so please take a look at that for the details.
10:11 AM Changeset in ghc [d12cd2f]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Simon Marlow <simonmar@…>
fix wibble in memory leak error dump
5:10 AM Ticket #1051 (Insufficient location information for parse errors before ''module'' ...) created by nfrisby
I've seen this error with GHC 6.6 on a PPC Mac (10.4.8), but I suspect it …
12:27 AM TypeFunctionsSynTC edited by chak
(diff)
12:27 AM TypeFunctionsSynTC/GHC created by chak
12:25 AM TypeFunctionsSynTC/Second created by chak
12:23 AM TypeFunctionsSynTC/Naive created by chak
12:22 AM TypeFunctionsSynTC edited by chak
(diff)

Dec 13, 2006:

11:14 PM Commentary/Compiler/CmmType edited by p_tanski
(diff)
6:45 PM Changeset in ghc [7eb8be6b]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by andy@…>
Removing explicit Binary Tick Boxes; using Case instead.
5:19 PM Ticket #1050 (Using an inferred type as a type signature fails) created by simonpj
See the thread starting here …
4:44 PM Ticket #981 (implicit parameters, type synonyms, and $) closed by simonpj
fixed: Well this one was harder than it looks. The culprit, again, was an …
4:29 PM Changeset in ghc [a2fcf3a]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by simonpj@…>
Add left-to-right impredicative instantiation People keep complaining, with some justification, that runST $ foo doesn't work. So I've finally caved in. The difficulty with the above is that we need to decide how to instantiate ($)'s type arguments based on the first argument (runST), and then use that info to check the second argumnent. There is a left-to-right flow of information. It's not hard to implement this, and it's clearly useful. The main change is in TcExpr.tcArgs, with some knock-on effects elsewhere. I was finally provoked into this by Trac #981, which turned out, after some head-scratching, to be another instance of the same problem. (There was some bug-fixing too; a type like ((?x::Int) => ...) is a polytype even though it has no leading for-alls, but the new TcUnify code was not treating it right.) Test for this is tc222
4:06 PM Changeset in ghc [e119cde9]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by andy@…>
Removing unused argument to a printf.
4:06 PM Changeset in ghc [132a718]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by andy@…>
fixing obvious typo in darwin_HOST_OS code (currently does not compile).
3:22 PM Ticket #1049 (A means of testing whether code is in blocked or unblocked mode) created by ChrisKuklewicz
There is currently no way for code, e.g. in a library, to test whether it …
3:13 PM Ticket #1048 (Add forkIO that starts in 'block' mode) created by ChrisKuklewicz
The current forkIO starts in 'unblock' mode and the spawned thread can …
3:03 PM Ticket #1047 (Increase gurantees of semantics of block/unblock/throwTo) created by ChrisKuklewicz
Ensure threads that stopped on a throwTo because the target thread was in …
1:52 PM Ticket #709 ("Fixup too large" error with -fasm on PowerPC) closed by wolfgang
fixed
1:38 PM Changeset in ghc [e4c8d2b1]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by wolfgang.thaller@…>
PowerPC NCG: support conditional branches outside +-32KB Work around the PowerPC architecture's +-32KB limitation for conditional branches by conditionally skipping an unconditional branch instead (unconditional branches have a +-32MB range). This requires an extra pass over the basic blocks for each CmmTop after block sequencing, to determine which branches are "far". Fixes ticket #709, "Fixup too large" error with -fasm on PowerPC
1:35 PM Changeset in ghc [4307b489]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Ian Lynagh <igloo@…>
Fix allocation debugger to handle allocations in con/destructors conc021 is an example of a program that broke. It doesn't handle them particularly well still, but it doesn't crash at least.
12:26 PM Changeset in ghc [55476c33]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Ian Lynagh <igloo@…>
Give a better panic if the allocation debugger is used uninitialised
10:00 AM Ticket #1040 (read::Float does not handle string that are all digits, but end in ".") closed by thorkilnaur
invalid: Describing "Numeric Literals" in Haskell programs, page 12 of the Haskell …
12:19 AM Changeset in ghc [55dd028]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by andy@…>
Misc Hpc improvement to dynamic tracer output - Added HPCRIX support for passing tracer filename. - Added thread tracing support. - Cleaned up use of HsFFI.h

Dec 12, 2006:

9:45 PM TypeFunctionsSynTC edited by chak
(diff)
9:15 PM TypeFunctionsSynTC edited by chak
(diff)
9:11 PM Changeset in nofib [1f62b92]ghc-7.8shakesupercompiler by Ian Lynagh <igloo@…>
Increase heap for wheel-sieve2 (was too small for mode=slow)
8:34 PM TypeFunctionsSynTC edited by chak
(diff)
8:33 PM TypeFunctionsSynTC edited by chak
(diff)
6:15 PM Commentary/PositionIndependentCode created by wolfgang
Start a major brain-dump about PIC
6:14 PM Commentary edited by wolfgang
add PIC & dynamic linking (diff)
5:10 PM GhcDebuggers created by AndyGill
3:33 PM Changeset in ghc [6ffb1cec]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Simon Marlow <simonmar@…>
Don't free sched_mutex until freeTaskManager has finished with it Also move closeMutex() etc. into freeTaskManager, this is a free-ish thing
11:18 AM Ticket #885 (GHC doesn't work with Data Execution Prevention on Windows) closed by simonmar
fixed: Patch pushed to 6.6, and merged to HEAD. Thanks!
1:33 AM TypeFunctionsSynTC edited by chak
(diff)

Dec 11, 2006:

11:26 PM TypeFunctionsSynTC edited by chak
(diff)
10:16 PM TypeFunctionsSynTC edited by chak
(diff)
6:13 PM Changeset in ghc [8b08c15b]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Pepe Iborra <mnislaih@…>
Toggle whether the RTS gets build with debugger support for ghci Specifically, this disables the special support in the RTS for looking up the datacon name corresponding to an address. Correspondingly, the debugging commads in GHCi will not be available, and neither will the '-fdebugging' flag
4:28 PM Ticket #1033 (ghc-6.7: panic! (the 'impossible' happened) -- typechecker getting ...) closed by simonpj
fixed: Good bugs, thank you; it exposed bogosity in my work on implication …
4:20 PM Changeset in ghc [989cfb23]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Pepe Iborra <mnislaih@…>
Adjust code from manual merges
4:20 PM Ticket #1041 (Bang patterns in do notation and lambdas) closed by simonpj
fixed: Fixed thank you.
3:34 PM Changeset in ghc [8d5364c1]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Pepe Iborra <mnislaih@…>
Fix an issue with lazyness in the closure viewer
2:12 PM GhcPlanning edited by igloo
(diff)
1:45 PM Changeset in nofib [88251a6]ghc-7.8shakesupercompiler by Ian Lynagh <igloo@…>
Make primetest main be IO () so ghci doesn't print the result
1:26 PM Changeset in nofib [46430cc]ghc-7.8shakesupercompiler by Ian Lynagh <igloo@…>
Put the bernouilli argument in PROG_ARGS rather than SRC_RUNTEST_OPTS The current way didn't work when running nofib with ghci.
12:58 PM Ticket #1046 (Make array indexing immune to seg-faults) created by simonpj
As Spencer Janssen points out …
12:45 PM DynamicLinking edited by wolfgang
(diff)
11:16 AM CodeOwners edited by kirsten
I guess I should be on this list (diff)
11:14 AM Commentary/Profiling edited by kirsten
add headings (diff)
11:13 AM Commentary/Profiling created by kirsten
take a first stab at this. feel free to rewrite entirely
9:44 AM Ticket #1045 (interrupt for ghci on windows) closed by simonmar
fixed: I've put some work into improving this for 6.6.1. Now the C key …

Dec 10, 2006:

11:20 PM Changeset in ghc [121da25]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Pepe Iborra <mnislaih@…>
Closure inspection in GHCi The :print, :sprint and :force commands for GHCi. This set of commands allows inspection of heap structures of the bindings in the interactive environment. This is useful to observe lazyness and specially to inspect things with undespecified polymorphic types, as happens often in breakpoints.
11:15 PM Changeset in ghc [8bc615fd]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Pepe Iborra <mnislaih@…>
Dynamic breakpoints in GHCi This patch adds dynamic breakpoints to GHCi There is a new ':breakpoint' command to manage breakpoints. GHCi simply uses the breakpoint api functions in ghc-api to install itself as a client. The mechanism used by GHCi to keep track of enabled breakpoints is a simple table. When a breakpoint is hit, a new interactive session is launched and the bindings in the breakpoint are injected. Some commands are disabled in this sub session
11:05 PM Changeset in ghc [8099fc7]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Pepe Iborra <mnislaih@…>
Split the GHCi monad apart from InteractiveUI, together with some related functions I found this convenient while I was extending ghci with the debugger. I wanted to put all the debugger stuff in a separate module, but I would need a huge hs-boot file to break the circular dependencies. This option seemed better
10:32 PM Changeset in ghc [f9a0b197]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Pepe Iborra <mnislaih@…>
Add the debugger related modules to package.conf
10:31 PM Changeset in ghc [065a02b5]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Pepe Iborra <mnislaih@…>
Prevent breakpoint instrumentation of spliced code
10:25 PM Changeset in ghc [eca538c]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Pepe Iborra <mnislaih@…>
Capturing and keeping track of local bindins in the desugarer Used in the desugaring of the breakpoint primitive
10:24 PM Changeset in ghc [1df34b3]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Pepe Iborra <mnislaih@…>
Handle breakpoint jumps while splicing TH functions in ghci The dynamic linker has been modified so that it won't panic if one of the breakpointJump functions fails to resolve. Now, if the dynamic linker fails to find a HValue for a Name, before looking for a static symbol it will ask to Breakpoints.lookupBogusBreakpointVal :: Name -> Maybe HValue which returns an identity function for the Jump names or Nothing else. A TH function might contain a call to a breakpoint function. So if it is compiled to bytecodes, the breakpoints will be desugared to 'jumps'. Whenever this code is spliced, the linker will fail to find the jumpfunctions unless there is a default.
10:19 PM Ticket #1045 (interrupt for ghci on windows) created by tmcooper
After giving ghci a slow or infinite computation, for example 'let a = a …
8:49 PM Changeset in ghc [3761010]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Pepe Iborra <mnislaih@…>
Breakpoint code instrumentation Instrumentation gets activated by the '-fdebugging' dynflag. All the instrumentation occurrs in the desugarer; it consists of inserting 'breakpoint' combinators at a number of places in the AST, namely: - Binding sites - Do-notation statements These 'breakpoint' combinators will later be further desugared (at DsExpr) into ___Jump functions. For more info about this and all the ghci.debugger see the page at the GHC wiki: http://hackage.haskell.org/trac/ghc/wiki/GhciDebugger
8:37 PM Changeset in ghc [3a99fa88]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Pepe Iborra <mnislaih@…>
The breakpoint primitive
6:41 PM Changeset in ghc [3e4ee05]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Pepe Iborra <mnislaih@…>
GHCi debugger documentation
6:40 PM Changeset in ghc [ead4243]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Pepe Iborra <mnislaih@…>
Extend the GHC API with breakpoints and breakpoint handlers The entry point is: setBreakpointHandler :: Session -> BkptHandler Module -> IO ()
5:51 PM Building/RunningNoFib edited by alexey
(diff)
5:30 PM Changeset in ghc [2c92736e]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Pepe Iborra <mnislaih@…>
Playing with closures RtClosureInspect includes a bunch of stuff for playing with closures: - the datatype Closure is the low level representation type - the datatype Term is the high level representation type - cvObtainTerm is the main entry point, providing the Term representation of an arbitrary closure
11:29 AM Changeset in ghc [ab5b8aa]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Pepe Iborra <mnislaih@…>
Retrieving the datacon of an arbitrary closure This patch extends the RTS linker and the dynamic linker so that it is possible to find out the datacon of a closure in heap at runtime: - The RTS linker now carries a hashtable 'Address->Symbol' for data constructors - The Persistent Linker State in the dynamic linker is extended in a similar way. Finally, these two sources of information are consulted by: > Linker.recoverDataCon :: a -> TcM Name

Dec 9, 2006:

7:08 PM Ticket #1001 ("ghc-6.6: panic! (the 'impossible' happened) interactiveUI:flush" when ...) closed by igloo
fixed: It turns out ghci was actually trying to use IO.stderr, but the same idea …
5:38 PM Changeset in ghc [d308d91]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Pepe Iborra <mnislaih@…>
Two new prim ops to access the Info Table and Payload of a closure: - infoPtr# :: a -> Addr# - closurePayload# :: a -> (# Array b, ByteArr# #) These prim ops provide the magic behind the ':print' command
1:04 PM Building/GettingTheSources edited by panne
Mention --complete (diff)
5:29 AM Commentary/CmmExceptions edited by p_tanski
(diff)
5:27 AM Commentary/CmmExceptions created by p_tanski
5:25 AM Commentary edited by p_tanski
(diff)
5:23 AM Commentary/Compiler/CmmType edited by p_tanski
(diff)
5:03 AM Changeset in ghc [d50e93cf]coerciblecoloured-coredata-kind-syntaxghc-7.2ghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftlocal-gcmonad-compno-pred-tysdocsupercompilertc-untouchablesth-new-7.6wip/T4404wip/T5084wip/T7704wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by andy@…>
Adding tracing support
1:13 AM Ticket #1044 (library docs on web have broken link) created by newsham@…
The source links in the Haskell Hierarchical Libraries pages on the web …
12:36 AM Ticket #1043 ("Weird Number" crashes GHCi (and Hugs) when integer-divided by -1) closed by dons
duplicate: Duplicate of http://hackage.haskell.org/trac/ghc/ticket/1042

Dec 8, 2006:

11:15 PM Ticket #921 (Floating point with -O and -fasm is broken) closed by igloo
fixed: Any recent nightly HEAD build should have the fix, and i've just pushed it …
5:58 PM Changeset in ghc [f9e52b8]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by pepeiborra <pepeiborra@…>
Fix mdo test
5:58 PM Changeset in testsuite [9e13eab]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by pepeiborra <pepeiborra@…>
Fix mdo test
5:44 PM Changeset in ghc [2e73efa7]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by pepeiborra <pepeiborra@…>
Accept output
5:44 PM Changeset in testsuite [e5d14d9]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by pepeiborra <pepeiborra@…>
Accept output
5:17 PM Changeset in ghc [2cb31a60]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by pepeiborra <pepeiborra@…>
Improved a test
5:17 PM Changeset in testsuite [67c6ab3]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by pepeiborra <pepeiborra@…>
Improved a test
5:16 PM Changeset in ghc [e954c4d]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by pepeiborra <pepeiborra@…>
Added more tests with newtypes
5:16 PM Changeset in testsuite [db89c64a]at-defaultsatomicsdata-kind-syntaxencodingghc-7.2ghc-7.4ghc-7.6ghc-deferghc-new-comonad-compno-pred-tyoverlapping-tyfamspatch-4404patch-5014patch-5084tc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by pepeiborra <pepeiborra@…>
Added more tests with newtypes
5:09 PM Ticket #1043 ("Weird Number" crashes GHCi (and Hugs) when integer-divided by -1) created by paul@…
(-2147483648::Int) div (-1::Int) This expression triggers a crash in …
5:00 AM Commentary/Hpc edited by andykam
(diff)
4:59 AM Commentary/Hpc edited by andykam
(diff)
1:39 AM Ticket #1042 (Floating point exception) created by dons
The slightly evil expression: […] Can produce floating point …
1:36 AM TypeFunctionsStatus edited by chak
(diff)
1:33 AM TypeFunctionsStatus edited by chak
(diff)
1:31 AM TypeFunctions edited by chak
(diff)
Note: See TracTimeline for information about the timeline view.