Timeline


and

Nov 20, 2013:

9:08 PM Changeset in process [4425b44]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Minor Haddock markup fix Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
8:57 PM Changeset in process [7710899]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Add `/Since: 1.2.0.0/` annotations to recently added entities ...and update changelog Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
8:34 PM Changeset in process [4c5d7dd]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Drop redundant `{-# ForeignFunctionInterface #-}` ...which is implied by Haskell2010; moreover add missing `BangPatterns` to `other-extensions`. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
8:32 PM Changeset in process [0faf513]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Document spawnProcess and spawnCommand (#2233) Authored-by: Duncan Coutts <duncan@well-typed.com> Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
8:32 PM Changeset in process [ebdb5ae]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Add TODO notes on what should be marked DEPRECATED later We don't want to do it immediately because some of the replacements have not been around for long. There's no hurry, can do it in a release or two. Authored-by: Duncan Coutts <duncan@well-typed.com> Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
8:31 PM Changeset in process [a2c3294]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Reorder code sections to be rather clearer And move the deprecated things (as per #2233) to the end, out of the way. Authored-by: Duncan Coutts <duncan@well-typed.com> Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
8:31 PM Changeset in process [d53196e3]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
API cleanup with new functions and old "soft" deprecated Add callProcess, callCommand, spawnProcess, spawnCommand as per the design in #2233 (but not relying on any of the SIGCHLD stuff). Move the various pre-createProcess functions to a section at the bottom in the Haddock docs. Don't yet mark anything as deprecated. That can come later. Authored-by: Duncan Coutts <duncan@well-typed.com> Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
8:29 PM Changeset in process [3d8f9bb]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Rename runGenProcess_ and leave a deprecated stub At least Cabal was using runGenProcess_, and the previous patches addressing #2301 changed its type already. So this adds a deprecated stub with the original type and the real function gets to have a less odd name. Authored-by: Duncan Coutts <duncan@well-typed.com> Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
8:29 PM Changeset in process [1b1f18b]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Add tests for the delegated control-C handling (#2301) Authored-by: Duncan Coutts <duncan@well-typed.com> Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
8:27 PM Changeset in process [a0467f3]ghc-7.8 by Herbert Valerio Riedel <hvr@…>
Implement delegated control-C handling on Unix (#2301) This is a generalisation of the SIGINT-ignoring that system and rawSystem do, to allow it to be used via the general createProcess. For the gory details of SIGINT handling, see http://www.cons.org/cracauer/sigint.html We implement the 'WCE' method described there. That important feature was only available to system and rawSystem (mirroring the C system() behaviour). These functions are very limited and indeed deprecated, so we need this feature in general. In particular projects like Cabal are suffering because they cannot do this properly (or need horrible workarounds copy and pasting much of System.Process and using System.Process.Internals). The feature is available now via a new delegate_ctlc flag in the CreateProcess options record. The use of signal handlers is still a little hairy, but probably better than before (for situations where there were multiple concurrent calls to system/rawSystem). One thing to note is that waitForProcess and getProcessExitCode can now throw the UserInterrupt exception. This is all documented in the haddock docs (both a short description and also the excruciating details). Authored-by: Duncan Coutts <duncan@well-typed.com> Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
3:48 PM Status/SLPJ-Tickets edited by simonpj
(diff)
9:53 AM Changeset in ghc [a1ca534]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Test cases for context stack overflow one for constraints, one for type families
9:53 AM Changeset in testsuite [5a880de]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Test cases for context stack overflow one for constraints, one for type families
9:39 AM Ticket #8541 (Coercible should be higher-kinded) closed by nomeata
fixed: This has hit master now.
9:20 AM Changeset in ghc [976a108]better-ho-cardinalityghc-7.8wip/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-compat by Joachim Breitner <mail@…>
Make Coercible higher-kinded This implements #8541. The changes are fully straight forward and work nicely for the examples from the ticket; this is mostly due to the existing code not checking for saturation and kindness.
9:20 AM Changeset in ghc [2f7d3d87]better-ho-cardinalityghc-7.8wip/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-compat by Joachim Breitner <mail@…>
Coercible: Do not try to unwrap undersaturated newtypes otherwise we get a panic.
9:20 AM Changeset in ghc [62008092]better-ho-cardinalityghc-7.8wip/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-compat by Joachim Breitner <mail@…>
Explain higher-kinded Coerctions in Note [Coercible Instances] (although there is not really a lot to explain, it seems.)
9:12 AM GitRepoReorganization created by hvr
initial version
9:07 AM Ticket #8545 (Reorganize Git repositories) created by hvr
This is to track the progress for the GitRepoReorganization which is to be …
9:04 AM Ticket #8544 (Auto-Reference ticket-related branches in tickets) created by nomeata
This has two possible implementations (and both are useful and can …
9:01 AM Ticket #8065 (Set trac up for multiple git repos) closed by hvr
fixed: this has been long resolved
8:52 AM Ticket #8543 (`Coercible` ought to work for recursive newtypes) closed by simonpj
duplicate: I think it's better to keep this ticket with #8503, which has all the …
8:39 AM Ticket #8543 (`Coercible` ought to work for recursive newtypes) created by nomeata
The approach (developed by SPJ and me) is to A) Add a feature to the …

Nov 19, 2013:

10:45 PM Changeset in ghc [0346dee9]better-ho-cardinalityghc-7.8wip/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-compat by Herbert Valerio Riedel <hvr@…>
Update `primitive` to upstream's current HEAD This includes a fix to silence a GCC warning which causes validate failures on OSX (see haskell/primitive#4 for more details)
5:22 PM NewtypeWrappers edited by nomeata
Link to note in source code (diff)
2:51 PM Ticket #8542 (Suggest NegativeLiterals) created by monoidal
If we write -128 :: Int8, we get a useful warning (#7895), but it would be …
12:15 PM Changeset in ghc [ea3c659]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Test coercing under under-saturated newtypes
12:15 PM Changeset in testsuite [49a978e]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Test coercing under under-saturated newtypes
12:01 PM Changeset in ghc [a37c6ad]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Test case for undersaturated newtype in Coercions This is related to #8541.
12:01 PM Changeset in testsuite [90554a8]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Test case for undersaturated newtype in Coercions This is related to #8541.
11:48 AM Changeset in ghc [483ff505]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Joachim Breitner <mail@…>
Add examples from #8541 to testsuite
11:48 AM Changeset in testsuite [bbfaff2]wip/nested-cprwip/pattern-synonyms by Joachim Breitner <mail@…>
Add examples from #8541 to testsuite
10:21 AM Ticket #8541 (Coercible should be higher-kinded) created by nomeata
Just discussed with SJP: The Coercible should be higher kinded, and it …
9:04 AM Changeset in ghc [7903476]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Jose Pedro Magalhaes <jpm@…>
Include pairs in this test
9:04 AM Changeset in testsuite [18624e7]wip/nested-cprwip/pattern-synonyms by Jose Pedro Magalhaes <jpm@…>
Include pairs in this test
8:15 AM Changeset in ghc [781a1675]better-ho-cardinalityghc-7.8wip/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-compat by Joachim Breitner <mail@…>
Typos in [CPR for sum types]
7:56 AM Ticket #8534 (DeriveFunctor and PolyKinds) closed by simonpj
fixed: Thanks for identifying this. Simon
7:55 AM Changeset in ghc [e43a4124]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 deriving error messages
7:55 AM Changeset in testsuite [5525a25]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Wibbles to deriving error messages
7:55 AM Changeset in ghc [4642f87]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@…>
Add DeriveDataTypeable (omitted wrongly before)
7:55 AM Changeset in testsuite [ce43f00]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Add DeriveDataTypeable (omitted wrongly before)
7:55 AM Changeset in ghc [ac73a9aa]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 #8534
7:55 AM Changeset in testsuite [7c10d03]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Test Trac #8534
5:10 AM Building/CrossCompiling/iOS edited by lukexi
Added a note about working around "No cabal file found" errors (diff)
5:05 AM Ticket #8540 (Template Haskell handling bug in ghc-7.7.20131115 ?) created by awson
Compiling this: […] ghc-7.7.20131115 crashes with […]

Nov 18, 2013:

9:53 PM Ticket #8539 (Data.Complex shouldn't use default implementation of (**)) created by jjaredsimpson
[…] So Complex uses the default implementation of (**). Then when …
6:11 PM Changeset in ghc [851548d]better-ho-cardinalityghc-7.8wip/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-compat by Simon Peyton Jones <simonpj@…>
Improve the 'deriving' code for polykinded data types Fixes Trac #8534. See Note [Match kinds in deriving] in TcDeriv.
6:09 PM Changeset in ghc [54c5fde]better-ho-cardinalityghc-7.8wip/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-compat by Simon Peyton Jones <simonpj@…>
Fix typo in a836b6, 'Improve orientation' Just a straightforward error, now fixed.
4:33 PM Ticket #8479 (Generic1 crashes with tyConStupidTheta when using associated type families) closed by dreixel
fixed: Fixed in HEAD, thanks.
4:32 PM Ticket #8468 (ghc panic in deriving Generic1 on Array#) closed by dreixel
fixed: Fixed in HEAD, thanks.
4:29 PM Changeset in ghc [3b55ede]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Jose Pedro Magalhaes <jpm@…>
Update output for generics
4:29 PM Changeset in testsuite [eccb982]wip/nested-cprwip/pattern-synonyms by Jose Pedro Magalhaes <jpm@…>
Update output for generics
4:15 PM Changeset in ghc [98d0d81]better-ho-cardinalityghc-7.8wip/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-compat by Jose Pedro Magalhaes <jpm@…>
Generic1 cannot yet be derived for datatypes with tuples with a parameter not in the last position
4:15 PM Changeset in ghc [2c74f989]better-ho-cardinalityghc-7.8wip/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-compat by Jose Pedro Magalhaes <jpm@…>
fixing canDoGenerics1 (fixes #8468) (fixes #8479) Signed-off-by: Jose Pedro Magalhaes <jpm@cs.ox.ac.uk>
3:44 PM Ticket #8212 (ghc panic building vector on architectures w/o GHCi) closed by monoidal
fixed: This should be fixed in HEAD (#7824, #8339, #7504).
3:43 PM Ticket #8203 (Yesod platform fails to build on ARM) closed by monoidal
fixed: This should be fixed in HEAD (#7824, #8339, #7504).
2:55 PM Ticket #8339 (Build fails with panic in vector) closed by trommler
fixed
12:57 PM Changeset in ghc [600b36a1]better-ho-cardinalityghc-7.8wip/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-compat by Krzysztof Gogolewski <krz.gogolewski@…>
Typo
12:55 PM Changeset in ghc [8d2617a2]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Krzysztof Gogolewski <krz.gogolewski@…>
Wibble after typofix
12:55 PM Changeset in testsuite [3e09767]wip/nested-cprwip/pattern-synonyms by Krzysztof Gogolewski <krz.gogolewski@…>
Wibble after typofix
10:53 AM Ticket #8535 (:info (->) doesn't print all relevant instances) closed by simonpj
fixed
10:51 AM Changeset in ghc [cb9a3b38]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 #8535
10:51 AM Changeset in testsuite [404851a]wip/nested-cprwip/pattern-synonyms by Simon Peyton Jones <simonpj@…>
Test Trac #8535
10:48 AM Ticket #6068 (Panic in GHCi when using functional dependencies and promoted kinds) closed by simonpj
fixed: The bug showed up because you ran the testsuite with a compiler built with …
12:11 AM Ticket #5212 (waitForProcess: does not exist (No child processes)) closed by chrisdone
invalid: The reason is because XMonad (and presumably some other library I was …

Nov 17, 2013:

11:42 PM Ticket #8538 (confusing specialization CORE warning, also can't mark type class ...) created by carter
As part of writing an array library for numerical purposes, I have a …
10:53 PM Ticket #8537 (confusing error message for specialize pragma) created by carter
I get the following confusing error/warning about SPECIALIZE […] with …
9:03 PM Building/Using edited by bgamari
Describe re* rules (diff)
1:00 PM Changeset in ghc [a0d5566]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Krzysztof Gogolewski <krz.gogolewski@…>
Wibble
1:00 PM Changeset in testsuite [76deac9]wip/nested-cprwip/pattern-synonyms by Krzysztof Gogolewski <krz.gogolewski@…>
Wibble
12:56 PM Changeset in ghc [71e4950]better-ho-cardinalityghc-7.8wip/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-compat by Krzysztof Gogolewski <krz.gogolewski@…>
Minor change to error message wording One flag is deprecated, other removed
10:13 AM Changeset in ghc [6335c124]better-ho-cardinalityghc-7.8wip/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-compat by Joachim Breitner <mail@…>
Typo: s/LlVM/LlVM/

Nov 16, 2013:

12:17 PM Ticket #8536 (ghc panic on creating data type) closed by monoidal
duplicate: Thanks for the report. It's already fixed in HEAD: #7943.
2:13 AM Ticket #8536 (ghc panic on creating data type) created by xilexio
ghc 7.6.3 (or ghci) from Haskell Platform for Windows panics when …

Nov 15, 2013:

6:49 PM Changeset in ghc [26c9d591]better-ho-cardinalityghc-7.8wip/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-compat by Simon Peyton Jones <simonpj@…>
Include funTyCon in oprhNamesOfType (fixes Trac #8535) Thanks to parcs for identifying both the bug and the right solution.
6:47 PM Changeset in ghc [1e0ef82]better-ho-cardinalityghc-7.8wip/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-compat by Simon Peyton Jones <simonpj@…>
Fix canIrredPred again This follows up the earlier patch to Trac #6068, which I obviously hadn't validated properly.
6:46 PM Changeset in ghc [a836b69c]better-ho-cardinalityghc-7.8wip/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-compat by Simon Peyton Jones <simonpj@…>
Improve orientation I came across some stupid re-orientation, when debugging something else. For example, we were re-orienting t ~ fsk to fsk ~ t where fsk is a flatten *skolem* and t is a meta type varaible. The logic was just wrong.
1:56 PM Changeset in base [f3e5ad3]ghc-7.8 by Duncan Coutts <duncan@…>
Fix up test topHandler03 by ignoring unhelpful shell output Shells! Grrrr. Some shells print out a message if your program terminates with a signal. In the case of topHandler03 which deliberately exits with signal 15 SIGTERM, some shells were printing "Terminated" to stdout. Why the testsuite driver goes via a shell I do not know (it also messes up the exit codes for signals).
12:29 PM Changeset in ghc [dff0e99d]better-ho-cardinalityghc-7.8wip/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-compat by Simon Peyton Jones <simonpj@…>
Fix a subtle bug in kind-mis-matched equalities (Trac #6068) When we have an equality constraint where the LHS and RHS have ill-matched kinds, it get turned into a CIrredEvCan because a CTyEqCan/CFunEqCan are guaranteed kind-compatible. But that in turn led to a bug because in the constraint c = (a:k1) ~ (b:k2) the kind variables k1 and k2 don't show up in tyVarsOfType c. Why not? Because it looks like (~) k1 (a:k1) (b:k2) Maybe (~) should have two kind arguments? That seemed like too big a change for not (we wait for NoKinds), so this patch fixes the bug for now.
11:25 AM Changeset in ghc [434d783]better-ho-cardinalityghc-7.8wip/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-compat by Simon Peyton Jones <simonpj@…>
Improve error message Accommodating Simon M's suggestion (Trac #4268, comment 17)
11:24 AM Changeset in ghc [699dc54]better-ho-cardinalityghc-7.8wip/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-compat by Simon Peyton Jones <simonpj@…>
Fix the unlit path in count_lines
3:37 AM Status/GHC-7.8 edited by AndreasVoellmy
(diff)
3:09 AM Ticket #8535 (:info (->) doesn't print all relevant instances) created by parcs
I noticed that ":info (->)" does not does not print all relevant …
2:58 AM Ticket #8534 (DeriveFunctor and PolyKinds) created by monoidal
A tiny infelicity: […] works only if PolyKinds is disabled, …
12:39 AM Changeset in ghc [29b68822]ghc-7.8wip/Cabal-1.20wip/T8545-ghc-7.8wip/T8776wip/T8995-level-generalisationwip/nested-cprwip/pattern-synonymswip/recurs-compat by Patrick Palka <patrick@…>
Increase coverage of #4175
12:39 AM Changeset in testsuite [3d6deba]wip/nested-cprwip/pattern-synonyms by Patrick Palka <patrick@…>
Increase coverage of #4175
12:13 AM Changeset in ghc [eb8fb43]better-ho-cardinalityghc-7.8wip/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-compat by Patrick Palka <patrick@…>
Simplify and improve coverage of ":info" instance lookup During instance lookup, we can treat classes and data families like any other TyCon instead of special-casing them. This approach, aside from being simpler, has the benefit of returning extra relevant instances for classes and data families. For example, given class A a instance B (a :: Constraint) instance A B ":info B" will now also print "instance A B" where previously it didn't due to the special casing of class TyCons in lookupInsts. This improves upon the existing patch for Trac #4175
Note: See TracTimeline for information about the timeline view.