Timeline


and

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]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf 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]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf 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/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/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/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/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/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/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.

May 22, 2013:

10:42 PM Ticket #7926 (eventfd: unsupported operation when doing anything) created by guest
I'm using Debian jessie; sources.list is thus: {{{deb …
9:10 PM Ticket #7925 (ghc 7.4.2 builds with errors on Red Had Enterprise Linux 6) created by nr
GHC 7.4.2 builds on RHEL 6, but with three test failures. None of these …
7:48 PM Ticket #7924 (throwIO gets subsumed by a later imprecise exception) closed by simonpj
worksforme: It works for me with 7.4.2, oddly. Compiling with -O I get the "Boom" …
7:42 PM Changeset in ghc [c1d4cd7e]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7924
7:42 PM Changeset in testsuite [6b30a32]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7924
5:10 PM Ticket #7916 (PolyKinds without type signatures) closed by simonpj
fixed: This patch is important too: […]
4:45 PM Changeset in ghc [78618d4]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compat by Simon Peyton Jones <simonpj@…>
Test Trac #7916
4:45 PM Changeset in testsuite [91d5c4d]atomicsdata-kind-syntaxoverlapping-tyfamsth-newtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7916
4:44 PM Changeset in ghc [09b025e]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Wibbles to yesterday's "Simplify kind generalisation" patch In particular, in mkExport we must quantify over the kind variables mentioned in the kinds of the free type variables
4:44 PM Changeset in ghc [b80fcce]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/T9016wip/ampwip/cbv-conv-thunkwip/common-contextwip/coveritywip/cpr-vs-jpwip/drop-containers-dep-from-thwip/exprAritywip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-new by Simon Peyton Jones <simonpj@…>
Comment typo
1:40 PM Ticket #7924 (throwIO gets subsumed by a later imprecise exception) created by dmwit
The code below exits with exception "Boom" when compiled with no options …
1:07 PM Ticket #7913 (Argument order not preserved by nubBy) closed by igloo
duplicate: This is a duplicate of #2528, which also has some explanation of why …
12:19 AM Changeset in base [165f490]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Merge branch 'master' of http://darcs.haskell.org/packages/base
12:19 AM Changeset in ghc [8abb62b]wip/T9016wip/ampwip/coveritywip/drop-containers-dep-from-thwip/orf by Ian Lynagh <ian@…>
Merge branch 'master' of http://darcs.haskell.org/packages/base
Note: See TracTimeline for information about the timeline view.