| Commit message (Expand) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | Fix #12176 by being a bit more careful instantiating. | Richard Eisenberg | 2017-07-27 | 2 | -0/+19 | |
| * | Improve error messages around kind mismatches. | Richard Eisenberg | 2017-07-27 | 3 | -6/+9 | |
| * | Add regression test for #11964 | Ryan Scott | 2017-05-12 | 3 | -1/+16 | |
| * | Add regression test for #11966 | Ryan Scott | 2017-05-12 | 2 | -0/+35 | |
| * | Add regression test for #13538 | Ryan Scott | 2017-04-06 | 2 | -0/+46 | |
| * | Type-indexed Typeable | Ben Gamari | 2017-02-18 | 3 | -39/+39 | |
| * | Apply the right substitution in ty-fam improvement | Simon Peyton Jones | 2017-01-23 | 3 | -0/+133 | |
| * | Update levity polymorphism | Richard Eisenberg | 2017-01-19 | 2 | -4/+4 | |
| * | Add HsSyn prettyprinter tests | Alan Zimmerman | 2016-12-07 | 3 | -13/+12 | |
| * | Kill Type pretty-printer | Ben Gamari | 2016-11-13 | 1 | -1/+1 | |
| * | Test Trac #12081 | Simon Peyton Jones | 2016-10-24 | 3 | -0/+17 | |
| * | Test Trac #12174 | Simon Peyton Jones | 2016-10-24 | 3 | -0/+17 | |
| * | Fix #12442. | Richard Eisenberg | 2016-09-23 | 2 | -0/+58 | |
| * | Wibble error message for #11471 | Simon Peyton Jones | 2016-06-28 | 1 | -0/+1 | |
| * | Typos in comments [skip ci] | Gabor Greif | 2016-06-22 | 1 | -1/+1 | |
| * | Testsuite: remove Windows CR [skip ci] | Thomas Miedema | 2016-06-20 | 1 | -4/+4 | |
| * | Re-add FunTy (big patch) | Simon Peyton Jones | 2016-06-15 | 1 | -3/+3 | |
| * | Improve typechecking of let-bindings | Simon Peyton Jones | 2016-06-13 | 1 | -6/+4 | |
| * | Kill varSetElems in TcErrors | Bartosz Nitka | 2016-04-26 | 1 | -1/+1 | |
| * | Kill varSetElemsWellScoped in quantifyTyVars | Bartosz Nitka | 2016-04-26 | 1 | -3/+3 | |
| * | Warn about simplifiable class constraints | Simon Peyton Jones | 2016-04-22 | 1 | -1/+4 | |
| * | Deeply instantiate in :type | Simon Peyton Jones | 2016-04-04 | 2 | -5/+6 | |
| * | Default RuntimeRep variables unless -fprint-explicit-runtime-reps | Ben Gamari | 2016-03-24 | 4 | -1/+30 | |
| * | Fix #11723 and #11724. | Richard Eisenberg | 2016-03-21 | 1 | -5/+4 | |
| * | Rename test for #11334 to 11334b, fixing conflict | Richard Eisenberg | 2016-03-21 | 3 | -5/+5 | |
| * | Fix #11635 / #11719. | Richard Eisenberg | 2016-03-21 | 3 | -0/+27 | |
| * | TypeApplications does not imply AllowAmbiguousTypes | Richard Eisenberg | 2016-03-21 | 1 | -1/+1 | |
| * | Fix #11512 by getting visibility right for methods | Richard Eisenberg | 2016-03-17 | 1 | -2/+2 | |
| * | Fix #11716. | Richard Eisenberg | 2016-03-17 | 2 | -0/+698 | |
| * | Fix #11711. | Richard Eisenberg | 2016-03-17 | 2 | -0/+59 | |
| * | Clean up some pretty-printing in errors. | Richard Eisenberg | 2016-03-15 | 3 | -0/+34 | |
| * | Fix #11473. | Richard Eisenberg | 2016-03-15 | 3 | -0/+35 | |
| * | Fix #11648. | Richard Eisenberg | 2016-03-14 | 6 | -1/+33 | |
| * | Fix #11334. | Richard Eisenberg | 2016-03-14 | 3 | -0/+33 | |
| * | Fix #11407. | Richard Eisenberg | 2016-03-14 | 3 | -0/+19 | |
| * | Print which flag controls emitted desugaring warnings | Herbert Valerio Riedel | 2016-02-27 | 1 | -1/+1 | |
| * | Print which warning-flag controls an emitted warning | Michael Walker | 2016-02-25 | 1 | -1/+1 | |
| * | Address #11471 by putting RuntimeRep in kinds.wip/runtime-rep | Richard Eisenberg | 2016-02-24 | 4 | -10/+10 | |
| * | Fix #11241. | Richard Eisenberg | 2016-02-17 | 3 | -1/+13 | |
| * | Mark dynamic-paper as expect_fail_for optasm and optllvm (#11330) | Thomas Miedema | 2016-01-29 | 1 | -1/+4 | |
| * | Fix two cloning-related bugs | Simon Peyton Jones | 2016-01-26 | 1 | -0/+5 | |
| * | Add "ticks-exhausted" comment | Simon Peyton Jones | 2016-01-26 | 1 | -0/+7 | |
| * | Fix #11405. | Richard Eisenberg | 2016-01-15 | 1 | -1/+1 | |
| * | Constrained types have kind * in validity check. | Richard Eisenberg | 2016-01-15 | 2 | -0/+11 | |
| * | Fix #11311 | Richard Eisenberg | 2016-01-15 | 5 | -0/+24 | |
| * | Have mkCastTy look more closely for reflexivity. | Richard Eisenberg | 2015-12-26 | 2 | -0/+342 | |
| * | Test #9632 in dependent/should_compile/T9632 | Richard Eisenberg | 2015-12-14 | 2 | -0/+12 | |
| * | Suggest import Data.Kinds when * is out of scope | Richard Eisenberg | 2015-12-14 | 3 | -0/+17 | |
| * | Test case for #7961. | Richard Eisenberg | 2015-12-11 | 2 | -0/+27 | |
| * | Add kind equalities to GHC. | Richard Eisenberg | 2015-12-11 | 33 | -0/+480 | |
 |
index : delta/haskell.git | |
| gitlab.haskell.org: ghc/ghc.git |
| summaryrefslogtreecommitdiff |