Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Refactor ConDecl | Alan Zimmerman | 2015-12-07 | 1 | -57/+136 |
* | Refactor treatment of wildcards | Simon Peyton Jones | 2015-12-01 | 1 | -19/+26 |
* | Check arity on default decl for assoc types | Simon Peyton Jones | 2015-11-27 | 1 | -8/+17 |
* | Refactor default methods (Trac #11105) | Simon Peyton Jones | 2015-11-25 | 1 | -112/+108 |
* | ApiAnnotations: Make all RdrName occurences Located | Alan Zimmerman | 2015-11-23 | 1 | -1/+2 |
* | Abstract TFs can have injectivity information | Jan Stolarek | 2015-11-09 | 1 | -4/+3 |
* | Generate Typeable info at definition sites | Ben Gamari | 2015-10-30 | 1 | -52/+60 |
* | Revert "Generate Typeable info at definition sites" | Ben Gamari | 2015-10-29 | 1 | -6/+12 |
* | Generate Typeable info at definition sites | Ben Gamari | 2015-10-29 | 1 | -12/+6 |
* | Move mkDefaultMethodIds, mkRecSelBinds from TcTyClsDecls to TcTyDecls | Ben Gamari | 2015-10-29 | 1 | -225/+1 |
* | Record pattern synonyms | Matthew Pickering | 2015-10-29 | 1 | -12/+27 |
* | Implement DuplicateRecordFields | Adam Gundry | 2015-10-16 | 1 | -33/+30 |
* | Perform a validity check on assoc type defaults. | Richard Eisenberg | 2015-09-21 | 1 | -10/+16 |
* | Fix #10815 by kind-checking type patterns against known kinds. | Richard Eisenberg | 2015-09-19 | 1 | -25/+37 |
* | Improve rejigConRes (again) | Simon Peyton Jones | 2015-09-11 | 1 | -28/+39 |
* | Injective type families | Jan Stolarek | 2015-09-03 | 1 | -76/+106 |
* | Replace HsBang type with HsSrcBang and HsImplBang | Adam Sandberg Eriksson | 2015-08-10 | 1 | -3/+3 |
* | Support wild cards in data/type family instances | Thomas Winant | 2015-08-03 | 1 | -2/+33 |
* | Typos in comments | Gabor Greif | 2015-07-31 | 1 | -1/+1 |
* | Implementation of StrictData language extension | Adam Sandberg Eriksson | 2015-07-27 | 1 | -8/+22 |
* | Refactor self-boot info | Simon Peyton Jones | 2015-07-21 | 1 | -8/+8 |
* | Report arity errors correctly despite kinds | Simon Peyton Jones | 2015-06-18 | 1 | -8/+1 |
* | Refactor tuple constraints | Simon Peyton Jones | 2015-05-18 | 1 | -3/+17 |
* | Revert multiple commits | Austin Seipp | 2015-05-14 | 1 | -17/+3 |
* | Add a case to checkValidTyCon | Simon Peyton Jones | 2015-05-13 | 1 | -0/+3 |
* | Refactor tuple constraints | Simon Peyton Jones | 2015-05-13 | 1 | -3/+14 |
* | Permit empty closed type families | Adam Gundry | 2015-05-04 | 1 | -17/+20 |
* | Comments in rejigConRes | Simon Peyton Jones | 2015-04-09 | 1 | -2/+7 |
* | Typos in comments | Gabor Greif | 2015-03-18 | 1 | -1/+1 |
* | A raft of small changes associated with -XConstrainedClassMethods | Simon Peyton Jones | 2015-03-04 | 1 | -41/+34 |
* | Comments only | Simon Peyton Jones | 2015-03-02 | 1 | -9/+10 |
* | Replace .lhs with .hs in compiler comments | Yuri de Wit | 2015-02-09 | 1 | -1/+1 |
* | Fix the nullary-type-class case for associated types | Simon Peyton Jones | 2015-02-06 | 1 | -15/+22 |
* | API Annotations tweaks. | Alan Zimmerman | 2015-01-16 | 1 | -15/+17 |
* | Improve HsBang | Simon Peyton Jones | 2015-01-08 | 1 | -5/+5 |
* | Major patch to add -fwarn-redundant-constraints | Simon Peyton Jones | 2015-01-06 | 1 | -3/+3 |
* | Fix wrong-kind-of-family error message (Trac #9896) | Simon Peyton Jones | 2014-12-18 | 1 | -2/+2 |
* | Typos in comments | Gabor Greif | 2014-12-17 | 1 | -1/+1 |
* | compiler: de-lhs typecheck/ | Austin Seipp | 2014-12-03 | 1 | -0/+2300 |