| Commit message (Expand) | Author | Age | Files | Lines |
* | AST changes to prepare for API annotations, for #9628 | Alan Zimmerman | 2014-11-21 | 1 | -5/+8 |
* | Rewrite Note [Deriving any class] | Joachim Breitner | 2014-11-21 | 1 | -14/+18 |
* | Implement #5462 (deriving clause for arbitrary classes) | Jose Pedro Magalhaes | 2014-11-20 | 1 | -20/+70 |
* | Split SynTyCon to SynonymTyCon and FamilyTyCon | Jan Stolarek | 2014-11-20 | 1 | -1/+2 |
* | Refactor the treatment of lexically-scoped type variables for instance declar... | Simon Peyton Jones | 2014-11-04 | 1 | -10/+10 |
* | Refactor skolemising, and newClsInst | Simon Peyton Jones | 2014-11-04 | 1 | -29/+18 |
* | White space only | Simon Peyton Jones | 2014-11-04 | 1 | -4/+4 |
* | Some refactoring around endPass and debug dumping | Simon Peyton Jones | 2014-11-04 | 1 | -2/+2 |
* | Implementation of hsig (module signatures), per #9252 | Edward Z. Yang | 2014-10-24 | 1 | -1/+1 |
* | Remove obsolete Data.OldTypeable (#9639) | Michael Karg | 2014-10-18 | 1 | -66/+1 |
* | Defer errors in derived instances | Simon Peyton Jones | 2014-09-26 | 1 | -8/+10 |
* | Typos | Krzysztof Gogolewski | 2014-09-19 | 1 | -2/+2 |
* | Clean up Coercible handling, and interaction of data families with newtypes | Simon Peyton Jones | 2014-09-19 | 1 | -20/+8 |
* | Make Applicative a superclass of Monad | Austin Seipp | 2014-09-09 | 1 | -1/+1 |
* | Comments and minor refactoring | Simon Peyton Jones | 2014-07-31 | 1 | -42/+38 |
* | Refactor FFI error messages | Simon Peyton Jones | 2014-07-25 | 1 | -54/+51 |
* | Use the right kinds on the LHS in 'deriving' clauses | Simon Peyton Jones | 2014-07-24 | 1 | -10/+26 |
* | Entirely re-jig the handling of default type-family instances (fixes Trac #9063) | Simon Peyton Jones | 2014-07-15 | 1 | -2/+2 |
* | Overlapable pragmas for individual instances (#9242) | Iavor S. Diatchki | 2014-06-29 | 1 | -16/+30 |
* | More allDistinctTyVars from TcDeriv to Type | Simon Peyton Jones | 2014-06-27 | 1 | -10/+0 |
* | Fix yet another bug in 'deriving' for polykinded classes (Trac #7269) | Simon Peyton Jones | 2014-05-26 | 1 | -20/+10 |
* | Refactoring around TyCon.isSynTyCon | Simon Peyton Jones | 2014-05-15 | 1 | -0/+1 |
* | Add LANGUAGE pragmas to compiler/ source files | Herbert Valerio Riedel | 2014-05-15 | 1 | -0/+2 |
* | Fix Trac #9071, an egregious bug in TcDeriv.inferConstraints | Simon Peyton Jones | 2014-05-06 | 1 | -16/+18 |
* | Instead of tracking Origin in LHsBindsLR, track it in MatchGroup | Dr. ERDI Gergo | 2014-04-13 | 1 | -2/+1 |
* | Derive Typable for promoted data constructors (Trac #8950) | Simon Peyton Jones | 2014-04-07 | 1 | -125/+132 |
* | With AutoDeriveTypeable, derive for promoted constructors, too. | Richard Eisenberg | 2014-04-04 | 1 | -34/+38 |
* | Comments only | Simon Peyton Jones | 2014-03-25 | 1 | -1/+1 |
* | Catch a bunch of typos in comments | Gabor Greif | 2014-03-23 | 1 | -3/+3 |
* | Apply the kind subst to the (kinds of the) quanitifed tyvars in deriveTyData | Simon Peyton Jones | 2014-03-23 | 1 | -13/+43 |
* | More debug info | Simon Peyton Jones | 2014-03-17 | 1 | -2/+4 |
* | Unify, rather than match, in GND processing (fixes Trac #8865) | Simon Peyton Jones | 2014-03-10 | 1 | -17/+32 |
* | Make -XDeriveFunctor more generous about non-last arguments (Trac #8678) | Simon Peyton Jones | 2014-03-07 | 1 | -22/+66 |
* | Cleaned up Maybes.lhs | Baldur Blöndal | 2014-02-13 | 1 | -3/+3 |
* | Fix #8758 by assuming RankNTypes when checking GND code. | Richard Eisenberg | 2014-02-09 | 1 | -1/+2 |
* | Fix #8631. | Richard Eisenberg | 2014-02-08 | 1 | -5/+10 |
* | Implement pattern synonyms | Dr. ERDI Gergo | 2014-01-20 | 1 | -1/+2 |
* | Typos in comments | Krzysztof Gogolewski | 2014-01-16 | 1 | -1/+1 |
* | Use the GlobalRdrEnv when renaming the axuiliary bindings in 'deriving' | Simon Peyton Jones | 2014-01-03 | 1 | -2/+5 |
* | More detailed error message when GND fails | Joachim Breitner | 2013-12-04 | 1 | -3/+3 |
* | Elaborate "deriving" error messages | Joachim Breitner | 2013-12-03 | 1 | -4/+6 |
* | Refactor: Origin of inferred Thetas | Joachim Breitner | 2013-12-03 | 1 | -103/+157 |
* | Some popular typos in comments | Gabor Greif | 2013-12-02 | 1 | -1/+1 |
* | Remove dead code orphaned by implementing GND with `coerce`. | Richard Eisenberg | 2013-12-02 | 1 | -29/+0 |
* | With GND, report Coercible errors earliy | Joachim Breitner | 2013-12-02 | 1 | -3/+13 |
* | TcDeriv: s/isomorphism/coercible | Joachim Breitner | 2013-12-02 | 1 | -19/+19 |
* | In toHsType, filter out kind variables | Joachim Breitner | 2013-11-25 | 1 | -0/+1 |
* | Use bindLocalNamesFV in rn_inst_info | Joachim Breitner | 2013-11-22 | 1 | -1/+1 |
* | Use newTyConInstRhs in coerce’d GND | Joachim Breitner | 2013-11-22 | 1 | -5/+1 |
* | Implement GeneralizedNewtypeDeriving in terms of `coerce`. | Richard Eisenberg | 2013-11-22 | 1 | -81/+68 |