Timeline


and

Aug 5, 2013:

4:58 PM Records/OverloadedRecordFields/Implementation edited by adamgundry
type-changing update (diff)
4:28 PM Changeset in ghc [9082111d]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdtype-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@…>
Added support for writing and checking closed type families is hs-boot files. As documented in the users' guide, you can now write type family Foo a where .. in a hs-boot file to declare an abstract closed type family.
4:26 PM Changeset in ghc [902cf01b]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Richard Eisenberg <eir@…>
Added test cases for closed type families in .hs-boot files.
4:26 PM Changeset in testsuite [9ba44e3]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Richard Eisenberg <eir@…>
Added test cases for closed type families in .hs-boot files.
11:04 AM Internships/JanStolarek edited by jstolarek
(diff)
10:33 AM Changeset in ghc [334131b]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdtype-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@…>
.gitignore : Add libffi-tarballs.
9:34 AM Changeset in ghc [cda50541]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdtype-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@…>
mk/config.mk.in : Add powerpc-unknown-linux to NoSharedLibsPlatformList. Dynamic libraries on powerpc linux are currently broken. See: http://hackage.haskell.org/trac/ghc/ticket/8024
1:23 AM Changeset in ghc [968998e]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdtype-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@…>
sync-all : Warn on 'pull' operation if not on master branch.
12:04 AM Ticket #8115 (GHC 64-bit Windows build failures with LLVM) created by schyler
When using LLVM 2.9, 3.1 or 3.4svn on Windows with the 64-bit GHC from the …

Aug 4, 2013:

5:38 PM Ticket #8114 (GHC panic when building `thyme`) created by Ptharien's Flame
While attempting to build thyme from Hackage with core, stg, and cmm …
4:36 PM Ticket #7938 (Unbound kind variable can appear in RHS of associated type) closed by goldfire
fixed: Ack. I got caught in the same misunderstanding about return kinds as …
4:33 PM Changeset in ghc [fd20b87]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Richard Eisenberg <eir@…>
Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/testsuite
4:33 PM Changeset in testsuite [ccc29fb]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Richard Eisenberg <eir@…>
Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/testsuite
4:32 PM Changeset in ghc [a3a99eb]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 for #7938.
4:32 PM Changeset in testsuite [54a9631]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Richard Eisenberg <eir@…>
Add test case for #7938.
4:24 PM Changeset in ghc [733b6eea]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Richard Eisenberg <eir@…>
Wibbles to output from refactoring datacon code
4:24 PM Changeset in testsuite [51e1b8b]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Richard Eisenberg <eir@…>
Wibbles to output from refactoring datacon code
3:45 PM Changeset in ghc [3cd1360]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdtype-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@…>
Refactor checking for GADT-like datacons' return types This check is somewhat subtle. See Note [Checking GADT return types] in TcTyClsDecls. The new plan is to check *before* desugaring the type from HsType to Type. This avoids problems with the pattern-match in rejigConRes. As a nice side benefit to this, I discovered that Template Haskell splices were a little conservative in their treatment of valid data constructors. (For example, a kind signature in the return type caused failure.) Now, the TH code uses exactly the same function as the "real" code, which is nice. See hsTyGetAppHead_maybe in HsTypes.

Aug 3, 2013:

8:06 PM Ticket #8111 (Kinds as "I don't care" type variables) closed by wvv
invalid
5:12 PM Ticket #8113 (Cannot override ghci builtin commands with :def[!]) created by duncan
In cabal we have a feature called "cabal repl" where it loads ghci with …
10:01 AM Ticket #8112 (Kinds as "I don't care" type variables) closed by wvv
invalid
10:00 AM Ticket #8112 (Kinds as "I don't care" type variables) created by wvv
Let's allow to use kinds as "I don't care"/"it doesn't matter" type …
10:00 AM Ticket #8111 (Kinds as "I don't care" type variables) created by wvv
Let's allow to use kinds as "I don't care"/"it doesn't matter" type …

Aug 2, 2013:

