Timeline


and

Jul 1, 2013:

4:49 PM Ticket #8028 (Panic on degenerate closed type family) created by monoidal
Creating a degenerate closed type family via TH gives a panic in …
3:50 PM Ticket #8027 (Adding one call to getNumCapabilities triggers performance nose dive (6X ...) created by rrnewton
This is a strange one. I'm in the process of writing an efficient routine …
1:24 PM Ticket #8026 (DatatypeContexts should be fixed, not deprecated) created by gidyn
To borrow an example from the …
12:36 PM Records/OverloadedRecordFields/Plan edited by adamgundry
introducing field names (diff)
12:18 PM Records/OverloadedRecordFields/Plan edited by adamgundry
-XNoRecordSelectorFunctions (diff)
10:17 AM Records/OverloadedRecordFields/Implementation edited by adamgundry
(diff)
9:14 AM Records/OverloadedRecordFields/Plan edited by adamgundry
link to implementation page (diff)
9:12 AM Records/OverloadedRecordFields/Implementation created by adamgundry
8:41 AM Records/OverloadedRecordFields/Plan edited by adamgundry
(diff)
8:35 AM Records/OverloadedRecordFields/Plan edited by adamgundry
tell the latest story (diff)
7:39 AM Records/OverloadedRecordFields/Plan edited by adamgundry
leave dot alone for now (diff)
7:06 AM ReportABug edited by adamgundry
revert spam (diff)
4:13 AM ReportABug edited by justgerrardz
(diff)

Jun 30, 2013:

7:43 PM Ticket #8025 ("During interactive linking, GHCi couldn't find the following symbol" ...) created by mojojojo
Building the included project with […] results in the following …

Jun 29, 2013:

11:32 PM Ticket #8024 (Dynamic linking not working on PowerPC Linux.) created by erikd
With dynamic linking enabled, the first binary compiled by the stage1 …
7:46 AM Ticket #8023 (dph-examples binaries don't use all CPUs) created by Lethalman
Hi, I've run dph-spectral-quicksort 3000000 +RTS -N6 of …

Jun 28, 2013:

10:00 PM Ticket #8022 (Outdated documentation for the -fwarn-lazy-unlifted-bindings warning) created by asr
The section 4.8 of 'The Glorious Glasgow Haskell Compilation System User's …
9:50 PM Ticket #8021 (Multiple constraint classes - the alternative to superclass) created by wvv
This is alternative to SuperClasses? - multiple constraint Classes Now: …
4:44 PM Status/SLPJ-Tickets edited by simonpj
(diff)
4:39 PM Ticket #8020 (Closed type families break substitution) created by goldfire
This code causes a Core Lint error: […] The solution needs to freshen …
4:35 PM Ticket #8019 (Can't match type `1+0` with `1`. (TypeNats addition doesn't reduce)) closed by guest
duplicate
4:32 PM Changeset in ghc [3ab47180]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Richard Eisenberg <eir@…>
Add test case T8018
4:32 PM Changeset in testsuite [43e18428]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Richard Eisenberg <eir@…>
Add test case T8018
4:29 PM Ticket #8018 (GHC hangs with recursive dependency in closed type family) closed by goldfire
fixed
4:28 PM Changeset in ghc [e56b9d59]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 Richard Eisenberg <eir@…>
Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/ghc
4:27 PM Changeset in ghc [fb96f13]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 Richard Eisenberg <eir@…>
Fix Trac #8018. Don't use the zonked-in-the-knot types to create a name for the axiom in a closed type family.
4:14 PM Ticket #8019 (Can't match type `1+0` with `1`. (TypeNats addition doesn't reduce)) created by guest
Here are two examples illustrating my problem: (test2 and test3 produce …
12:13 PM Changeset in ghc [7f658743]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@…>
Merge TcSMonad.matchClass into TcInteract.matchClassInst Just a simple refactoring. There was only one caller, and the intermediate data type was not helping.
12:06 PM Ticket #8018 (GHC hangs with recursive dependency in closed type family) created by goldfire
The following code hangs GHC: […]
10:36 AM NewtypeWrappers edited by simonpj
(diff)
8:55 AM Building/Hacking edited by jacintheford
(diff)
8:39 AM Ticket #7939 (RHS of associated type not kind-checked) closed by goldfire
fixed: Most of the above commit are comments in TcHsType detailing the …
8:35 AM Changeset in ghc [01234ec]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 Richard Eisenberg <eir@…>
Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/ghc
8:34 AM Changeset in ghc [8c5e7346]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 Richard Eisenberg <eir@…>
Fix Trac #7939, and add kind inference to closed type families. Now, all open type families have result kinds that default to *. Top-level type families have all arguments default to *, and associated type families have all arguments that are not mentioned in the class header default to *. Closed type families perform kind inference, but generalize only over those kind variables that are parametric in their use. This is all a little fiddly and specific, but it seems to follow use cases. This commit also includes a large Note [Kind-checking strategies] in TcHsType that helps keep all of this straight.
8:34 AM Changeset in ghc [9b456df4]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 Richard Eisenberg <eir@…>
Fix stale comments around closed type families.
8:34 AM Changeset in ghc [6a25e927]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 Richard Eisenberg <eir@…>
Update user's guide for kind inference for closed type families.
8:06 AM Status/SLPJ-Tickets edited by simonpj
(diff)
7:38 AM NewtypeWrappers edited by simonpj
(diff)

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 …
Note: See TracTimeline for information about the timeline view.