| Commit message (Expand) | Author | Age | Files | Lines |
* | PmCheck: Formulate as translation between Clause Trees | Sebastian Graf | 2020-01-25 | 1 | -0/+4 |
* | Fix more typos, via an improved Levenshtein-style corrector | Brian Wignall | 2020-01-12 | 2 | -3/+3 |
* | Don't zap to Any; error instead | Richard Eisenberg | 2020-01-12 | 5 | -30/+68 |
* | Print Core type applications with no whitespace after @ (#17643) | Ryan Scott | 2020-01-08 | 1 | -1/+1 |
* | Fix typos, via a Levenshtein-style corrector | Brian Wignall | 2020-01-04 | 6 | -6/+6 |
* | 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 |
* | Fix more typos | Brian Wignall | 2019-12-02 | 1 | -1/+1 |
* | Fix typos, using Wikipedia list of common typos | Brian Wignall | 2019-11-28 | 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 |
* | Give seq a more precise type and remove magic | Ben Gamari | 2019-11-19 | 5 | -34/+34 |
* | base: Bump version to 4.14.0.0 | Ben Gamari | 2019-11-14 | 2 | -3/+3 |
* | 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 | 9 | -9/+86 |
* | Infer rho-types instead of sigma-types in guard BindStmts and TransStmts | Sebastian Graf | 2019-10-16 | 3 | -0/+13 |
* | 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 |
* | Mark newtype constructors as used in the Coercible solver (#10347) | Ryan Scott | 2019-10-08 | 2 | -5/+8 |
* | Only flatten up to type family arity in coreFlattenTyFamApp (#16995) | Ryan Scott | 2019-10-07 | 2 | -0/+22 |
* | 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 |
* | Add -Wderiving-defaults (#15839) | Kari Pahula | 2019-09-25 | 4 | -0/+22 |
* | testsuite: Add test for #17202 | Ben Gamari | 2019-09-20 | 2 | -0/+21 |
* | Test #17077. | Richard Eisenberg | 2019-09-19 | 3 | -0/+14 |
* | Use level numbers for generalisation | Richard Eisenberg | 2019-09-19 | 1 | -1/+7 |
* | Add a missing update of sc_hole_ty (#16312) | Simon Peyton Jones | 2019-09-19 | 2 | -0/+15 |
* | Improve error message for out-of-scope variables + VTA | Simon Peyton Jones | 2019-09-17 | 4 | -6/+9 |
* | Encode shape information in `PmOracle` | Sebastian Graf | 2019-09-16 | 1 | -0/+4 |
* | Fix scoping of implicit parameters | Simon Peyton Jones | 2019-09-13 | 3 | -0/+26 |
* | Fix #17067 by making data family type constructors actually injective | Ryan Scott | 2019-08-18 | 2 | -0/+12 |
* | Make add_info attach unfoldings (#16615) | Tobias Dammers | 2019-08-15 | 1 | -2/+7 |
* | Rip out 9-year-old pattern variable hack (#17007) | Ryan Scott | 2019-08-02 | 3 | -9/+23 |
* | Add regression test for #16946 | nineonine | 2019-07-26 | 2 | -0/+13 |
* | Line wrap when pp long expressions (fixes #16874) | Alfredo Di Napoli | 2019-07-20 | 3 | -0/+25 |
* | testsuite: More type checking fixes | Ben Gamari | 2019-07-18 | 1 | -2/+2 |
* | Expunge #ifdef and #ifndef from the codebase | John Ericson | 2019-07-14 | 2 | -2/+2 |
* | testsuite: Fix T16832 | Ben Gamari | 2019-06-26 | 2 | -5/+6 |
* | Refactor UnliftedNewtypes-relation kind signature validity checks | Ryan Scott | 2019-06-23 | 13 | -12/+77 |
* | testsuite: Add test for #16832 | Ben Gamari | 2019-06-18 | 3 | -0/+43 |
* | 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 | 71 | -32/+731 |
* | testsuite: Fix omit_ways usage | Ben Gamari | 2019-06-12 | 1 | -1/+1 |
* | testsuite: Omit tcrun022 in hpc way | Ben Gamari | 2019-06-12 | 1 | -1/+1 |
* | testsuite: Mark T14761c as broken in hpc, profasm, and optasm ways | Ben Gamari | 2019-06-12 | 1 | -1/+1 |
* | Fix #16517 by bumping the TcLevel for method sigs | Richard Eisenberg | 2019-06-09 | 4 | -2/+13 |
* | TmOracle: Replace negative term equalities by refutable PmAltCons | Sebastian Graf | 2019-06-07 | 1 | -4/+0 |