Timeline


and

May 28, 2013:

8:34 PM Changeset in nofib [a0d10e4]ghc-7.8 by Ian Lynagh <ian@…>
Don't use -package array everywhere Only use it in benchmarks that use arrays
8:12 PM Changeset in nofib [d2711be]ghc-7.8 by Ian Lynagh <ian@…>
Fix booting again
7:52 PM Changeset in nofib [99351bc]ghc-7.8 by Ian Lynagh <ian@…>
We don't have to override WERROR now that we don't use the GHC build system
7:48 PM Changeset in nofib [730aa6b]ghc-7.8 by Ian Lynagh <ian@…>
Get the value of SplitObjs from the compiler we're using
7:36 PM Changeset in nofib [6e02493]ghc-7.8 by Ian Lynagh <ian@…>
Make the nofib build system independent of the GHC build system
7:31 PM Changeset in nofib [6d9c6d2]ghc-7.8 by Ian Lynagh <ian@…>
Build system: Remove unused DLL_PEN
7:28 PM Changeset in nofib [4a98a31]ghc-7.8 by Ian Lynagh <ian@…>
Remove doc-building support from the build system We don't build any docs in nofib
7:16 PM Changeset in nofib [0d78412]ghc-7.8 by Ian Lynagh <ian@…>
Remove build system code for multiple ways support It looks like it wasn't working anyway.
4:58 PM Changeset in nofib [59add55]ghc-7.8 by Ian Lynagh <ian@…>
Tweak the Makefiles
2:46 PM Changeset in nofib [70672f1]ghc-7.8 by Ian Lynagh <ian@…>
Change how we find a GHC to test We now do something similar to what the testsuite does.
2:27 PM Changeset in ghc [d82a628]overlapping-tyfams by Richard Eisenberg <eir@…>
Code compiles. Now, on to the testsuite. Also, documentation updated.
1:36 PM Changeset in nofib [cb6100f]ghc-7.8 by Ian Lynagh <ian@…>
Update a comment
1:34 PM Changeset in nofib [fbf1841]ghc-7.8 by Ian Lynagh <ian@…>
Remove some unused variables
1:08 PM Changeset in nofib [8b39ff5]ghc-7.8 by Ian Lynagh <ian@…>
Remove USE_NEW_MKDEPEND_FLAGS It was always YES anyway
1:04 PM Ticket #7943 (Malformed record leads to panic) closed by simonpj
fixed: Good point, thank you Simon
1:03 PM Changeset in ghc [3a596be]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 #7943
1:03 PM Changeset in testsuite [d401d27]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7943
12:57 PM Changeset in nofib [301adc7]ghc-7.8 by Ian Lynagh <ian@…>
Remove references to MKDEPENDC It no longer exists
12:14 PM Changeset in ghc [cfb9bee7]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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@…>
Check for illegal syntax in types (fixes Trac #7943)
11:13 AM Changeset in ghc [e8fbb01]overlapping-tyfams by Richard Eisenberg <eir@…>
Fixed interface loading bug, and a few other little changes.
10:17 AM DefaultSuperclassInstances edited by simonpj
(diff)
10:14 AM DefaultSuperclassInstances edited by simonpj
(diff)
10:07 AM DefaultSuperclassInstances edited by simonpj
(diff)
9:53 AM DefaultSuperclassInstances edited by simonpj
(diff)
9:41 AM DefaultSuperclassInstances edited by simonpj
(diff)
9:05 AM Changeset in testsuite [2858b49]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' into overlapping-tyfams
9:04 AM Changeset in ghc [95633a69]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' into overlapping-tyfams
8:50 AM Ticket #7937 (Misleading "Precedence parsing error" when using an undefined operator) closed by simonpj
fixed: Good point. The previous fix (in #2993) avoided a bogus error when the …
8:48 AM Ticket #7931 (Deriving Read of an empty datatype crashes) closed by simonpj
fixed: Good point, thanks. Simon
8:47 AM Ticket #7939 (RHS of associated type not kind-checked) closed by simonpj
fixed: I think the main error was fixed by my improvements to kind …
8:25 AM Changeset in ghc [b94e98a]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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@…>
Print kinds of non-* tyvar binders in pprTyThing This makes the output of :info more useful
8:25 AM Changeset in ghc [efc8ad15]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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@…>
Give 'unboundName' a very low binding precedence This fixes Trac #7937
8:25 AM Changeset in ghc [cf7e2fa]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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@…>
Accept derived Read on an empty data type (Trac #7931)
8:25 AM Changeset in ghc [3d0d8d0]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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@…>
Do not do an ambiguity check on the type in a GHCi ":kind" command Otherwise we get errors for polykinded type families; type family F a :: * Then :k F would give an ambiguity check trying to unify (F k1) with (F k2), which is all a bit stupid. I found this when investigating Trac #7939
8:20 AM Changeset in ghc [02e0df0]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 #7937
8:20 AM Changeset in testsuite [083397f]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7937
7:59 AM Changeset in ghc [0d0c71e]overlapping-tyfams by Richard Eisenberg <eir@…>
Checkpoint. The sources compile, but the libraries don't yet.

May 27, 2013:

11:22 PM Ticket #7943 (Malformed record leads to panic) created by scvalex
The following code makes GHC panic (note the extra String after B): …
9:45 PM Changeset in base [eb5cb1d]data-proxyghc-7.8 by Iavor S. Diatchki <diatchki@…>
Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/packages/base
9:45 PM Changeset in ghc [083a45e] by Iavor S. Diatchki <diatchki@…>
Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/packages/base
9:44 PM Changeset in base [f7fb908]data-proxyghc-7.8 by Iavor S. Diatchki <diatchki@…>
Add code to convert from representation types, to existentially quantified singletons. The basic idea is like this: data SomeSing where SomeSing :: SingI n => Proxy n -> SomeSing toSing :: Integer -> Maybe SomeSing -- Maybe, so that we rejetc -ve numbers The actual implementation is a bit more complicated because `SomeSing` is actually parameterized by a kind, so we really have something akin `SomeSing k`. Also, `toSing` is a bit more general because, depending on the kind, the representation is different. For example, we also support: toSing :: String -> Maybe (SomeSing (KindParam :: KindIs Symbol)) This change relies on the primitive added to the compiler, which converts `Sing` values into `SingI` dictionaries. A nice benefit of this change is that, as far as I can see, we don't need `unsafeSinNat` and friends, so I removed them.
9:44 PM Changeset in ghc [02b9a24] by Iavor S. Diatchki <diatchki@…>
Add code to convert from representation types, to existentially quantified singletons. The basic idea is like this: data SomeSing where SomeSing :: SingI n => Proxy n -> SomeSing toSing :: Integer -> Maybe SomeSing -- Maybe, so that we rejetc -ve numbers The actual implementation is a bit more complicated because `SomeSing` is actually parameterized by a kind, so we really have something akin `SomeSing k`. Also, `toSing` is a bit more general because, depending on the kind, the representation is different. For example, we also support: toSing :: String -> Maybe (SomeSing (KindParam :: KindIs Symbol)) This change relies on the primitive added to the compiler, which converts `Sing` values into `SingI` dictionaries. A nice benefit of this change is that, as far as I can see, we don't need `unsafeSinNat` and friends, so I removed them.
9:04 PM Changeset in ghc [09a8a7fd]overlapping-tyfams by Richard Eisenberg <eir@…>
Checkpoint.
8:37 PM Changeset in ghc [4af50af]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' into overlapping-tyfams
8:33 PM Changeset in ghc [0276b49]overlapping-tyfams by Richard Eisenberg <eir@…>
Checkpoint during compilation.
8:16 PM Changeset in ghc [adc50625]overlapping-tyfams by Richard Eisenberg <eir@…>
Checkpoint. About to compile.
7:13 PM Ticket #7942 (aarch64 support in ghc) created by jcapik
Hello. Please, introduce the aarch64 support in ghc. The latest LLVM …
6:35 PM Ticket #7941 (Running 'make maintainer-clean' doesn't remove all build artefacts) created by jstolarek
Running make maintainer-clean in the build tree doesn't remove all build …
4:33 PM Changeset in ghc [28207fb]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@…>
Explicit kinds in :info command ===> testsuite wibbles
4:33 PM Changeset in testsuite [3152092]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Explicit kinds in :info command ===> testsuite wibbles
4:32 PM Changeset in ghc [302b38b]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 #7931
4:32 PM Changeset in testsuite [1ed0be8]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7931
4:32 PM Changeset in ghc [d90640e7]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 #7939
4:32 PM Changeset in testsuite [254605d]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7939
4:18 PM Ticket #7940 (Building GHC 7.7.20130526 (perf) for Windows x86_64 fails with Cmm lint ...) created by awson
Building GHC 7.7.20130526 for Windows x86_64 fails with the following …
3:20 PM Changeset in ghc [9b8dc72]overlapping-tyfams by Richard Eisenberg <eir@…>
Checkpoint. Working in FamInst on newFamInst.
9:45 AM Ticket #7939 (RHS of associated type not kind-checked) created by goldfire
The following code compiles without complaint: […] We can see here …
9:41 AM Ticket #7938 (Unbound kind variable can appear in RHS of associated type) created by goldfire
Consider the following code: […] The kind variable k2 appears …
8:34 AM Changeset in ghc [3358270]overlapping-tyfams by Richard Eisenberg <eir@…>
Checkpoint, working on RnSource
4:47 AM Ticket #7904 (GHC calls the cc1 of a gcc thats not the first in PATH) closed by carter
invalid: after much much digging, looks like its a cabal side problem
1:13 AM Ticket #7937 (Misleading "Precedence parsing error" when using an undefined operator) created by ktvoelker
I was using QuickCheck? and wrote something like this: a > 0 ==> a == b …

May 26, 2013:

8:38 PM Ticket #7936 (newStdGen leaks memory when result is not used) created by ryantrinkle
When newStdGen is invoked repeatedly without making any use of the …
8:32 PM Ticket #7729 (GHC panics. Invalid core) closed by simonpj
fixed: OK, thanks for checking! Simon
7:00 PM Ticket #7935 (Syntactic sugar for comonads) created by wvv
It could be useful to have this as extension. More details: …
5:53 PM Ticket #7929 (-pgma and -pgmc flags dont work as expected on mac) closed by igloo
invalid: Aha, thanks for your diagnosis work. However, it looks like the problem …

May 25, 2013:

10:42 PM Changeset in ghc [2ea79ab]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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@…>
Revert "Fix -dynamic-too on Windows" This reverts commit 5734f7afcc2b9acf857f8e0f745185bf01b91148. It didn't fully fix -dynamic-too on Windows
10:42 PM Changeset in ghc [20d8e8c]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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@…>
Don't try to use -dynamic-too on Windows It doesn't work
10:37 PM Ticket #7934 (usleep hangs, no threads) created by gelisam
import System.Posix.Unistd main = flip mapM_ [0..] $ \i -> do …
6:17 PM Changeset in ghc [6f36790b]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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 an echo target to the build system
1:15 PM Ticket #7933 (JavaScript Cmm backend) created by bosu
I'd like to RFC on the attached patch implementing JavaScript Cmm backend …
10:27 AM Ticket #7929 (-pgma and -pgmc flags dont work as expected on mac) closed by igloo
worksforme: If you pass GHC the -v flag, then you can see what commands it's running, …
10:20 AM Ticket #7922 (adding direct *.c -> object code (*.o/so/dylib) support to compilation ...) closed by igloo
wontfix: I think you're saying that Cabal doesn't tell GHC to use the cc-options
10:12 AM Ticket #7932 (haskell-src-exts should depend on happy) closed by igloo
invalid: Thanks for the report, but this is not a bug in GHC, so I'm closing this …
4:09 AM Ticket #7932 (haskell-src-exts should depend on happy) created by JasonGross
cabal-dev install haskell-src-exts-1.13.5 fails with a missing happy: $ …

May 24, 2013:

10:58 PM Changeset in ghc [41365ae]overlapping-tyfams by Richard Eisenberg <eir@…>
Checkpoint, working on RnSource.lhs to add renaming of type space specifier.
10:33 PM Changeset in testsuite [198b2b8]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' into overlapping-tyfams
10:33 PM Changeset in testsuite [50f37e9]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge commit '80cac9' into overlapping-tyfams
10:33 PM Changeset in testsuite [75b94f9]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert ""Merged" master in advanced of implementing the new "Good"" This reverts commit 5ce0666058f1010cf94b14dde7f2985e10a3eb64.
10:25 PM Changeset in ghc [3e7a6815]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'master' into overlapping-tyfams
10:20 PM Changeset in ghc [835b26f]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge commit '8366792' into overlapping-tyfams
10:17 PM Changeset in ghc [68db35e9]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert ""Merged" master, in advance of implementing the new "Good"" This reverts commit 8d890e0e2af839a8a8dc3b360727cffe76372830.
10:17 PM Changeset in ghc [a405f3f1]overlapping-tyfams by Richard Eisenberg <eir@…>
Revert "Checkpoint, working on RnSource.lhs to add renaming of type space specifier." This reverts commit de517abfc031fa3cb116af0bb63af98f3972f621.
5:05 PM Ticket #7931 (Deriving Read of an empty datatype crashes) created by monoidal
Standalone deriving Read of an empty datatype crashes: […] […] …
4:26 PM Ticket #7930 (Nested STM Invariants are lost) created by fryguybob
Invariants from a successful nested transaction should be merged with the …
4:01 PM Changeset in ghc [de517abf]overlapping-tyfams by Richard Eisenberg <eir@…>
Checkpoint, working on RnSource.lhs to add renaming of type space specifier.
1:19 PM Changeset in testsuite [5ce0666]overlapping-tyfams by Richard Eisenberg <eir@…>
"Merged" master in advanced of implementing the new "Good"
1:15 PM Changeset in ghc [8d890e0]overlapping-tyfams by Richard Eisenberg <eir@…>
"Merged" master, in advance of implementing the new "Good"
10:13 AM Changeset in ghc [dcafadf]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@…>
Improve test T7916
10:13 AM Changeset in testsuite [1a3766b]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Improve test T7916
9:48 AM Changeset in ghc [d8dd3cf9]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdoverlapping-tyfamssimdth-newtype-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 Marlow <marlowsd@…>
Fix crash with large objects (#7919) See comments for details.
8:04 AM Ticket #7927 (Error in 'lift' line causes the 'impossible' to happen) closed by simonpj
duplicate: Yes I think it's a dup of some combination of #7920, #7905, #7696, #7513. …
4:34 AM Ticket #7929 (-pgma and -pgmc flags dont work as expected on mac) created by carter
This is a bug report version of a related ticket. As I discuss in …
1:00 AM Ticket #7928 (GHC fails to terminate while compiling with optimization level 2) created by Ptharien's Flame
When I try to compile random-fu-0.2.4.0 from Hackage, using the command: …

May 23, 2013:

11:13 PM Ticket #7927 (Error in 'lift' line causes the 'impossible' to happen) created by MitchellSalad
[…] This code caused the following output from GHC: […] The line …
8:27 PM Ticket #7922 (adding direct *.c -> object code (*.o/so/dylib) support to compilation ...) closed by igloo
wontfix: I'm a little confused by some of the details in the history of this …
5:14 PM Changeset in ghc [ca78233]ghc-lwc2 by KC Sivaramakrishnan <chandras@…>
If the upcall thread is killed, RTS Schedule loop raises exception. Sanitized comments.
Note: See TracTimeline for information about the timeline view.