| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Minor typofix. | Edward Z. Yang | 2016-08-16 | 1 | -1/+1 |
| * | Implement unboxed sum primitive type | Ömer Sinan Ağacan | 2016-07-21 | 4 | -129/+97 |
| * | InstEnv: Ensure that instance visibility check is lazy | Ben Gamari | 2016-07-20 | 1 | -30/+67 |
| * | Fix misspellings of the word "instance" in comments | Ryan Scott | 2016-07-18 | 1 | -1/+1 |
| * | tidyOccNames: Rename variables fairly | Joachim Breitner | 2016-07-14 | 1 | -1/+9 |
| * | tidyType: Rename variables of nested forall at once | Joachim Breitner | 2016-07-13 | 1 | -7/+27 |
| * | Use UniqDFM for InstEnv | Bartosz Nitka | 2016-07-08 | 1 | -9/+24 |
| * | Add Note [FamInstEnv determinism] | Bartosz Nitka | 2016-07-07 | 1 | -0/+14 |
| * | Use deterministic maps for FamInstEnv | Bartosz Nitka | 2016-07-07 | 1 | -10/+10 |
| * | Check generic-default method for ambiguity | Simon Peyton Jones | 2016-07-05 | 1 | -9/+1 |
| * | Kill some varEnvElts | Bartosz Nitka | 2016-07-05 | 1 | -7/+21 |
| * | Axe RecFlag on TyCons. | Edward Z. Yang | 2016-06-30 | 1 | -20/+5 |
| * | Deal correctly with unused imports for 'coerce' | Simon Peyton Jones | 2016-06-28 | 3 | -37/+50 |
| * | Refactor tcInferArgs and add comments. | Richard Eisenberg | 2016-06-25 | 2 | -2/+23 |
| * | s/Invisible/Inferred/g s/Visible/Required/g | Richard Eisenberg | 2016-06-25 | 4 | -70/+70 |
| * | Remove bogus comment on ForAllTy | Simon Peyton Jones | 2016-06-24 | 1 | -2/+0 |
| * | Comments around invisibility | Simon Peyton Jones | 2016-06-24 | 2 | -2/+3 |
| * | Remove Ord TyCon | Bartosz Nitka | 2016-06-23 | 1 | -7/+0 |
| * | Provide Uniquable version of SCC | Bartosz Nitka | 2016-06-23 | 1 | -1/+1 |
| * | More typos in comments [skip ci] | Gabor Greif | 2016-06-22 | 2 | -2/+2 |
| * | Major patch to introduce TyConBinder | Simon Peyton Jones | 2016-06-15 | 7 | -332/+327 |
| * | Re-add FunTy (big patch) | Simon Peyton Jones | 2016-06-15 | 9 | -405/+431 |
| * | Rename cmpType to nonDetCmpType | Bartosz Nitka | 2016-06-14 | 1 | -27/+35 |
| * | Beef up isPredTy | Simon Peyton Jones | 2016-06-13 | 1 | -7/+22 |
| * | Fix the in-scope set for extendTvSubstWithClone | Simon Peyton Jones | 2016-06-13 | 1 | -2/+6 |
| * | Comments only | Simon Peyton Jones | 2016-06-10 | 1 | -23/+1 |
| * | Comments only | Simon Peyton Jones | 2016-06-10 | 1 | -1/+1 |
| * | Remove Ord Class | Bartosz Nitka | 2016-06-09 | 1 | -7/+0 |
| * | Remove Ord (CoAxiom br) | Bartosz Nitka | 2016-06-09 | 1 | -9/+2 |
| * | Implement Eq TyCon directly | Bartosz Nitka | 2016-06-09 | 1 | -2/+2 |
| * | Make FieldLabelEnv a deterministic set | Bartosz Nitka | 2016-06-03 | 1 | -5/+5 |
| * | Localize orphan-related nondeterminism | Bartosz Nitka | 2016-06-02 | 1 | -1/+1 |
| * | More fixes for unboxed tuples | Simon Peyton Jones | 2016-05-27 | 1 | -5/+5 |
| * | Reduce special-casing for nullary unboxed tuple | Simon Peyton Jones | 2016-05-26 | 2 | -123/+138 |
| * | Remove 'deriving Typeable' statements | Ryan Scott | 2016-05-24 | 6 | -24/+15 |
| * | Document some benign nondeterminism | Bartosz Nitka | 2016-05-24 | 3 | -5/+19 |
| * | Remove unused Type.splitFunTysN | Simon Peyton Jones | 2016-05-24 | 1 | -10/+1 |
| * | FunDep printer: Fix unicode arrow | Ömer Sinan Ağacan | 2016-05-20 | 1 | -1/+1 |
| * | Give lifted primitive types a representation | Ben Gamari | 2016-05-19 | 1 | -1/+2 |
| * | Improve pretty-printing of equalities | Simon Peyton Jones | 2016-05-19 | 1 | -57/+50 |
| * | Kill varSetElems in tidyFreeTyCoVars | Bartosz Nitka | 2016-05-18 | 1 | -4/+4 |
| * | Fix deriveTyData's kind unification when two kind variables are unified | RyanGlScott | 2016-05-12 | 2 | -2/+12 |
| * | Document why closeOverKind is OK for determinism | Bartosz Nitka | 2016-05-11 | 1 | -1/+3 |
| * | Make simplifyInstanceContexts deterministic | Bartosz Nitka | 2016-05-10 | 1 | -2/+14 |
| * | Comment typos: Mkae -> Make, Hsakell -> Haskell | RyanGlScott | 2016-04-30 | 1 | -1/+1 |
| * | Fix reference to Note in TcCanonical | RyanGlScott | 2016-04-30 | 1 | -2/+2 |
| * | Remove the incredibly hairy splitTelescopeTvs. | Richard Eisenberg | 2016-04-29 | 1 | -7/+56 |
| * | Add uniqSetAny and uniqSetAll and use them | Bartosz Nitka | 2016-04-28 | 1 | -2/+2 |
| * | Kill varSetElems in markNominal | Bartosz Nitka | 2016-04-26 | 1 | -1/+1 |
| * | Kill varSetElemsWellScoped in quantifyTyVars | Bartosz Nitka | 2016-04-26 | 2 | -7/+10 |
 |
index : delta/haskell.git | |
| gitlab.haskell.org: ghc/ghc.git |
| summaryrefslogtreecommitdiff |