Timeline


and

Dec 3, 2011:

11:42 PM WikiStart edited by fryguybob
Removed spam (diff)
11:42 PM Ticket #5677 (Allow the definition of extra functions in typeclass instances) created by FUZxxl
It would be nice, if one could define functions in an instance declaration …
11:24 PM Ticket #5676 (Typeclass instance function type declarations) created by drb226
See discussion at …
9:11 PM Ticket #5675 (OperationalError: database is locked) closed by erikd
fixed: Seems to be working now. Closing this bug.
8:40 PM Ticket #5675 (OperationalError: database is locked) created by erikd
==== How to Reproduce ==== While doing a POST operation on …
4:43 PM Changeset in unix [77927c8]ghc-7.4ghc-7.6ghc-7.8 by Ian Lynagh <igloo@…>
Roll back the sigset capi changes They broken the build on OSX. See #2979.
3:19 PM Ticket #5673 (GHCi ignores {-# LANGUAGE OverloadedStrings #-}) closed by michalt
invalid: I think the pragma only refers to the code in the file and not to what you …
1:55 PM Ticket #5674 (Allow type signatures in instance declarations) created by kprateek88
GHC should allow type signatures in instance declarations. It should check …
10:18 AM Ticket #5673 (GHCi ignores {-# LANGUAGE OverloadedStrings #-}) created by erikd
Very simple test file like: […] If I load this into GHCi, I can run …
12:34 AM Changeset in ghc [fe05c022]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Ian Lynagh <igloo@…>
Remove some unnecessary touch's They made a dependency cycle in the rules used to build the touch program on Windows.

Dec 2, 2011:

11:54 PM Changeset in nofib [34e23dc]ghc-7.8shakesupercompiler by David Terei <davidterei@…>
Merge branch 'master' of http://darcs.haskell.org/nofib
10:30 PM Changeset in ghc [4fb39037]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Ian Lynagh <igloo@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
10:25 PM Changeset in ghc [9fd5a2ca]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Ian Lynagh <igloo@…>
Remove unused install_headers and INSTALL_HEADERS
10:24 PM Changeset in ghc [11a614ff]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Ian Lynagh <igloo@…>
Fix header installation
9:42 PM Changeset in ghc [1c400aa9]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Ian Lynagh <igloo@…>
MAKE_RESTARTS should never be higher than 1
9:38 PM Changeset in ghc [e872312]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Ian Lynagh <igloo@…>
Move includes/DerivedConstants.h and includes/GHCConstants.h into dist dirs When they existed, they were getting included in the includes_H_FILES variable (as it uses wildcard to find all header files). But the .depends files for the programs that generate the headers depend on $(includes_H_FILES), so the .depends files looked out-of-date once the headers had been created. This caused unnecessary make reinvocations. So now we put them in dist* directories, where they ought to be anyway.
4:55 PM Changeset in ghc [2694bb74]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Ian Lynagh <igloo@…>
Use touchy rather than touch when building on Windows With Windows 7 in a vitrual box VM on OS X, some very odd things happen with dates and time stamps when SSHing into cygwin. e.g. here the "Change" time is in the past: $ date; touch foo; stat foo Fri Dec 2 16:58:07 GMTST 2011 File: `foo' Size: 0 Blocks: 0 IO Block: 65536 regular empty file Device: 540aba0bh/1409989131d Inode: 562949953592977 Links: 1 Access: (0644/-rw-r--r--) Uid: ( 1000/ ian) Gid: ( 513/ None) Access: 2011-12-02 16:58:07.414457900 +0000 Modify: 2011-12-02 16:58:07.414457900 +0000 Change: 2011-12-02 16:58:03.495141800 +0000 Birth: 2011-12-02 16:57:57.731469900 +0000 And if we copy such a file, then the copy is older (as determined by the "Modify" time) than the original: $ date; touch foo; stat foo; cp foo bar; stat bar Fri Dec 2 16:59:10 GMTST 2011 File: `foo' Size: 0 Blocks: 0 IO Block: 65536 regular empty file Device: 540aba0bh/1409989131d Inode: 1407374883725128 Links: 1 Access: (0644/-rw-r--r--) Uid: ( 1000/ ian) Gid: ( 513/ None) Access: 2011-12-02 16:59:10.118457900 +0000 Modify: 2011-12-02 16:59:10.118457900 +0000 Change: 2011-12-02 16:59:06.189477700 +0000 Birth: 2011-12-02 16:57:57.731469900 +0000 File: `bar' Size: 0 Blocks: 0 IO Block: 65536 regular empty file Device: 540aba0bh/1409989131d Inode: 281474976882512 Links: 1 Access: (0644/-rw-r--r--) Uid: ( 1000/ ian) Gid: ( 513/ None) Access: 2011-12-02 16:59:06.394555800 +0000 Modify: 2011-12-02 16:59:06.394555800 +0000 Change: 2011-12-02 16:59:06.395532400 +0000 Birth: 2011-12-02 16:58:40.921899600 +0000 This means that make thinks that things are out of date when it shouldn't, so reinvokes itself repeatedly until the MAKE_RESTARTS infinite-recursion test triggers. The touchy program, like most other programs, creates files with both Modify and Change in the past, which is still a little odd, but is consistent, so doesn't break make.
4:51 PM Ticket #5672 (parBufferWHNF could be less subtle) created by duncan
I would suggest modifying parBufferWHNF as follows, with the `{- x …
4:21 PM Ticket #4094 ("+RTS -px" is undocumented and doesn't produce XML) closed by igloo
fixed: Simon's removed -px now.
3:11 PM Changeset in ghc [1469f1eb]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Simon Marlow <marlowsd@…>
More changes aimed at improving call stacks. - Attach a SrcSpan to every CostCentre. This had the side effect that CostCentres that used to be merged because they had the same name are now considered distinct; so I had to add a Unique to CostCentre to give them distinct object-code symbols. - New flag: -fprof-auto-calls. This flag adds an automatic SCC to every call site (application, to be precise). This is typically more useful for call stacks than annotating whole functions. Various tidy-ups at the same time: removed unused NoCostCentre constructor, and refactored a bit in Coverage.lhs. The call stack we get from traceStack now looks like this: Stack trace: Main.CAF (<entire-module>) Main.main.xs (callstack002.hs:18:12-24) Main.map (callstack002.hs:13:12-16) Main.map.go (callstack002.hs:15:21-34) Main.map.go (callstack002.hs:15:21-23) Main.f (callstack002.hs:10:7-43)
2:49 PM Changeset in ghc [fda76752]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <igloo@…>
Use the mingw touch program on Windows
2:49 PM Changeset in integer-gmp [659d421]ghc-7.4ghc-7.6ghc-7.8wip/T8647 by Ian Lynagh <igloo@…>
Use the mingw touch program on Windows
1:12 PM WikiStart edited by AlysiaSpike
minor edit (diff)
1:11 PM Changeset in ghc [6f4bde14]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Simon Marlow <marlowsd@…>
remove unused coreExprCc
1:10 PM Changeset in ghc [7cf9c779]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-compat by Simon Marlow <marlowsd@…>
Update adding source locations to cost centres.
1:10 PM Changeset in testsuite [e92b106]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
Update adding source locations to cost centres.
1:09 PM Changeset in base [87f88de]data-proxydbcsghc-7.4ghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Simon Marlow <marlowsd@…>
Add source locations to call stack entries.
1:09 PM Changeset in ghc [631796d5]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Simon Marlow <marlowsd@…>
Add source locations to call stack entries.
8:06 AM Ticket #5671 (ghc-7.2 vector code segfaults) created by kosmikus
The following program segfaults on x86_64 with vector-0.9 * with …

Dec 1, 2011:

9:34 PM Ticket #5670 (Document that Enum Integer is subject to list fusion.) created by nomeata
The documentation does not mention it, but it is the case (verified in …
4:02 PM Commentary/Abbreviations edited by simonmar
(diff)
3:59 PM Commentary/SourceTree edited by simonmar
(diff)
3:17 PM Changeset in ghc [458cd69d]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-compat by Simon Marlow <marlowsd@…>
callstack001: add -fno-state-hack to get consistent output
3:17 PM Changeset in testsuite [cec7971]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
callstack001: add -fno-state-hack to get consistent output
3:17 PM Changeset in ghc [9bd8efa8]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-compat by Simon Marlow <marlowsd@…>
posix009: omit threaded ways
3:17 PM Changeset in testsuite [2a39b8f]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
posix009: omit threaded ways
1:37 PM Changeset in nofib [c5660c5]ghc-7.8shakesupercompiler by Simon Marlow <marlowsd@…>
Track changes to Num superclasses
1:03 PM Changeset in ghc [4266f9dc]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-compat by Simon Marlow <marlowsd@…>
skip posix003 on Windows
1:03 PM Changeset in testsuite [17d7c5d]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
skip posix003 on Windows
12:18 PM Changeset in ghc [4ec5661]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Simon Marlow <marlowsd@…>
Track changes to the way we reference CCCS in GHC (was: W_[CCCS], now: CCCS)
12:18 PM Changeset in integer-gmp [f2c9931]ghc-7.4ghc-7.6ghc-7.8wip/T8647 by Simon Marlow <marlowsd@…>
Track changes to the way we reference CCCS in GHC (was: W_[CCCS], now: CCCS)
11:57 AM Changeset in ghc [b2d3c55]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Simon Marlow <marlowsd@…>
Forgot an initMutex(); fixes profthreaded failures on Windows
11:30 AM Changeset in ghc [57412d0]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-compat by Simon Marlow <marlowsd@…>
Test for Debug.Trace.traceStack and GHC.Stack.whoCreated
11:30 AM Changeset in testsuite [c7f38818]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
Test for Debug.Trace.traceStack and GHC.Stack.whoCreated
11:30 AM Changeset in ghc [e8f513db]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-compat by Simon Marlow <marlowsd@…>
#5371 is now fixed, re-enable ghcilink{001,004} on mingw32
11:30 AM Changeset in testsuite [a243e90]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
#5371 is now fixed, re-enable ghcilink{001,004} on mingw32
11:29 AM Changeset in ghc [63e49e13]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Simon Marlow <marlowsd@…>
Fix potential crash on Windows: off-by-one in malloc() Spotted by gdb's malloc debugger while I was looking for something else.
11:29 AM Changeset in ghc [1d012e31]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Simon Marlow <marlowsd@…>
loadArchive: need to allocate executable memory on Win32 (#5371)
11:29 AM Changeset in ghc [6d18141d]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Simon Marlow <marlowsd@…>
Fix a scheduling bug in the threaded RTS The parallel GC was using setContextSwitches() to stop all the other threads, which sets the context_switch flag on every Capability. That had the side effect of causing every Capability to also switch threads, and since GCs can be much more frequent than context switches, this increased the context switch frequency. When context switches are expensive (because the switch is between two bound threads or a bound and unbound thread), the difference is quite noticeable. The fix is to have a separate flag to indicate that a Capability should stop and return to the scheduler, but not switch threads. I've called this the "interrupt" flag.
11:10 AM Changeset in base [0ced3ed]data-proxydbcsghc-7.4ghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Simon Marlow <marlowsd@…>
Change the layout of stack traces Stack trace: Main.CAF Main.main Main.main.xs Main.map Main.map.go Main.f
11:10 AM Changeset in ghc [8c981c27]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Simon Marlow <marlowsd@…>
Change the layout of stack traces Stack trace: Main.CAF Main.main Main.main.xs Main.map Main.map.go Main.f
6:27 AM Changeset in ghc [529b0ae]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Edward Z. Yang <ezyang@…>
Add missing newline in RTS help output. Signed-off-by: Edward Z. Yang <ezyang@mit.edu>

Nov 30, 2011:

11:12 PM Changeset in ghc [b3e30449]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Ian Lynagh <igloo@…>
Fix parsing of OPTIONS*/LANGUAGE pragmas in haddock mode When getting options from basicTypes/RdrName.lhs, we were seeing text like "-- |\n-- ...\n" in the buffer, and lexer then recognises "-- |\n-- ..." as a complete ITdocCommentNext token, with the end of the buffer not reached. Next time round, when we get more input into the buffer, it started "\n-- * 'Var.Var': see", so the lexer gave us an ITdocSection token. However, getOptions' only knew about ITdocCommentNext, and so it stopped at that point, and didn't see the pragmas further down the file. This caused the build to fail due to -fwarn-tabs not being turned off. But actually, we don't really want the haddock docs at this point, so now we just unset Opt_Haddock in getOptionsFromFile.
5:53 PM Changeset in ghc [cdbb4720]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Ian Lynagh <igloo@…>
Fix cmd invocation by libffi cuild system on Windows 7 cygwin
1:47 PM Changeset in ghc [9cb230c5]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-compat by Simon Marlow <marlowsd@…>
accept output
1:47 PM Changeset in testsuite [8ce7a876]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
accept output
11:55 AM Changeset in ghc [f85c084]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Simon Marlow <marlowsd@…>
Include a stack trace in the panic message, when GHC is compiled profiled. I tried this out on the panic we're currently getting for #3103: ghc-stage2: panic! (the 'impossible' happened) (GHC version 7.3.20111128 for x86_64-unknown-linux): tcIfaceGlobal (local): not found: base:GHC.Word.W#{d 6w} [(32R, Type constructor `base:GHC.Word.Word{tc 32R}'), (r6O, Identifier `base:GHC.Word.$fNumWord{v r6O}'), (r6P, Identifier `base:GHC.Word.$fEqWord{v r6P}'), (r6Q, Identifier `base:GHC.Word.$fNumWord1{v r6Q}'), (r6R, Identifier `base:GHC.Word.$fNumWord2{v r6R}'), (r6S, Data constructor `base:GHC.Word.W#{d r6S}'), (r6U, Identifier `base:GHC.Word.W#{v r6U}'), (r75, Identifier `base:GHC.Word.$fNumWord_$csignum{v r75}'), (r76, Identifier `base:GHC.Word.$fEqWord_$c/={v r76}'), (r77, Identifier `base:GHC.Word.$fEqWord_$c=={v r77}')] { Main.main GHC.defaultErrorHandler GHC.runGhc GhcMonad.>>= GhcMonad.>>=.\ Main.main' Main.doMake GhcMake.load GhcMake.load2 GhcMake.upsweep GhcMake.upsweep.upsweep' GhcMake.reTypecheckLoop GhcMake.typecheckLoop GhcMake.typecheckLoop.\ TcRnMonad.initIfaceCheck TcRnMonad.initTcRnIf IOEnv.runIOEnv IOEnv.thenM IOEnv.thenM.\ TcIface.typecheckIface TcIface.typecheckIface.\ LoadIface.loadDecls LoadIface.loadDecl TcIface.tcIfaceDecl TcIface.tc_iface_decl TcIface.tcIdInfo MonadUtils.foldlM TcIface.tcIdInfo.tcPrag TcIface.tcUnfolding TcIface.tcPragExpr TcIface.tcIfaceExpr TcIface.tcIfaceAlt TcIface.tcIfaceDataCon }
11:51 AM Changeset in base [8812b67]data-proxydbcsghc-7.4ghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Simon Marlow <marlowsd@…>
Expand the stack-tracing API - add whoCreated :: a -> IO [String] Get the stack trace attached to an object - rename getCCCS to getCurrentCCS - add getCCSOf (used to implement whoCreated) - add renderStack :: [String] -> String A handy function for prettifying a stack
11:51 AM Changeset in base [41bf1ae]data-proxydbcsghc-7.4ghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Simon Marlow <marlowsd@…>
Add traceStack :: String -> a -> a -- | like 'trace', but additionally prints a call stack if one is -- available. -- -- In the current GHC implementation, the call stack is only -- availble if the program was compiled with @-prof@; otherwise -- 'traceStack' behaves exactly like 'trace'. Entries in the call -- stack correspond to @SCC@ annotations, so it is a good idea to use -- @-fprof-auto@ to add SCC annotations automatically.
11:51 AM Changeset in ghc [02066dfd]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Simon Marlow <marlowsd@…>
Expand the stack-tracing API - add whoCreated :: a -> IO [String] Get the stack trace attached to an object - rename getCCCS to getCurrentCCS - add getCCSOf (used to implement whoCreated) - add renderStack :: [String] -> String A handy function for prettifying a stack
11:51 AM Changeset in ghc [463b609e]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Simon Marlow <marlowsd@…>
Add traceStack :: String -> a -> a -- | like 'trace', but additionally prints a call stack if one is -- available. -- -- In the current GHC implementation, the call stack is only -- availble if the program was compiled with @-prof@; otherwise -- 'traceStack' behaves exactly like 'trace'. Entries in the call -- stack correspond to @SCC@ annotations, so it is a good idea to use -- @-fprof-auto@ to add SCC annotations automatically.
11:34 AM Changeset in base [71157d6]data-proxydbcsghc-7.4ghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Simon Marlow <marlowsd@…>
Use utf8 when decoding cost centre strings
11:34 AM Changeset in ghc [ab256d4]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Simon Marlow <marlowsd@…>
Use utf8 when decoding cost centre strings
11:33 AM Changeset in ghc [1fc25df]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Simon Marlow <marlowsd@…>
Further tweaks to the ccs primops - add getCCSOf# :: a -> State# s -> (# State# s, Addr# #) (returns the CCS attached to the supplied object) - remove traceCcs# (obsoleted by getCCSOf#) - rename getCCCS# to getCurrentCCS#
11:03 AM Ticket #5656 (Biographical profiling broken in 7.2.1) closed by simonmar
worksforme: Please re-open if you have any more info that might help us reproduce the …
9:55 AM Ticket #5660 (Remove out-of-date NOTE files) closed by simonmar
fixed
8:52 AM Changeset in ghc [b35a12aa]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Simon Marlow <marlowsd@…>
remove obsolete notes (#5660)
8:50 AM Changeset in ghc [299a992]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-compat by Simon Marlow <marlowsd@…>
Ignore IDLE in .prof.sample (fix spurious profthreaded failures)
8:50 AM Changeset in testsuite [c98a1bb]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
Ignore IDLE in .prof.sample (fix spurious profthreaded failures)
8:50 AM Changeset in ghc [53055bb5]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Simon Marlow <marlowsd@…>
Turn a bunch of ints into longs to avoid overflow (#5656)
7:21 AM Ticket #5661 (Wrong error message on attempted import of undefined record field) closed by simonpj
invalid: OK, so I'll close this as ok. Do reopen if that's not right. Simon
2:33 AM Ticket #5665 (Duplicate asm symbols for record fields when TH is used in the module) closed by simonpj
fixed: Thanks, regression test added.
2:32 AM Changeset in ghc [4ad42be7]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-compat by Simon Peyton Jones <simonpj@…>
Test Trac #5625
2:32 AM Changeset in testsuite [7af4ba8]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #5625
2:27 AM Changeset in ghc [aab952d]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-compat by Simon Peyton Jones <simonpj@…>
Test Trac #5001
2:27 AM Changeset in testsuite [ac55c8f]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #5001
2:26 AM Changeset in ghc [2d68dbbb]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Ian Lynagh <igloo@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
2:24 AM Changeset in ghc [2d634b8]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Ian Lynagh <igloo@…>
Fix libffi depfile creation on Windows: Use -MD rather than -MMD
1:19 AM Changeset in ghc [5fa4cf3a]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-compat by Simon Peyton Jones <simonpj@…>
Test Trac #5631
1:19 AM Changeset in testsuite [d82365b]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #5631
1:07 AM Changeset in ghc [c04b289]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-compat by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
1:07 AM Changeset in testsuite [7cc9f79]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/testsuite
1:06 AM Changeset in ghc [854abfec]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-compat by Simon Peyton Jones <simonpj@…>
Follow error message changes I think these are a consequence of my uType_defer fix to Trac #5631
1:06 AM Changeset in testsuite [e8e6faf]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Follow error message changes I think these are a consequence of my uType_defer fix to Trac #5631
1:01 AM Changeset in ghc [b0cf532c]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc

Nov 29, 2011:

11:32 PM Building/Windows/Cygwin edited by igloo
(diff)
9:21 PM Changeset in ghc [19eaab1]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-compat by Ian Lynagh <igloo@…>
callstack001 requires profiling
9:21 PM Changeset in testsuite [e1d86b9]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
callstack001 requires profiling
8:37 PM Ticket #5669 (Fix test 5558 for Mac OS X 10.5) created by thorkilnaur
The attached patch fixes […] on […] Validated on Mac OS X 10.5. The …
8:33 PM Building/Windows/Cygwin edited by igloo
(diff)
7:33 PM Changeset in ghc [0d8130d]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
7:28 PM Changeset in base [1bde0e5]data-proxydbcsghc-7.4ghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Use capi to define the fcntl FFI imports
7:28 PM Changeset in ghc [227e13c]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <igloo@…>
Use capi to define the fcntl FFI imports
7:28 PM Changeset in base [630f44d]data-proxydbcsghc-7.4ghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Use capi some more (part of #5480)
7:28 PM Changeset in ghc [6bf8991a]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <igloo@…>
Use capi some more (part of #5480)
7:28 PM Changeset in ghc [aee8fe25]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Ian Lynagh <igloo@…>
Improve the checkremove util We now put the before and after filenames into a tree structure, which vastly improves performance when simulating the delete commands.
7:20 PM Changeset in ghc [42e3b5b]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Dimitrios Vytiniotis <dimitris@…>
Merge branch 'master' of http://darcs.haskell.org//ghc
7:15 PM Changeset in ghc [e4d87e1]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Dimitrios Vytiniotis <dimitris@…>
Insufficient rewriting during flattening. This fixes #5668.
3:50 PM Changeset in ghc [b41a351]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
3:49 PM Changeset in ghc [ac11b1f]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Simon Peyton Jones <simonpj@…>
Refactor (again) the treatment of record-selector bindings We were generating them from the tcg_tcs field of the TcGblEnv, but that goes badly wrong when there are top-level Template Haskell splices, because the tcg_tcs field grows successively. If we generate record-selector binds for all the TyCons in the accumulated list, we generate them multiple times for TyCons earlier in the program. This what was happening in Trac #5665: data T = T { x :: Int } $(f 4) -- Top level splice ..more code.. Here the record selector bindings for T were being generated twice. Better instead to generate the record-selector bindings in TcTyClsDecls, right where the new TyCons are being declared (as indeed they were some time ago). This pushed me into doing some refactoring: instead of returning the record bindings, tcTyAndClassDecls adds them to the tcg_binds field of the TcGblEnv. I think the result is a bit nicer, and it has the additional merit of working.
3:27 PM Changeset in base [c0ee7bd]data-proxydbcsghc-7.4ghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Simon Marlow <marlowsd@…>
Add a way to get hold of the current call stack GHC.Stack.currentCallStack :: IO [String] At the moment this uses the profiler's cost-centre stack; maybe in the future it might use some other mechanism. Right now it only gives useful results when profiling and using -fprof-auto or similar, but it could be quite handy. e.g. f :: Int -> IO Int f x = do currentCallStack >>= print; return (x+1) mapM :: Monad m => (a -> m b) -> [a] -> m [b] mapM f xs = go xs where go [] = return [] go (x:xs) = do x' <- f x xs' <- mapM f xs return (x':xs') main = mapM f [42,42] $ ./stack ["MAIN.MAIN","Main.main","Main.mapM","Main.mapM.go","Main.f"] ["MAIN.MAIN","Main.main","Main.mapM","Main.mapM.go","Main.f"]
3:27 PM Changeset in ghc [135680b]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Simon Marlow <marlowsd@…>
Add a way to get hold of the current call stack GHC.Stack.currentCallStack :: IO [String] At the moment this uses the profiler's cost-centre stack; maybe in the future it might use some other mechanism. Right now it only gives useful results when profiling and using -fprof-auto or similar, but it could be quite handy. e.g. f :: Int -> IO Int f x = do currentCallStack >>= print; return (x+1) mapM :: Monad m => (a -> m b) -> [a] -> m [b] mapM f xs = go xs where go [] = return [] go (x:xs) = do x' <- f x xs' <- mapM f xs return (x':xs') main = mapM f [42,42] $ ./stack ["MAIN.MAIN","Main.main","Main.mapM","Main.mapM.go","Main.f"] ["MAIN.MAIN","Main.main","Main.mapM","Main.mapM.go","Main.f"]
2:43 PM Ticket #5319 (MacOS X + executeFile + -threaded = "Operation not supported") closed by igloo
wontfix: I'll close this ticket, then, but if anyone wants to make a tested patch …
2:23 PM Changeset in ghc [138d63fd]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-compat by Simon Marlow <marlowsd@…>
test for GHC.Exts.currentCallStack
2:23 PM Changeset in testsuite [dfdb979]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
test for GHC.Exts.currentCallStack
2:22 PM Changeset in ghc [1f7433b7]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Simon Marlow <marlowsd@…>
Add a new primop: getCCCS# :: State# s -> (# State# s, Addr# #) Returns a pointer to the current cost-centre stack when profiling, NULL otherwise.
2:22 PM Changeset in ghc [f44f725]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Simon Marlow <marlowsd@…>
Another fix to the stg_enter_checkbh frame
2:22 PM Changeset in ghc [1ed0dfa1]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Simon Marlow <marlowsd@…>
doc update: -prof now works with +RTS -N (with caveats)
1:00 PM Ticket #5668 (panic: updInertSet) created by simonmar
Building parsec-3.1.2 with HEAD panics with a complaint about …
12:26 PM Changeset in ghc [75bdc3a3]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-compat by Simon Marlow <marlowsd@…>
T3103 is expect_broken for optllvm too
12:26 PM Changeset in testsuite [5018489]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
T3103 is expect_broken for optllvm too
12:26 PM Changeset in ghc [1b29b681]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-compat by Simon Marlow <marlowsd@…>
simplify using prof_ways
12:26 PM Changeset in testsuite [d8513f0]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
simplify using prof_ways
12:26 PM Changeset in ghc [e02ff2e]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-compat by Simon Marlow <marlowsd@…>
defined prof_ways, threaded_ways and opt_ways automatically These are handy for using in only_ways() and expect_broken_for()
12:26 PM Changeset in testsuite [c921302]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
defined prof_ways, threaded_ways and opt_ways automatically These are handy for using in only_ways() and expect_broken_for()
12:21 PM Changeset in ghc [50de603]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Simon Marlow <marlowsd@…>
Make profiling work with multiple capabilities (+RTS -N) This means that both time and heap profiling work for parallel programs. Main internal changes: - CCCS is no longer a global variable; it is now another pseudo-register in the StgRegTable struct. Thus every Capability has its own CCCS. - There is a new built-in CCS called "IDLE", which records ticks for Capabilities in the idle state. If you profile a single-threaded program with +RTS -N2, you'll see about 50% of time in "IDLE". - There is appropriate locking in rts/Profiling.c to protect the shared cost-centre-stack data structures. This patch does enough to get it working, I have cut one big corner: the cost-centre-stack data structure is still shared amongst all Capabilities, which means that multiple Capabilities will race when updating the "allocations" and "entries" fields of a CCS. Not only does this give unpredictable results, but it runs very slowly due to cache line bouncing. It is strongly recommended that you use -fno-prof-count-entries to disable the "entries" count when profiling parallel programs. (I shall add a note to this effect to the docs).
11:00 AM Changeset in ghc [e332180]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Simon Peyton Jones <simonpj@…>
White space only
9:53 AM Changeset in ghc [8b6bdeb]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-compat by Jose Pedro Magalhaes <jpm@…>
Another PolyKinds test
9:53 AM Changeset in ghc [b3423486]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-compat by Jose Pedro Magalhaes <jpm@…>
Decrease max bytes allocated limit of T3064 Brings the limit back to before 77ad4b3209: 140000000
9:53 AM Changeset in testsuite [700f295]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Jose Pedro Magalhaes <jpm@…>
Another PolyKinds test
9:53 AM Changeset in testsuite [02de519]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Jose Pedro Magalhaes <jpm@…>
Decrease max bytes allocated limit of T3064 Brings the limit back to before 77ad4b3209: 140000000
9:53 AM Changeset in ghc [20cc2b6]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-compat by Jose Pedro Magalhaes <jpm@…>
Add a test by Julien
9:53 AM Changeset in testsuite [eacd73a]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Jose Pedro Magalhaes <jpm@…>
Add a test by Julien
9:37 AM Changeset in ghc [ddc0d28]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Simon Marlow <marlowsd@…>
update to track changes to CCCS in the RTS
9:37 AM Changeset in integer-gmp [5cc9b63]ghc-7.4ghc-7.6ghc-7.8wip/T8647 by Simon Marlow <marlowsd@…>
update to track changes to CCCS in the RTS
9:12 AM Changeset in ghc [cbe24168]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Simon Marlow <marlowsd@…>
Get rid of the "safety" field of CmmCall (OldCmm) This field was doing nothing. I think it originally appeared in a very old incarnation of the new code generator.
9:12 AM Changeset in ghc [1c2b8381]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Simon Marlow <marlowsd@…>
stg_enter_checkbh: fix offsets for profiling
7:39 AM Changeset in ghc [9ad4f0b]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Simon Peyton Jones <simonpj@…>
Switch around the order of guards in exprIsConApp_maybe This is a vital wibble to: f7cf3dcd * Be a bit less gung-ho in exprIsConApp_maybe
5:51 AM Ticket #5667 (Data.Unique.Unique and Data.Graph.SCC are not instances of Show) created by jewillco
These two types are not currently instances of Show, and having that …
2:00 AM Changeset in ghc [7d13e504]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Dimitrios Vytiniotis <dimitris@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
1:59 AM Changeset in ghc [4e0e38e]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-compat by Dimitrios Vytiniotis <dimitris@…>
Error message shuffling.
1:59 AM Changeset in testsuite [e2147b8]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Dimitrios Vytiniotis <dimitris@…>
Error message shuffling.
1:51 AM Changeset in ghc [4aa0a2d8]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Dimitrios Vytiniotis <dimitris@…>
Reintroducing isReflCo optimization: invariant that evVarPred.cc_id must be equal to ctPred needs no longer be true.
1:09 AM Changeset in ghc [e26443e]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by David Waern <david.waern@…>
Merge branch 'master' of http://darcs.haskell.org/ghc

Nov 28, 2011:

10:51 PM Ticket #5666 (Can't use writeFile to write unicode characters.) created by tsou
I tried to the "locale" environmental variables to "en_US.utf8", but still …
6:59 PM Changeset in unix [b02e926]ghc-7.4ghc-7.6ghc-7.8 by Ian Lynagh <igloo@…>
Use capi to define the fcntl FFI imports
6:20 PM Changeset in unix [a55cb03]ghc-7.4ghc-7.6ghc-7.8 by Ian Lynagh <igloo@…>
Use capi some more (part of #5480)
6:09 PM Ticket #2979 (better support for FFI C wrappers for macros in system headers) closed by igloo
fixed: Fixed.
5:56 PM Changeset in ghc [4d71ddb8]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-compat by Ian Lynagh <igloo@…>
Add CApiFFI to T4437
5:56 PM Changeset in testsuite [3e9afab]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <igloo@…>
Add CApiFFI to T4437
5:04 PM Changeset in unix [e33f501]ghc-7.4ghc-7.6ghc-7.8 by Ian Lynagh <igloo@…>
Convert come FFI bindings to use the capi calling convention
5:04 PM Changeset in ghc [36f8cab]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Ian Lynagh <igloo@…>
Implement a capi calling convention; fixes #2979 In GHC, this provides an easy way to call a C function via a C wrapper. This is important when the function is really defined by CPP. Requires the new CApiFFI extension. Not documented yet, as it's still an experimental feature at this stage.
5:03 PM Changeset in base [6874f4f]data-proxydbcsghc-7.4ghc-7.6ghc-7.8imp-param-classsupercompilertype-reasoningwindows-iocp by Ian Lynagh <igloo@…>
Convert come FFI bindings to use the capi calling convention
5:03 PM Changeset in ghc [73c4ff58]wip/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonyms by Ian Lynagh <igloo@…>
Convert come FFI bindings to use the capi calling convention
1:46 PM Changeset in ghc [75505d4]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-compat by Dimitrios Vytiniotis <dimitris@…>
Error message shuffling.
1:46 PM Changeset in testsuite [b82ab6d]atomicsdata-kind-syntaxghc-7.4ghc-7.6ghc-deferghc-new-cooverlapping-tyfamstc-untouchablesth-newtype-natstype-nats-simpleunboxed-tuple-argumentsunboxed-tuple-arguments2wip/nested-cprwip/pattern-synonymswip/th-new by Dimitrios Vytiniotis <dimitris@…>
Error message shuffling.
1:31 PM Changeset in ghc [825e0a3]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Dimitrios Vytiniotis <dimitris@…>
Merge branch 'master' of http://darcs.haskell.org/ghc
12:11 PM Changeset in ghc [e544930]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Dimitrios Vytiniotis <dimitris@…>
isReflCo no longer reliable for detection of type identity. Details: isReflCo is no longer reliable for detection of no-rewriting/flattening since we are using cached reflexivity solved goals. Introduced a boolean flag in the flattener for this purpose, instead.
12:11 PM Changeset in ghc [cae91683]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Dimitrios Vytiniotis <dimitris@…>
Implemented -dsuppress-var-kinds flag to remove silly kinds when dppr-debug is on. Adding commentary, and fixing a knot-tie related bug. Commentary only.
12:09 PM Changeset in ghc [4bc84da]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Dimitrios Vytiniotis <dimitris@…>
Solved goal caching and zonking optimisations. 1) Stopped rewriting and caching solveds in the inerts because profiling showed that a lot of time was spent on rewriting already solved goals. 2) Optimisations in zonkEvBinds for common-case evidence bindings generated from the constraint solver. 3) Now solved goals cache their evidence terms, so that we can more aggressively optimize Refl coercions during constraint solving. This patch also includes a rewrite of rewriteInertEqsFromInertEq which greatly improves its efficiency.
12:09 PM Changeset in ghc [f3183d9]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Dimitrios Vytiniotis <dimitris@…>
This patch includes: 0) Typo in panic message. 1) prioritization of equalities over family equalities in the worklists. 2) rewriting of inert substitutions and solveds on-the-spot instead of kicking them out in the inerts. This required a monadic map over substitutions hence the modifications in UniqFM. 3) Just comments and removing stale commented code. 4) Useful SCC for simplifyInfer. 5) Making CoreStats outputable.
11:37 AM Changeset in ghc [57d657a8]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Simon Marlow <marlowsd@…>
Allow the quotes to be omitted in {-# SCC "<varid>" #-}
10:59 AM Ticket #5494 ("PAP object entered!" error when throw is used instead of throwIO) closed by simonmar
fixed: Thanks for getting back to us.
10:57 AM Ticket #5662 (GHCi crashes in context of banana bracket in arrow notation) closed by simonmar
duplicate: Looks like it, thanks.
9:55 AM Ticket #5665 (Duplicate asm symbols for record fields when TH is used in the module) created by mikhail.vorozhtsov
[…]
9:46 AM Ticket #5664 (Missing checks for FFI declaration types) created by simonmar
A foreign import "wrapper" should have the form f -> IO (FunPtr f), …
9:42 AM SIMD edited by gmainland
(diff)
9:35 AM Changeset in unix [06edcfa]ghc-7.4ghc-7.6ghc-7.8 by Simon Marlow <marlowsd@…>
Fix Solaris breakage (I hope)
5:57 AM Changeset in ghc [e8c8827]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Simon Peyton Jones <simonpj@…>
Remove obslete NOTES file
5:55 AM Changeset in ghc [183ae76c]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Simon Peyton Jones <simonpj@…>
Remove out of date Simon-log
5:50 AM Changeset in ghc [fc21cd19]coercibledata-kind-syntaxghc-7.4ghc-7.6ghc-7.8ghc-lwc2ghc-new-flavorghc-spjlate-lam-liftsupercompilertc-untouchablesth-new-7.6wip/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-new by Simon Peyton Jones <simonpj@…>
Remove out of date new_tc_notes
2:58 AM Ticket #2606 (Backspace, delete, etc. don't work in ghci in HEAD) closed by judahj
invalid: Yes, that is the intended behavior of getLine. One fix to the problem …
2:21 AM Ticket #5663 (integer-gmp passes arguments to __gmpn_gcd_1() in contravention of the ...) created by Irene
I have encountered this issue on GHC HEAD, but it looks like it's been the …
Note: See TracTimeline for information about the timeline view.