Timeline


and

Jul 3, 2013:

11:23 PM Changeset in ghc [163de258]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 Nicolas Frisby <nicolas.frisby@…>
include FastString.string_table in CoreMonad.reinitializeGlobals
9:10 PM Ticket #8035 (STM transaction left open if there is an orElse on the path between ...) created by errge
[…] This program crashes with a segmentation fault. Tested with GHC …
8:56 PM Changeset in ghc [a5b7ee5f]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@…>
Comment out a leftover pprTrace
5:01 PM Ticket #1593 (Improve runInteractiveProcess error message when working directory does ...) closed by igloo
fixed: Yes; we now get: […]
3:27 PM Ticket #7940 (Building GHC 7.7.20130526 (perf) for Windows x86_64 fails with Cmm lint ...) closed by igloo
fixed: thoughtpolice, thanks for the diagnosis. Fixed by the above patch.
2:16 PM Changeset in ghc [5564980b] by Jan Stolarek <jan.stolarek@…>
Comparison primops return Int# (Fixes #6135) For a deatiled discussion of this changes please visit the wiki page: http://hackage.haskell.org/trac/ghc/wiki/PrimBool
12:59 PM Changeset in ghc [606ec0a1]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
11:13 AM Changeset in ghc [c548fec4]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@…>
Change the ranlib detection On Windows, the ranlib in the path may not be the right ranlib (it may be the 32bit ranlib when we are making a Win64 compiler, or vice-versa). Therefore we can't leave it up to libffi to detect the right ranlib, but need to tell it which ranlib to use. This means that we need to find ranlib even if we don't actually need it ourselves.
7:58 AM NewtypeWrappers edited by nomeata
(diff)
7:53 AM Ticket #8034 (Missing ambiguity test for class methods) created by simonpj
If you write […] then foo is rejected as having an ambiguous type. …
2:26 AM Ticket #8033 (add AVX register support to llvm calling convention) created by carter
GHC HEAD currently has support for SSE 128bit registers (XMM), and it …
12:31 AM Ticket #8032 (Worker-wrapper transform and NOINLINE trigger bad reboxing behavior) created by ezyang
(Note: I've updated the ticket with a simpler test-case). NOINLINE and …

Jul 2, 2013:

11:13 PM Changeset in ghc [0193f91] by Ian Lynagh <ian@…>
Follow GHC build system changes
11:13 PM Changeset in integer-gmp [fd3a33d]ghc-7.8wip/T8647 by Ian Lynagh <ian@…>
Follow GHC build system changes
10:36 PM Ticket #8031 (Template Haskell gets confused with kind variables introduced in separate ...) created by goldfire
The following file compiles without complaint: […] Note that foo
10:15 PM Changeset in ghc [e40d433] by Richard Eisenberg <eir@…>
Update export list for closed type families
8:46 PM Ticket #8030 (FlexibleContexts PolyKinds Type Families bug) closed by goldfire
invalid: This looks like correct behavior to me. The problem is that the type …
8:36 PM Ticket #8030 (FlexibleContexts PolyKinds Type Families bug) created by wvv
A bug with TypeFamilies? + FlexibleContexts? + PolyKinds? […] This is …
8:31 PM Changeset in ghc [fdc37618]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@…>
Do not build dynamic libraries with the perf-llvm BuildFlavour.
8:28 PM Ticket #8028 (Panic on degenerate closed type family) closed by goldfire
fixed: Thanks for reporting!
8:26 PM Changeset in ghc [a99cd86]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 T8028
8:26 PM Changeset in testsuite [e2ad30b]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Richard Eisenberg <eir@…>
Add test T8028
8:26 PM Changeset in ghc [67aacde]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 #8028. Check for an empty list of equations when converting a closed type family from TH to an HsDecl.
4:30 PM Status/SLPJ-Tickets edited by simonpj
(diff)
4:10 PM Changeset in base [91a7f58]data-proxyghc-7.8 by Simon Marlow <marlowsd@…>
Add a section of documentation about the interaction of threads and finalizers
4:10 PM Changeset in ghc [5e2a5dc] by Simon Marlow <marlowsd@…>
Add a section of documentation about the interaction of threads and finalizers
4:10 PM Changeset in base [6907fa9]data-proxyghc-7.8 by Simon Marlow <marlowsd@…>
fix markup bugs
4:10 PM Changeset in ghc [7827f74d] by Simon Marlow <marlowsd@…>
fix markup bugs
4:06 PM Status/SLPJ-Tickets edited by simonpj
(diff)
3:47 PM Changeset in ghc [448b981]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@…>
Track haskeline Win64 fix
3:47 PM Changeset in process [26be9f2]ghc-7.8 by Ian Lynagh <ian@…>
Fix build on Win64
2:48 PM Changeset in ghc [aec9b2d7]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 bumpTickyLitBy[E] on Win64; fixes #7940 A comment claimed that the ticky counters are unsigned longs, but as far as I can see that isn't the case: They're already word-sized values.
1:59 PM Changeset in ghc [98810fe]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 Win64 gcc thought that fourthFloating could be used without being defined. In actual fact it couldn't, but I've refactored the code so that it can now see this.
11:56 AM Ticket #7979 (./configure script does not properly detect missing header files) closed by igloo
wontfix: There's …
11:16 AM Ticket #7970 (Thread GC frees roots before thread actually finishes) closed by simonmar
fixed
11:14 AM Changeset in ghc [b098a7a]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
Revert "Add test for #7574" This reverts commit abbf27e7922cf15df4c74b502e51f4bc12923215. (committed accidentally, the fix for that ticket isn't ready yet)
11:14 AM Changeset in testsuite [b7f307d]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
Revert "Add test for #7574" This reverts commit abbf27e7922cf15df4c74b502e51f4bc12923215. (committed accidentally, the fix for that ticket isn't ready yet)
11:11 AM Changeset in ghc [1ae72ac]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 Marlow <marlowsd@…>
Fix #7970, #2161, unfix #551 Establish the reachability of threads before weak pointers. Hence a deadlocked thread can keep a weak pointer alive and prevent it from being finalized early. However, an reference from the finalizer of a weak pointer will no longer prevent a thread from being considered deadlocked (#551). To keep the thread alive in that situation you need to use a StablePtr. See comments on #7970 and in the code for more details.
11:08 AM Changeset in ghc [0e3e681e]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
T149 is passing
11:08 AM Changeset in testsuite [6c4e035]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
T149 is passing
10:53 AM Changeset in ghc [e010fa60]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
conc031 now deadlocks, due to fix for #7970 We decided that fixing #7970 is more important.
10:53 AM Changeset in testsuite [4b9cbcd]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
conc031 now deadlocks, due to fix for #7970 We decided that fixing #7970 is more important.
10:50 AM Ticket #2161 (finaliser of a ForeignPtr called while references from unreachable threads ...) closed by simonmar
duplicate: Closing in favour of #7970
10:33 AM Building/Hacking edited by thoughtpolice
Remove spam. (diff)
10:32 AM ReportABug edited by thoughtpolice
Remove spam. (diff)
10:27 AM Changeset in ghc [40e10bd0]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
Add test for #7970
10:27 AM Changeset in testsuite [5bcf82f]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
Add test for #7970
9:56 AM Ticket #8026 (DatatypeContexts should be fixed, not deprecated) closed by simonpj
wontfix: We already have a notation for the "fixed" version: […] Moreover, this …
9:26 AM Changeset in ghc [6297368]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
Add test from #7919
9:26 AM Changeset in ghc [991a6fdd]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Simon Marlow <marlowsd@…>
Add test for #7574
9:26 AM Changeset in testsuite [ffa95dad]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
Add test from #7919
9:26 AM Changeset in testsuite [abbf27e]atomicsdata-kind-syntaxtype-nats-simplewip/nested-cprwip/pattern-synonymswip/th-new by Simon Marlow <marlowsd@…>
Add test for #7574
9:01 AM Ticket #8029 (batch-mode recompilation checking sometimes fails) created by jwlato
The batch-mode recompilation checker seems to be broken. Suppose you have …
4:06 AM ReportABug edited by justgerrardz
(diff)

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