Timeline


and

Jun 27, 2013:

8:58 PM WorkingConventions edited by mnislaih
(diff)
8:57 PM Building/Hacking edited by mnislaih
(diff)
8:39 PM Changeset in ghc [280a7ec]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-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 David Terei <davidterei@…>
Rework LLVM metadata representation to be more accurate.
8:39 PM Changeset in ghc [3b1d920]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-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 David Terei <davidterei@…>
Add ability to call functions with metadata as arguments to LLVM backend.
8:39 PM Changeset in ghc [12148d9]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-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 David Terei <davidterei@…>
Iteration on dterei's metadata design - MetaArgs is not needed, as variables are already meta data - Same goes for MetaVal - its only reason for existing seems to be to support LLVM's strange pretty-printing for meta-data annotations, and I feel that is better to keep the data structure clean and handle it in the pretty-printing instead. - Rename "MetaData" to "MetaAnnot". Meta-data is still meta-data when it is not associated with an expression or statement - for example compile unit data for debugging. I feel the old name was a bit misleading. - Make the renamed MetaAnnot a proper data type instead of a type alias for a pair. - Rename "MetaExpr" constructor to "MetaStruct". As the data is much more like a LLVM structure (not array, as it can contain values). - Fix a warning
8:39 PM Changeset in ghc [99d3922]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-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 David Terei <davidterei@…>
Use SDoc for all LLVM pretty-printing This patch reworks some parts of the LLVM pretty-printing code that were still using Show and String. Now we should be using SDoc and Outputable throughout. Note that many get*Name functions become pp*Name here as a side-effect.
8:39 PM Changeset in ghc [720a87c]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-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 David Terei <davidterei@…>
Extend globals to aliases Also give them a proper constructor - getGlobalVar and getGlobalValue map directly to the accessors.
8:39 PM Changeset in ghc [8f0ecc03]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-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 David Terei <davidterei@…>
Rewrite ppLlvmBlock to use standard library "break"
8:39 PM Changeset in ghc [fa6cbdfb]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-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 David Terei <davidterei@…>
Use full contents size for arrays I am not quite sure at what point it makes sense to look at arrays as pointers, but I ran into at least one use case that strongly suggested doing it this way (calculating the actual size of structures, to be exact).
8:39 PM Changeset in ghc [a948fe8]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-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 David Terei <davidterei@…>
Major Llvm refactoring This combined patch reworks the LLVM backend in a number of ways: 1. Most prominently, we introduce a LlvmM monad carrying the contents of the old LlvmEnv around. This patch completely removes LlvmEnv and refactors towards standard library monad combinators wherever possible. 2. Support for streaming - we can now generate chunks of Llvm for Cmm as it comes in. This might improve our speed. 3. To allow streaming, we need a more flexible way to handle forward references. The solution (getGlobalPtr) unifies LlvmCodeGen.Data and getHsFunc as well. 4. Skip alloca-allocation for registers that are actually never written. LLVM will automatically eliminate these, but output is smaller and friendlier to human eyes this way. 5. We use LlvmM to collect references for llvm.used. This allows places other than cmmProcLlvmGens to generate entries.
8:39 PM Changeset in ghc [fe44d053]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-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 David Terei <davidterei@…>
LLVM refactor cleanups Slightly more documentation, removed unused label map (huh), removed MonadIO instance on LlvmM to improve encapsulation.
8:01 PM Ticket #8017 (Empty instance) closed by monoidal
duplicate: GHC is technically correct: T1 == T1 is an infinite loop, since by …
7:46 PM Ticket #8017 (Empty instance) created by wvv
Progam […] use ghci (Windows XP, 32 bit) […]
3:10 PM Ticket #8016 (case expression with mixed use of Num instances cause spurious overlap ...) created by bscarlet
[…] produces […]
12:28 PM Changeset in ghc [62e48fbc]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Richard Eisenberg <eir@…>
Test kind inference for closed type families/T7939.
12:28 PM Changeset in testsuite [e38279d]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Richard Eisenberg <eir@…>
Test kind inference for closed type families/T7939.
8:44 AM Changeset in ghc [22a2ba0d]th-new-7.6 by Geoffrey Mainland <mainland@…>
Clean up smart constructors for splices.
8:44 AM Changeset in ghc [360c75e]th-new-7.6 by Geoffrey Mainland <mainland@…>
Add support for pattern splices.
8:44 AM Changeset in ghc [82a7ab1c]th-new-7.6 by Geoffrey Mainland <mainland@…>
Add full support for declaration splices. Since declaration splices are now untyped, they can be used anywhere a declaration is valid, including in declaration brackets.
8:44 AM Changeset in ghc [65d8466]th-new-7.6 by Geoffrey Mainland <mainland@…>
Code formatting cleanup.
8:44 AM Changeset in ghc [97a0e63]th-new-7.6 by Geoffrey Mainland <mainland@…>
Allow splices to add additional top-level declarations.
8:44 AM Changeset in ghc [56405e2]th-new-7.6 by Geoffrey Mainland <mainland@…>
Change the types of typed brackets and splices. The essence of this change is that a TExp a now wraps a TH.Exp instead of a TH.ExpQ. This means: * A typed bracket [||...||] now has type Q (TExp tau), where tau is the type of the expression in the bracket. * A typed splice $(...) must contain a value of type Q (TExp tau), and has type tau. Previously, typed brackets had type TExp tau, and typed splices had to contain a value of type TExp tau.
8:44 AM Changeset in ghc [646b6301]th-new-7.6 by Geoffrey Mainland <mainland@…>
Add support for Template Haskell module finalizers. Template Haskell module finalizers are run after a module is type checked.
8:44 AM Changeset in ghc [fdce179]th-new-7.6 by Geoffrey Mainland <mainland@…>
Add support for Template Haskell state.
8:44 AM Changeset in ghc [71a19227]th-new-7.6 by Geoffrey Mainland <mainland@…>
Add syntactic support for typed expression brackets and splices. Right now the syntax for typed expression brackets and splices maps to conventional brackets and splices, i.e., they are not typed.
8:44 AM Changeset in ghc [c1dd142]th-new-7.6 by Geoffrey Mainland <mainland@…>
Add names for TExp type constructor and unType.
8:44 AM Changeset in ghc [4001fea]th-new-7.6 by Geoffrey Mainland <mainland@…>
Differentiate typed and untyped splices and brackets in the abstract syntax.
8:44 AM Changeset in ghc [39cf343]th-new-7.6 by Geoffrey Mainland <mainland@…>
Track the typed/untyped distinction in the current TH stage. Also check for illegal typed/untyped bracket/splice combinations.
8:44 AM Changeset in ghc [5ab6554]th-new-7.6 by Geoffrey Mainland <mainland@…>
Check the staging restriction in the renamer.
8:44 AM Changeset in ghc [262eb16]th-new-7.6 by Geoffrey Mainland <mainland@…>
Track TH stage in the renamer.
8:44 AM Changeset in ghc [e439195]th-new-7.6 by Geoffrey Mainland <mainland@…>
Add support for typed brackets and splices.
8:44 AM Changeset in ghc [b8ca8849]th-new-7.6 by Geoffrey Mainland <mainland@…>
Clean up error context when checking brackets/splices.
8:44 AM Changeset in ghc [212d3f5]th-new-7.6 by Geoffrey Mainland <mainland@…>
Move renamer splice functionality into a separate module. This structure now matches that of the type checker.
8:44 AM Changeset in ghc [32f8519]th-new-7.6 by Geoffrey Mainland <mainland@…>
Consolidate TH renaming.
3:55 AM Building/Hacking edited by jacintheford
(diff)

