| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Fix more typos, via an improved Levenshtein-style corrector | Brian Wignall | 2020-01-12 | 1 | -2/+2 |
| * | Don't zap to Any; error instead | Richard Eisenberg | 2020-01-12 | 4 | -29/+80 |
| * | Fix typos, via a Levenshtein-style corrector | Brian Wignall | 2020-01-04 | 3 | -3/+3 |
| * | Do more validity checks for quantified constraints | Richard Eisenberg | 2019-12-16 | 3 | -0/+13 |
| * | Pretty-printing of the * kind | Vladislav Zavialov | 2019-12-05 | 2 | -2/+2 |
| * | Whitespace-sensitive bang patterns (#1087, #17162)wip/whitespace-and-lookahead | Vladislav Zavialov | 2019-11-27 | 3 | -11/+14 |
| * | Strip parentheses in expressions contexts in error messages | Vladislav Zavialov | 2019-11-19 | 6 | -12/+12 |
| * | Fix #17405 by not checking imported equations | Richard Eisenberg | 2019-11-10 | 5 | -50/+68 |
| * | Whitespace forward compatibility for proposal #229 | Vladislav Zavialov | 2019-10-30 | 4 | -4/+4 |
| * | Make isTcLevPoly more conservative with newtypes (#17360) | Ryan Scott | 2019-10-24 | 3 | -0/+18 |
| * | Implement a coverage checker for injectivity | Richard Eisenberg | 2019-10-23 | 7 | -7/+83 |
| * | Don't skip validity checks for built-in classes (#17355) | Ryan Scott | 2019-10-15 | 3 | -0/+21 |
| * | Fix validity checking for inferred types | Simon Peyton Jones | 2019-10-12 | 4 | -0/+17 |
| * | Solve constraints from top-level groups sooner | Richard Eisenberg | 2019-10-08 | 1 | -2/+2 |
| * | Add Monad instances to `(,,) a b` and `(,,,) a b c` | Fumiaki Kinoshita | 2019-10-04 | 2 | -2/+2 |
| * | Standalone kind signatures (#16794)wip/top-level-kind-signatures | Vladislav Zavialov | 2019-09-25 | 7 | -13/+21 |
| * | Test #17077. | Richard Eisenberg | 2019-09-19 | 3 | -0/+14 |
| * | Improve error message for out-of-scope variables + VTA | Simon Peyton Jones | 2019-09-17 | 4 | -6/+9 |
| * | Rip out 9-year-old pattern variable hack (#17007) | Ryan Scott | 2019-08-02 | 1 | -9/+9 |
| * | Line wrap when pp long expressions (fixes #16874) | Alfredo Di Napoli | 2019-07-20 | 3 | -0/+25 |
| * | Refactor UnliftedNewtypes-relation kind signature validity checks | Ryan Scott | 2019-06-23 | 11 | -12/+68 |
| * | Synchronize ClsInst.doTyConApp with TcTypeable validity checks (#15862) | Ryan Scott | 2019-06-15 | 3 | -0/+65 |
| * | Implement the -XUnliftedNewtypes extension. | Andrew Martin | 2019-06-14 | 49 | -26/+361 |
| * | Fix #16517 by bumping the TcLevel for method sigs | Richard Eisenberg | 2019-06-09 | 4 | -2/+13 |
| * | In hole fits, don't show VTA for inferred variables (#16456) | Krzysztof Gogolewski | 2019-05-29 | 3 | -0/+19 |
| * | Add test for old issue displaying unboxed tuples in error messages (#502) | Kevin Buhr | 2019-05-29 | 3 | -0/+23 |
| * | Fix tcfail158 (#15899) | Krzysztof Gogolewski | 2019-05-27 | 2 | -4/+5 |
| * | Use HsTyPats in associated type family defaults | Ryan Scott | 2019-05-22 | 1 | -5/+6 |
| * | Guard CUSKs behind a language pragma | Vladislav Zavialov | 2019-05-14 | 3 | -0/+16 |
| * | Regression test for #16627. | Richard Eisenberg | 2019-05-08 | 3 | -0/+21 |
| * | Make equality constraints in kinds invisible | Ryan Scott | 2019-05-03 | 3 | -0/+29 |
| * | base: Remove `Monad(fail)` method and reexport `MonadFail(fail)` instead | Herbert Valerio Riedel | 2019-03-22 | 2 | -3/+3 |
| * | Reject nested predicates in impredicativity checking | Ryan Scott | 2019-03-20 | 6 | -7/+23 |
| * | Improve error recovery in the typechecker | Simon Peyton Jones | 2019-03-16 | 1 | -22/+0 |
| * | Update Trac ticket URLs to point to GitLab | Ryan Scott | 2019-03-15 | 34 | -35/+35 |
| * | testsuite: Add testcase for #16394 | Ben Gamari | 2019-03-14 | 3 | -0/+18 |
| * | Use transSuperClasses in TcErrors | Simon Peyton Jones | 2019-03-12 | 3 | -0/+31 |
| * | Ignore more version numbers in the testsuite | Alec Theriault | 2019-03-11 | 1 | -2/+2 |
| * | Stop inferring over-polymorphic kinds | Simon Peyton Jones | 2019-03-09 | 1 | -2/+2 |
| * | Be more careful when naming TyCon binders | Simon Peyton Jones | 2019-03-05 | 1 | -2/+2 |
| * | Treat kind/type variables identically, demolish FKTV | Vladislav Zavialov | 2019-02-27 | 5 | -15/+9 |
| * | Add AnonArgFlag to FunTy | Simon Peyton Jones | 2019-02-23 | 3 | -9/+4 |
| * | Remove Simon's special number from typecheck/should_fail/all.twip/unexpected-test | Matthew Pickering | 2019-02-16 | 1 | -1/+0 |
| * | Fix tests which were made to pass by "Make a smart mkAppTyM" | Matthew Pickering | 2019-02-16 | 1 | -1/+1 |
| * | 'forall' always a keyword, plus the dot type operator | Vladislav Zavialov | 2019-02-15 | 3 | -6/+6 |
| * | Fail fast in solveLocalEqualities | Simon Peyton Jones | 2019-02-14 | 14 | -170/+24 |
| * | Fix #16188 | Richard Eisenberg | 2019-02-12 | 3 | -0/+29 |
| * | testsuite: Mark T14740 and tcfail159 as broken in debugged compiler | Ben Gamari | 2019-02-07 | 1 | -1/+1 |
| * | Reject oversaturated VKAs in type family equations | Ryan Scott | 2019-02-01 | 5 | -0/+56 |
| * | testsuite: Use makefile_test | Ben Gamari | 2019-01-30 | 1 | -1/+1 |
