| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Type-indexed Typeable | Ben Gamari | 2017-02-18 | 2 | -3/+4 |
| * | Remove clean_cmd and extra_clean usage from .T files | Thomas Miedema | 2017-01-22 | 1 | -4/+1 |
| * | Add HsSyn prettyprinter tests | Alan Zimmerman | 2016-12-07 | 13 | -16/+17 |
| * | testsuite: Add another testcase for #11821 | Ben Gamari | 2016-11-30 | 2 | -0/+5 |
| * | Test Trac #12885 | Simon Peyton Jones | 2016-11-28 | 2 | -0/+13 |
| * | Another major constraint-solver refactoring | Simon Peyton Jones | 2016-11-25 | 4 | -3/+85 |
| * | Typos in comments | Gabor Greif | 2016-10-31 | 1 | -2/+2 |
| * | Allow levity-polymorpic arrows | Simon Peyton Jones | 2016-10-27 | 3 | -0/+47 |
| * | Take account of kinds in promoteTcType | Simon Peyton Jones | 2016-10-24 | 2 | -5/+3 |
| * | A collection of type-inference refactorings. | Simon Peyton Jones | 2016-10-21 | 1 | -8/+8 |
| * | Fix a bug in occurs checking | Simon Peyton Jones | 2016-09-30 | 3 | -0/+46 |
| * | Trac #11554 fix loopy GADTs | Alexander Vieth | 2016-06-30 | 3 | -0/+18 |
| * | Testsuite: tabs -> spaces [skip ci] | Thomas Miedema | 2016-06-20 | 1 | -4/+4 |
| * | Testsuite: remove Windows CR [skip ci] | Thomas Miedema | 2016-06-20 | 3 | -42/+42 |
| * | Major patch to introduce TyConBinder | Simon Peyton Jones | 2016-06-15 | 3 | -28/+24 |
| * | Re-add FunTy (big patch) | Simon Peyton Jones | 2016-06-15 | 1 | -13/+14 |
| * | A second test for Trac #12055 | Simon Peyton Jones | 2016-06-13 | 3 | -0/+53 |
| * | Test Trac #12055 | Simon Peyton Jones | 2016-06-13 | 2 | -0/+46 |
| * | Improve typechecking of let-bindings | Simon Peyton Jones | 2016-06-13 | 6 | -75/+80 |
| * | Make inert_model and inert_eqs deterministic sets | Bartosz Nitka | 2016-05-18 | 1 | -2/+2 |
| * | Test Trac #11640 | Simon Peyton Jones | 2016-05-10 | 2 | -0/+8 |
| * | Remove the incredibly hairy splitTelescopeTvs. | Richard Eisenberg | 2016-04-29 | 2 | -0/+32 |
| * | Minor improvement to error message | Simon Peyton Jones | 2016-04-28 | 1 | -1/+1 |
| * | Kill varSetElemsWellScoped in quantifyTyVars | Bartosz Nitka | 2016-04-26 | 2 | -9/+9 |
| * | Warn about simplifiable class constraints | Simon Peyton Jones | 2016-04-22 | 1 | -1/+3 |
| * | SCC analysis for instances as well as types/classes | Simon Peyton Jones | 2016-04-20 | 1 | -2/+3 |
| * | Tighten checking for associated type instances | Simon Peyton Jones | 2016-04-19 | 1 | -7/+7 |
| * | Make equality print better. (#11712) | Richard Eisenberg | 2016-03-21 | 3 | -7/+6 |
| * | Clean up some pretty-printing in errors. | Richard Eisenberg | 2016-03-15 | 1 | -0/+1 |
| * | Fix printing of "kind" vs. "type" | Richard Eisenberg | 2016-03-15 | 3 | -0/+16 |
| * | Testsuite wibbles from previous commits. | Richard Eisenberg | 2016-03-14 | 1 | -1/+1 |
| * | Fix #11648. | Richard Eisenberg | 2016-03-14 | 5 | -1/+31 |
| * | Test Trac #11611 | Simon Peyton Jones | 2016-02-26 | 3 | -0/+15 |
| * | Address #11471 by putting RuntimeRep in kinds.wip/runtime-rep | Richard Eisenberg | 2016-02-24 | 3 | -4/+4 |
| * | Testsuite: delete Windows line endings [skip ci] (#11631) | Thomas Miedema | 2016-02-23 | 1 | -5/+5 |
| * | Testsuite: accept output without Windows line endings (#11631) | Thomas Miedema | 2016-02-23 | 2 | -13/+14 |
| * | Testsuite: delete Windows line endings [skip ci] (#11631) | Thomas Miedema | 2016-02-23 | 9 | -127/+127 |
| * | Add a testcase for #11362 | Bartosz Nitka | 2016-02-15 | 2 | -0/+28 |
| * | A tiny, outright bug in tcDataFamInstDecl | Simon Peyton Jones | 2016-02-15 | 1 | -2/+19 |
| * | Wrap solveEqualities in checkNoErrs | Simon Peyton Jones | 2016-02-10 | 7 | -0/+57 |
| * | Fix a nasty superclass expansion bug | Simon Peyton Jones | 2016-02-08 | 2 | -0/+90 |
| * | Add Edward Kmett's example as a test case | Simon Peyton Jones | 2016-02-08 | 2 | -0/+197 |
| * | Refactor the typechecker to use ExpTypes. | Richard Eisenberg | 2016-01-27 | 1 | -8/+8 |
| * | Fix exprIsHNF (Trac #11248) | Simon Peyton Jones | 2016-01-25 | 1 | -0/+3 |
| * | Avoid recursive use of immSuperClasses | Simon Peyton Jones | 2016-01-25 | 1 | -1/+1 |
| * | Special-case implicit params in superclass expansion | Simon Peyton Jones | 2016-01-25 | 2 | -0/+27 |
| * | Add expected stderr for #11466 test case | Joachim Breitner | 2016-01-22 | 1 | -0/+6 |
| * | Allow implicit parameters in constraint synonyms | Simon Peyton Jones | 2016-01-21 | 2 | -1/+18 |
| * | Re-add missing kind generalisation | Simon Peyton Jones | 2016-01-21 | 3 | -0/+24 |
| * | Fix #11255. | Richard Eisenberg | 2015-12-26 | 2 | -0/+7 |
 |
index : delta/haskell.git | |
| gitlab.haskell.org: ghc/ghc.git |
| summaryrefslogtreecommitdiff |