10:15 PM Ticket #8110 (Off-by-one error in FastString.getFastStringTable) created by parcs
There is an off-by-one-error in FastString.getFastStringTable that …
3:06 PM Ticket #7148 (generalized newtype and type families is unsound) closed by goldfire
fixed
3:06 PM Ticket #1496 (Newtypes and type families combine to produce inconsistent FC(X) axiom ...) closed by goldfire
fixed: A long-standing bug finally put to rest.
3:05 PM Ticket #4846 (Newtype derving used wrongly) closed by goldfire
fixed
2:59 PM Records/OverloadedRecordFields/Implementation edited by adamgundry
tests (diff)
2:59 PM Changeset in ghc [40cd71a9]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Richard Eisenberg <eir@…>
Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/testsuite
2:59 PM Changeset in testsuite [37806fb]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Richard Eisenberg <eir@…>
Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/testsuite
2:52 PM Changeset in base [ab9e8e3]ghc-7.8 by Richard Eisenberg <eir@…>
Mark the roles of Ptr and FunPtr as R, not P!
2:50 PM Changeset in ghc [929155fa]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 tests for roles. Many of the files modified are just wibbles to output, because now tycons have roles attached to them, which are produced in the debugging dumps.
2:50 PM Changeset in testsuite [3711f76]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Richard Eisenberg <eir@…>
Add tests for roles. Many of the files modified are just wibbles to output, because now tycons have roles attached to them, which are produced in the debugging dumps.
2:47 PM Changeset in ghc [e8aa8ccb]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdtype-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@…>
Implement "roles" into GHC. Roles are a solution to the GeneralizedNewtypeDeriving type-safety problem. Roles were first described in the "Generative type abstraction" paper, by Stephanie Weirich, Dimitrios Vytiniotis, Simon PJ, and Steve Zdancewic. The implementation is a little different than that paper. For a quick primer, check out Note [Roles] in Coercion. Also see http://ghc.haskell.org/trac/ghc/wiki/Roles and http://ghc.haskell.org/trac/ghc/wiki/RolesImplementation For a more formal treatment, check out docs/core-spec/core-spec.pdf. This fixes Trac #1496, #4846, #7148.
2:46 PM Changeset in ghc [303d3de]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdtype-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 to Cabal to allow RoleAnnotations
11:58 AM Ticket #8020 (Closed type families break substitution) closed by goldfire
fixed
11:56 AM Changeset in ghc [65a5305]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 new test for #8020.
11:56 AM Changeset in testsuite [ccd0054]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Richard Eisenberg <eir@…>
Add new test for #8020.
10:33 AM Changeset in ghc [bd0ab6c]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdtype-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 #8020. The solution is to use a different notion of apartness. See http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/axioms-extended.pdf for the gory details. Some comments are also in Notes [Compatibility] and [Apartness] in FamInstEnv.
9:35 AM Records/OverloadedRecordFields/Implementation edited by adamgundry
GADT record updates make my brain hurt (diff)
9:25 AM Internships/JanStolarek edited by jstolarek
(diff)
2:47 AM Status/SLPJ-Tickets edited by simonpj
(diff)

Aug 1, 2013:

