Timeline


and

May 29, 2013:

9:24 PM Ticket #7952 (Can cost-centre annotations be included in -ddump-simpl?) created by nr
I'm trying to diagnose an allocation problem. I'm using both explicit …
8:19 PM Records/OverloadedRecordFields/Plan created by adamgundry
6:28 PM Ticket #7951 (Haskell Platform doesn't build on Fedora 17) created by photex
I'm unable to build the latest haskell platform using GHC 7.6.3 (built …
6:28 PM Ticket #7950 (Haskell Platform doesn't build on Fedora 17) created by photex
I'm unable to build the latest haskell platform using GHC 7.6.3 (built …
6:27 PM Ticket #7949 (Haskell Platform doesn't build on Fedora 17) created by photex
I'm unable to build the latest haskell platform using GHC 7.6.3 (built …
5:41 PM Ticket #7948 (hp2ps --help typo) created by nomeata
Says       -c  colour ouput instead of       -c  colour output Patch …
3:02 PM Ticket #7947 (Name conflict with DerivingDataTypeable, StandaloneDeriving and qualified ...) created by a.ulrich
The bug is triggered by the following minimal example. Types A.A and B.B …
2:38 PM NewAxioms edited by goldfire
(diff)
2:38 PM NewAxioms edited by goldfire
(diff)
2:36 PM NewAxioms/TypeSpaces created by goldfire
2:31 PM NewAxioms/CoincidentOverlap edited by goldfire
(diff)
2:28 PM NewAxioms/Nonlinearity edited by goldfire
(diff)
2:14 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
2:02 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
2:00 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
1:58 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
1:57 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
1:49 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
1:47 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
1:46 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
1:46 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
1:43 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
1:40 PM NewAxioms/Nonlinearity edited by simonpj
(diff)
1:23 PM NewAxioms/CoincidentOverlap edited by goldfire
(diff)
1:12 PM NewAxioms/Nonlinearity edited by goldfire
(diff)
12:59 PM NewAxioms/CoincidentOverlap edited by goldfire
(diff)
12:44 PM NewAxioms/Nonlinearity edited by goldfire
(diff)
12:43 PM NewAxioms/Nonlinearity edited by goldfire
(diff)
12:42 PM NewAxioms/Nonlinearity edited by goldfire
(diff)
11:42 AM NewAxioms/Nonlinearity created by goldfire
11:28 AM NewAxioms edited by goldfire
(diff)
8:53 AM Ticket #7946 (Fix ghc-stage2 crash on ARM-linux platform (disable shared libs)) created by kgardas
This patch disables shared libs support on arm-unknown-linux platform. It …
8:49 AM Ticket #7945 (Fix build on platform which does not support shared libraries.) created by kgardas
The problem with current HEAD is that DYNAMIC_GHC_PROGRAMS = YES even if …
8:13 AM Changeset in testsuite [34a7f7b]overlapping-tyfams by Richard Eisenberg <eir@…>
Merge branch 'overlapping-tyfams' of ssh://github.com/goldfirere/testsuite into overlapping-tyfams
8:12 AM Changeset in testsuite [50bfe9a]overlapping-tyfams by Richard Eisenberg <eir@…>
Fix test case to reflect banning nonlinear standalone instances.
4:49 AM Ticket #7944 (GHC goes into an apparently infinite loop at -O2) created by bos
I ran across a peculiar case this evening: a benchmark that I can't …

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.
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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon 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]coercibledata-kind-syntaxghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Simon Peyton Jones <simonpj@…>
Check for illegal syntax in types (fixes Trac #7943)
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
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]coercibledata-kind-syntaxghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Simon 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]coercibledata-kind-syntaxghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Simon Peyton Jones <simonpj@…>
Give 'unboundName' a very low binding precedence This fixes Trac #7937
8:25 AM Changeset in ghc [cf7e2fa]coercibledata-kind-syntaxghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Simon Peyton Jones <simonpj@…>
Accept derived Read on an empty data type (Trac #7931)
8:25 AM Changeset in ghc [3d0d8d0]coercibledata-kind-syntaxghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Simon 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon 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

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/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonymswip/travis 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/T8959wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/orfwip/pattern-synonymswip/travis 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.
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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon 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/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon 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 …
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 …
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]coercibledata-kind-syntaxghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Ian Lynagh <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]coercibledata-kind-syntaxghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Ian Lynagh <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]coercibledata-kind-syntaxghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Ian Lynagh <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: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.
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 …
1:19 PM Changeset in testsuite [5ce0666]overlapping-tyfams by Richard Eisenberg <eir@…>
"Merged" master in advanced of implementing the new "Good"
10:13 AM Changeset in ghc [dcafadf]ghc-7.8wip/T8545-ghc-7.8wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/ermsbwip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/travis by Simon 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]coercibledata-kind-syntaxghc-7.8ghc-lwc2wip/T8545-ghc-7.8wip/T8592wip/T8776wip/T8959wip/T8995-level-generalisationwip/T9023wip/T9136wip/ampwip/cbv-conv-thunkwip/common-contextwip/ermsbwip/exprAritywip/ext-solverwip/generics-propeqwip/nested-cprwip/orfwip/pattern-synonymswip/recurs-compatwip/simdwip/th-newwip/travis by Simon Marlow <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: …
Note: See TracTimeline for information about the timeline view.