Timeline


and

Apr 8, 2013:

11:48 PM Building/RunningTests/Adding edited by afarmer
Update performance tests section to reflect current test framework … (diff)
11:19 PM Ticket #7824 (problem with vector in arm) created by chemistmail
Hello, i try compile my shoutcast server in raspberrypy and have next …
11:11 PM Ticket #7823 (ARM Thumb relocation fails to handle sign of veneer jumps) created by cjwatson
While working on http://hackage.haskell.org/trac/ghc/ticket/7794 on …
7:36 PM Ticket #7822 (Undeclared errors from CMM files during GHC PPC cross compiler build) closed by igloo
duplicate: Thanks for the report, but actually this is unrelated to …
6:52 PM Ticket #7822 (Undeclared errors from CMM files during GHC PPC cross compiler build) created by matts
I'm getting error: function undeclared errors when the Apply.cmm file is …
6:17 PM Ticket #7812 (Ambiguity check too eager with unconstrained type variable) closed by goldfire
invalid: I have figured out a suitable workaround. Instead of using a type family …
4:45 PM Ticket #7821 (PPC cross-compile impossible happened) created by matts
While trying to build a powerpc targetted GHC cross compiler from current …
4:20 PM Changeset in ghc [d1ad8b7]late-lam-lift by Nicolas Frisby <nicolas.frisby@…>
added -flate-float-singly-SAT-fallback and the corresponding once analysis; now working on precise CG in lam
2:57 PM Ticket #7820 (Installing profiling library BREAKS non-profiling executable) created by rrnewton
I am trying to work through problems with different GHC "ways" so that I …
12:52 PM Ticket #7810 (make show VALUE=VAR depends on ghc-stage1) closed by igloo
wontfix: The problem is that some makefiles are generated during the build: We make …
11:52 AM Ticket #7801 (Change C arithmetic types to integral types.) closed by igloo
wontfix: Thanks for the suggestion, but I think that if we were to make that change …
11:20 AM Ticket #7806 (Dynamic linking and libffi) closed by igloo
fixed: I've filed #7819 for that bug
11:18 AM Ticket #7819 (FreeBSD without system libffi: Shared object "libffi.so.6" not found) created by igloo
In #7806, kazu-yamamoto reported that on FreeBSD without a system libffi: …
1:16 AM Changeset in ghc [c3cd375]late-lam-lift by Nicolas Frisby <nicolas.frisby@…>
simplifications; fixed bug in LNE detection; tracking one shot lambdas; fixed bug in CG-in-lam calculation
12:54 AM Changeset in ghc [9e460664]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
There can be several blocks in a PPC/ELF cmm proc add FETCHPC to all of them (this fixes #7814).

Apr 7, 2013:

11:27 PM Ticket #7818 (Cost of STACK object should be attributed to CCCS at time of thread ...) created by ezyang
Right now, we always charge STACK objects to the SYSTEM cost centre. I …
9:23 PM Ticket #7784 (problems building HEAD dynamic on linux) closed by igloo
fixed: Thanks for the reproduction instructions; fixed.
9:21 PM Ticket #7806 (Dynamic linking and libffi) closed by igloo
fixed: Fixed by #7686 fix
9:19 PM Ticket #7686 (--with-libffi-header=<value> is not propagated to compiler/ghci/LibFFI.hsc ...) closed by igloo
fixed: Applied, thanks!
8:55 PM Changeset in ghc [a443303]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
8:35 PM Changeset in ghc [2e30197]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
Remove tabs (M-x untabify)
8:34 PM Changeset in ghc [8e02c0a5]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
Fix typos
7:59 PM Changeset in ghc [e3abb5a]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Propagate ffi includes to compiler/ghci/LibFFI.hsc (Fixes #7686)
5:57 PM Changeset in ghc [4373e84]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix installation; fixes #7784 The build system thought that $(INSTALL_DYNLIBS) contained things like "terminfo", but actually it contains things like "libraries/terminfo".
3:26 PM Changeset in ghc [99190ba4]late-lam-lift by Nicolas Frisby <nicolas.frisby@…>
enriching the LLF to predict CorePrep floating
12:53 PM Ticket #7780 (GHC HEAD dll fails to build on Windows) closed by igloo
fixed: OK, the package is now safely split in 2, and a check that the split is …
12:18 PM Changeset in ghc [a7b08c0]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
11:28 AM Ticket #7817 (Moving basic functions) created by quchen
1. Add the infixl 4 operator ($>) = flip (<$) to Data.Functor. …
10:39 AM Changeset in ghc [444119f]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Add a check that the Windows DLL split is OK; fixes #7780
12:54 AM Changeset in ghc [d9b57e7]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
Typos

Apr 6, 2013:

6:03 PM Changeset in ghc [8c2f2803]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
5:59 PM Changeset in ghc [93494bd]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Remove a redundant build-system hack We used to have to explicitly pass -lffi when linking the compiler, but it's no longer necessary.
5:59 PM Changeset in ghc [35a341d4]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
Rewrite usingInconsistentPicReg as a table for clarity No change in functionality intended
5:44 PM Changeset in ghc [78544b76]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Build system fix: really print the number of symbols in DLLs
5:31 PM Ticket #7816 ("main function" is not a function) created by monoidal
A module without main gives an error: […] However, main in Haskell is …
4:27 PM Changeset in ghc [c0fb187b]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
Derive instance Eq for CmmNode
4:10 PM Changeset in ghc [872f2c8b]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Whitespace only in Type
4:10 PM Changeset in ghc [5df7cf32]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Detab modules with tabs on 5 lines or fewer
4:10 PM Changeset in ghc [6534c99]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Whitespace only in TysWiredIn
4:10 PM Changeset in ghc [575cb0c]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Split off a InteractiveEvalTypes module to remove an import loop
4:05 PM Commentary/Compiler/CPS edited by heisenbug
escape (diff)
3:56 PM Commentary/PositionIndependentCode edited by heisenbug
add escape (diff)
3:45 PM Changeset in ghc [9a14de48]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Rename the FFI DLL to libffi.dll for consistency
3:45 PM Commentary/Compiler/CPS edited by heisenbug
(diff)
3:42 PM Commentary/Compiler/CPS edited by heisenbug
it is merged (diff)
3:27 PM Changeset in ghc [ba7952b]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
Change the list of modules that are put into a separate DLL on Windows Fixes #7780.
2:46 PM Changeset in ghc [ff59fea]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <igloo@…>
When making a DLL, print the number of symbols that are in it
9:41 AM Changeset in ghc [9b3d4cdd]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Gabor Greif <ggreif@…>
Fix typos

Apr 5, 2013:

5:14 PM Ticket #7815 (STM fails to validate read.) created by fryguybob
This issue was brought up by napping in #haskell with this paste: …
12:46 PM Debugging/CompiledCode edited by heisenbug
there is no -ddump-cmmz any more (diff)
11:44 AM Ticket #7814 (panic in PPC NCG) created by heisenbug
I get panics in the NCG PPC register allocator while compiling these …
7:12 AM Ticket #7813 (Fix mismatched visibility of StgRun) created by PHO
[http://www.haskell.org/pipermail/ghc-devs/2013-April/000932.html From …

Apr 4, 2013:

9:21 PM Changeset in ghc [97ee272f]late-lam-lift by Nicolas Frisby <nicolas.frisby@…>
Merge branch 'late-lambda-float'
9:21 PM Changeset in ghc [60015db]late-lam-lift by Nicolas Frisby <nicolas.frisby@…>
added ticky counters for heap and stack checks
3:29 PM Frisby2013Q1 edited by nfrisby
(diff)
2:43 PM Ticket #7812 (Ambiguity check too eager with unconstrained type variable) created by goldfire
Consider the following code: […] GHC 7.6.1 compiles this code without …
9:31 AM Ticket #7798 (test_bindist reports ".../libffi-6.dll (No such file or directory)") closed by thorkilnaur
fixed: For tn23 and presumably also am-deb7-64, this has been fixed by […] …

Apr 3, 2013:

5:52 PM Ticket #7811 (intermittent 'unexpected' results of test ghcpkg01) created by nfrisby
I get this unexpected error from ghcpkg01 […] when running the full …
5:35 PM Frisby2013Q1 edited by nfrisby
(diff)
5:35 PM Frisby2013Q1 edited by nfrisby
(diff)
5:24 PM Ticket #7805 (Panic: promoteType with higher-rank datatype) closed by simonpj
fixed: Correct, thanks. Simon
5:24 PM Ticket #7804 (Ambiguity check too eager in presence of RankNTypes and TypeFamilies) closed by simonpj
fixed: Quite right! This was trickier than I thought and, as the comment says, …
5:22 PM Changeset in ghc [45e9b6a]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Bump peak-megabytes (always a wobbly number)
5:22 PM Changeset in testsuite [048b9a9]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Bump peak-megabytes (always a wobbly number)
5:21 PM Changeset in ghc [717a1db]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Wibbles to error output
5:21 PM Changeset in testsuite [85e0237]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Wibbles to error output
5:21 PM Changeset in ghc [25fb90d]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7804
5:21 PM Changeset in testsuite [b66d2c7]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7804
5:20 PM Changeset in ghc [b84da61]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Merge branch 'master' of darcs.haskell.org:/home/darcs/ghc
5:20 PM Changeset in ghc [f3bfbd5]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix Trac #7804, about floating equalites We float unsolved equalities from underneath a 'forall', to help solve them, in TcSimplify.floatEqualities. It's regrettably delicate though,as this bug shows. I'm not happy with the new code; but there are copious notes; see Note [Float equalities from under a skolem binding].
5:18 PM Commentary/Compiler/Demand edited by nfrisby
(diff)
4:54 PM Ticket #7810 (make show VALUE=VAR depends on ghc-stage1) created by kgardas
I'm trying to debug some issues in GHC build system and its pretty …
4:18 PM Ticket #7809 (Silly error message suggesting LiberalTypeSynonyms) created by goldfire
The following code (rightly) does not compile: […] The error message …
3:20 PM Ticket #7808 (data families and TH names do not mix well (e.g. cannot use TH deriving)) created by duncan
lots of Haskell libraries have TH functions like: […] (e.g. aeson …
1:38 PM Changeset in ghc [7501a2c]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Fix Trac #7805: don't allow nested foralls in promoted types
1:37 PM Changeset in ghc [1128f1e0]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
This changes fixes a bad error in canonicalisation, concerning kind equality We care careful not to construct a canonical equality whose LHS and RHS have incompatible kinds. (This is one of the invariants of a canonical equality.) See Note [Equalities with incompatible kinds]. However, what I had not dealt with is when LHS and RHS *look* as if they have different kinds, but after zonking they become the same. Bad! (This led to an ASSERT failure in the test for Trac #7176.)
12:30 PM Changeset in ghc [86825d5a]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7805
12:30 PM Changeset in testsuite [9b19867]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7805
12:01 PM Changeset in ghc [9d33fc3]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
In build.mk.sample, include v in GhcLibWays even if DYNAMIC_GHC_PROGRAMS is set Although it's not technically needed, it's less confusing if the vanilla way works when people use the sample build.mk.
11:47 AM Changeset in ghc [6b431ab4]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdlate-lam-liftoverlapping-tyfamssimdth-newticky-for-all-letstype-natstype-nats-simplewip/Cabal-1.20wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8995-level-generalisationwip/cbv-conv-thunkwip/common-contextwip/cpr-vs-jpwip/exprAritywip/nested-cprwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Ian Lynagh <ian@…>
Fix installation The build system thought that the RTS built more library files than it actually did, and installation failed when we tried to 'strip' one of these non-existant files.
6:28 AM Changeset in ghc [9c0dbe3]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Amos Robinson <amos.robinson@…>
SpecConstr infinite specialisation: test for #5550
6:28 AM Changeset in testsuite [7fb4ac4]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Amos Robinson <amos.robinson@…>
SpecConstr infinite specialisation: test for #5550
Note: See TracTimeline for information about the timeline view.