Jun 26, 2013:

11:34 PM Ticket #8015 (GHC is inconsistent about where LANGUAGE is unsupported.) created by thoughtpolice
Consider the following file: […] We'd expect this error to occur: …
11:06 PM Changeset in base [100c051]data-proxyghc-7.8 by Gabor Greif <ggreif@…>
Catch an illegal pragma and fix a typo
10:23 PM ExposingNewtypeCoercions edited by nomeata
(diff)
10:23 PM NewtypeWrappers edited by nomeata
(diff)
10:21 PM Ticket #8014 (Assertion failure when using multithreading in debug mode.) created by Maxander
Using the -debug compiler option in search of a (hopefully unrelated) bug, …
10:07 PM ExposingNewtypeCoercions created by nomeata
3:02 PM Ticket #8013 (Strange closure type error building hs-kqueue on FreeBSD) created by ahktenzero
Trying to compile hs-kqueue on FreeBSD 9.1 from the port fails with the …

Jun 25, 2013:

1:18 PM Ticket #7989 ("No constructor has all these fields" message can be improved) closed by simonpj
fixed: Thank you! I committed and added some extra comments and a test. Simon
1:16 PM Changeset in ghc [d67b9934]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-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@…>
Improve "No data constructor has all these fields" message (#7989)
1:16 PM Changeset in ghc [a7798e9]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-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@…>
Comments for Trac #7989
1:14 PM Changeset in ghc [fe2397f]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 #7989
1:14 PM Changeset in testsuite [b8749bb]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7989
11:58 AM Changeset in ghc [aa4c36e]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-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
11:55 AM Changeset in nofib [8122aac]ghc-7.8 by Austin Seipp <aseipp@…>
Also fix reverse-compliment and k-nucleotide. Signed-off-by: Austin Seipp <aseipp@pobox.com>
11:42 AM Changeset in nofib [e4bfef7]ghc-7.8 by Austin Seipp <aseipp@…>
Build fasta.c with optimization enabled. The flags are from the shootout. This also avoids a bizarro linking error when CC=clang Signed-off-by: Austin Seipp <aseipp@pobox.com>
11:36 AM Changeset in nofib [e5f54ac]ghc-7.8 by Austin Seipp <aseipp@…>
Use CC for linker when building fasta.c Signed-off-by: Austin Seipp <aseipp@pobox.com>
11:01 AM Ticket #8011 (-ddump-minimal-imports creates incorrect imports for associated types) closed by simonpj
fixed: Actually I found that a further change was needed to allow […] Notice …
10:59 AM Changeset in ghc [8b24aa7]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 #8011
10:59 AM Changeset in testsuite [2d0d426]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #8011
10:58 AM Changeset in ghc [0cb60cee]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-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@…>
Further fixes in RnNames, to make associated type exports work You ought to be able to say module M( C( T, foo ) where class C a where type T a foo :: a -> T a i.e. with T in C's sub-item list. This makes it so.
10:58 AM Changeset in ghc [316e8cb]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-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@…>
Document -XTypeOperators, which had escaped documentation altogether thus far
10:58 AM Changeset in ghc [57284db]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-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@…>
Make noteMustPointToIt true of all non-top-level thunks See Note [GC recovery]. To come: clean-up of StgCmmBind.cgRhs.
8:39 AM Commentary/Compiler/TypeChecker edited by adamgundry
update links to new commentary (diff)
6:43 AM Ticket #8012 (Warn when using Enum instance for Float or Double) created by gidyn
The Enum instances for Float and Double have dubious semantics which cause …

Jun 24, 2013:

10:35 PM Changeset in ghc [e0801a0]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-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 Geoffrey Mainland <gmainlan@…>
Update the package database directory's timestamps when rebuilding the package cache. I was seeing many "WARNING: cache is out of date" errors during validation claiming that my package cache was out of date. This patch eliminates those errors by ensuring that when we rebuild the package cache, the modification time of the directory containing the package database is set to be the same as the modification time of the cache.
5:19 PM Ticket #7995 (module Pretty's "text/str" rule doesn't fire) closed by simonpj
fixed: OK, I've fixed this. I'm not sure it's really worth adding a test but I …
5:17 PM Changeset in ghc [b60461e]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 #7995
5:17 PM Changeset in testsuite [13841d3]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #7995
5:12 PM Ticket #8002 (Type family causing GHC to hang on recompilation) closed by simonpj
fixed: Excellent catch, thank you. Now fixed. The test makes earlier versions of …
5:11 PM Changeset in ghc [57bfe48]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 #8002
5:11 PM Changeset in testsuite [76ae4756]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Test Trac #8002
5:03 PM Changeset in ghc [3df8953]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 perf tests
5:03 PM Changeset in testsuite [3627c93]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Peyton Jones <simonpj@…>
Wibbles to perf tests
3:19 PM Records/OverloadedRecordFields edited by adamgundry
(diff)
12:10 PM Changeset in ghc [e662c62]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-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@…>
Allow associated types as sub-names in an import list (Trac #8011)
12:10 PM Changeset in ghc [e1cdaf3]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-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@…>
White space and ordering only
12:10 PM Changeset in ghc [20667021]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-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@…>
Break loop in interface typechecking (fixes Trac #8002)
12:10 PM Changeset in ghc [59d6942f]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-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@…>
Tidy up the segmentation of mdo expressions When we changed 'rec' to *not* do segmentation of any kind, I did it by meddling with the inner loop of grab in glomSegments. But that is really hard to understand! This patch lifts the test out to the top where is is clear.
12:10 PM Changeset in ghc [d2c3630]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-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@…>
Make sure that Pretty.text is inlined in stage 0, so that RULE text/str gets a chance to fire (Trac #7995). And make sure that Outputable.text is inlined, so that the underlying Pretty.text rule can fire. The thing is that literal strings only turn into unpackCString# in phase 1.
11:52 AM Building/Hacking edited by ulfn
removed spam (diff)
10:38 AM Commentary/Compiler/DataTypes edited by adamgundry
(diff)
9:41 AM ArrowNotation edited by ross
note first change implemented (diff)
9:04 AM NewAxioms edited by goldfire
(diff)
8:54 AM NewAxioms/TemplateHaskell edited by goldfire
(diff)
8:52 AM NewAxioms/ClosedTypeFamilies edited by goldfire
(diff)
8:51 AM NewAxioms/Nonlinearity edited by goldfire
(diff)
8:50 AM NewAxioms edited by goldfire
(diff)
8:38 AM Records/OverloadedRecordFields/Plan edited by adamgundry
(diff)
7:28 AM Ticket #8000 (-ddump-minimal-imports should preserve imports of Prelude when ...) closed by simonpj
fixed: Ah, I see. Happily the fix for #7963 fixes this too, so we are good. …

Jun 23, 2013:

12:18 PM Ticket #7456 (GHC API displays linker messages to stdout instead of via log_action) closed by igloo
fixed: Fixed; thanks for the report.
11:54 AM Changeset in ghc [ed341a2a]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-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@…>
Re-adjust whitespace
11:49 AM Changeset in ghc [f81e14bb]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-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@…>
Allow the GHCi messages to be overridden via the GHC API; fixes #7456 They now go through log_action. The existing severities all used printDoc, which always adds a trailing newline, which we don't want for the GHCi messages. I therefore added a new severity SevInteractive, which doesn't add a newline.
5:59 AM Ticket #8009 (error: 'stg_C_FINALIZER_LIST_info' undeclared (first use in this function)) closed by erikd
fixed: Patch is in gtit HEAD. Since stg_C_FINALIZER_LIST was added after the …
12:16 AM LiterateMarkdown edited by diatchki
(diff)

Jun 22, 2013:

11:59 PM LiterateMarkdown edited by diatchki
(diff)
11:59 PM LiterateMarkdown edited by diatchki
(diff)
11:58 PM LiterateMarkdown edited by diatchki
(diff)
11:57 PM LiterateMarkdown edited by diatchki
(diff)
9:40 PM Ticket #7833 (installed GHC refers to libffi in the build directory) closed by igloo
fixed: Now fixed; thanks for the report!
9:40 PM Ticket #7992 (Wrong invocation of configure script in libffi and integer-gmp) closed by igloo
fixed: Applied; thanks for the patches and diagnosis!
9:31 PM Changeset in ghc [03fbf8ac]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-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 http://darcs.haskell.org/ghc
8:33 PM Changeset in ghc [7be5b44d]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-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 dynlib paths in the RTS too; part of #7833
7:34 PM Changeset in ghc [92f36df4]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-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 the dynmaic library paths in the libs, as well as in the programs Part of #7833
7:23 PM Changeset in ghc [bdc3775]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-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 Geoffrey Mainland <gmainlan@…>
Add a work-around for #7978. This patch fixes profiling at the cost of losing cost centre accounting in a very small number of cases. I am working on a better fix.
5:02 PM Ticket #8011 (-ddump-minimal-imports creates incorrect imports for associated types) created by dsf
If you have a module URL.hs: […] And a module that uses it Tmp.hs: …
3:52 PM Changeset in ghc [499d698]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-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@…>
Run "sh ./configure" rather than "sh configure"; part of #7992 This fixes a bug with how configure re-execs itself.
3:52 PM Changeset in integer-gmp [e5faefb]ghc-7.8wip/T8647 by Ian Lynagh <ian@…>
Run "sh ./configure" rather than "sh configure"; part of #7992 This fixes a bug with how configure re-execs itself.
3:16 PM Changeset in ghc [9ffe7920]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-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@…>
On OS X, fix the path to the libffi dynlib; fixes #7833
2:06 PM Changeset in ghc [3660ef9]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-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 build on OS X
2:05 PM Changeset in base [96bf7db]data-proxyghc-7.8 by Ian Lynagh <ian@…>
Fix build on OS X
12:53 PM Ticket #8005 (Man page shows -help, but only --help is accepted) closed by igloo
fixed: Fixed, thanks
12:53 PM Ticket #8007 (Missing space in `rec` documentation) closed by igloo
fixed: Fixed, thanks
12:50 PM Changeset in ghc [f792ba4d]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-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 http://darcs.haskell.org/ghc
12:32 PM Changeset in ghc [451e0dd8]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-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 syntax in some code in the user guide; fixes #8007
12:24 PM Changeset in ghc [96ca465]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-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@…>
The help flag is --help, not -help; fixes #8005
12:21 PM Changeset in ghc [74a800bc]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-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@…>
Use consistent dashes in the user guide We were using a mixture of "&ndash;&ndash;" and "--". We now consistently use "--", which has the advantage that copy/pasting flags will work.
12:03 PM Changeset in ghc [0cb19bc4]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-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@…>
Remove extra dashes in a flag name in the user guide
12:02 PM Changeset in ghc [ffe2e22c]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-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 Erik de Castro Lopo <erikd@…>
Fix #8009 : Failure to compile on powerpc64-linux. Add definitions for stg_C_FINALIZER_LIST and n_capabilities.
11:11 AM Changeset in ghc [e381543]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdsimdtype-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 HeaderInfo
10:55 AM Ticket #7332 (Kind-defaulting omitted leads to deeply obscure type error) closed by igloo
fixed: It's fixed in the 7.8 branch, but not 7.6.
8:16 AM Ticket #8008 (Pretty numbers (like 1`000`000)) closed by carter
invalid: this requires changes to the haskell grammar and I think that theres no …
5:20 AM Ticket #8010 (Add forkOSUnmasked (patch)) created by joeyadams
This patch simply adds forkOSUnmasked to Control.Concurrent: […] I …
5:15 AM Ticket #8009 (error: 'stg_C_FINALIZER_LIST_info' undeclared (first use in this function)) created by erikd
Building GHC HEAD at 569b2652 on powerpc64 Linux results in: […]
Note: See TracTimeline for information about the timeline view.