11:03 PM Ticket #8109 (Type family patterns should support as-patterns.) created by carlhowells
I recently wrote code similar to the following: […] There were …
9:58 PM Ticket #8108 (getGroupEntryForID segfaults in multi-threaded applications) created by redneb
The following program […] segfaults when executed after less than a …
6:09 PM Ticket #7881 (Warning for pointless ranges like [5..2]) closed by igloo
fixed: Thanks for the suggestion; now done.
6:00 PM Records/OverloadedRecordFields/Implementation edited by adamgundry
future considerations (diff)
5:58 PM Ticket #8107 (need types to express constant argument for primop correctness) created by carter
(not sure if this is a bug or a feature request, or a task, or a dialogue, …
5:11 PM Changeset in ghc [5207c0ff]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Add a test for #7881
5:11 PM Changeset in testsuite [73ce7b1]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Add a test for #7881
5:08 PM Changeset in ghc [abb3a9fa]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdtype-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 a warning for empty enumerations; fixes #7881 We now give a warning about enumerations like [5 .. 3] :: Int8.
4:10 PM Records/OverloadedRecordFields/Implementation edited by adamgundry
GADT record updates (diff)
3:18 PM Records/OverloadedRecordFields/Implementation edited by adamgundry
simple update is now supported (diff)
2:53 PM Changeset in ghc [02b7c1c8]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdtype-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 -XNegativeLiterals to the flag list
1:33 PM Ticket #8106 (Confusing parse error for missing do keyword) closed by monoidal
fixed: In HEAD you get […] (see also #3746).
11:49 AM Roles edited by goldfire
(diff)

Jul 31, 2013:

10:54 PM Changeset in ghc [ffd7da35]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdtype-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@…>
Document the Negative Literals extension
8:49 PM Ticket #8106 (Confusing parse error for missing do keyword) created by mhitza
[…] This piece of code is missing the do keyword before the block, …
8:08 PM Ticket #8105 (unhelpful error message PolyKinds + GADTs) closed by goldfire
invalid: I would say that GHC's behavior there is correct. The GADT-syntax …
7:13 PM Ticket #7895 (Warning for literal overflow) closed by igloo
fixed: Thanks for the suggestion; now done.
7:02 PM Changeset in ghc [f70e79a]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Add NegativeLiterals to T4437
7:02 PM Changeset in testsuite [b0a2ae5]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Add NegativeLiterals to T4437
7:02 PM Changeset in ghc [e63fd2a]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Ian Lynagh <ian@…>
Add a test for T7895 (literal overflow)
7:02 PM Changeset in testsuite [696047f]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Ian Lynagh <ian@…>
Add a test for T7895 (literal overflow)
6:42 PM Changeset in ghc [ef73963]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdtype-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 NegativeLiterals extension I'd been meaning to do this for some time, but finally got around to it due to the overflowing literals warning. With that enabled, we were getting a warning for -128 :: Int8 as that is parsed as negate (fromInteger 128) which just happens to do the right thing, as negate (fromInteger 128) = negate (-128) = -128
6:05 PM Ticket #8105 (unhelpful error message PolyKinds + GADTs) created by wvv
For […] we have next right error: […] but for same GADTs data we …
5:52 PM Changeset in base [62d49c1]ghc-7.8 by Ian Lynagh <ian@…>
We need NegativeLiterals for GHC.Int or we get warnings
5:35 PM Changeset in base [51ad1c6]ghc-7.8 by Richard Eisenberg <eir@…>
Add asProxyTypeOf and Trustworthy pragma to Data.Proxy
5:26 PM WorkingConventions/BugTracker edited by simonpj
(diff)
4:36 PM Internships/JanStolarek edited by jstolarek
(diff)
4:33 PM Internships/JanStolarek edited by jstolarek
(diff)
4:30 PM Changeset in ghc [4e7eb3a]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdtype-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 a warning for overflowing literals; fixes #7895
4:12 PM Internships/JanStolarek edited by jstolarek
(diff)
3:50 PM Changeset in ghc [b74c73b8]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdtype-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 deSugar/MatchLit.lhs
2:00 PM Records/OverloadedRecordFields/Implementation edited by adamgundry
worrying about dfunids (diff)
11:43 AM Ticket #7116 (Missing optimisation: strength reduction of floating-point multiplication) closed by jstolarek
fixed: I pushed fix into HEAD. Really sorry about the merge commit - the moment …
11:37 AM Changeset in ghc [50902887]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdtype-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 Jan Stolarek <jan.stolarek@…>
Merge branch 'master' of ssh://darcs.haskell.org/srv/darcs/ghc
11:07 AM Changeset in ghc [4d7c6d0]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdtype-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
10:48 AM Changeset in ghc [94378112]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Jan Stolarek <jan.stolarek@…>
Test for #7116 (strength reduction)
10:48 AM Changeset in testsuite [fc49652]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Jan Stolarek <jan.stolarek@…>
Test for #7116 (strength reduction)
10:03 AM Changeset in ghc [838e2fd]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdtype-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 Jan Stolarek <jan.stolarek@…>
Add strength reduction rules (Fixes #7116) This patch adds rules for converting floating point multiplication of the form 2.0 * x and x * 2.0 into addition x + x.
8:46 AM Changeset in ghc [0a3663b]atomicsbetter-ho-cardinalitycoercibledata-kind-syntaxdecision-procedureghc-7.8ghc-lwc2ghc-parmake-gsoclate-dmdtype-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@…>
Added operational semantics to docs/core-spec.
1:49 AM Records/OverloadedRecordFields edited by ntc2
Link to response to some issues raised in the Record Updates section. (diff)
Note: See TracTimeline for information about the timeline view.