| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Fix scoping of data cons during kind checking | Simon Peyton Jones | 2017-05-19 | 1 | -0/+1 |
| * | Add regression test for Trac #13659 | Simon Peyton Jones | 2017-05-09 | 1 | -0/+1 |
| * | Add regression test for #11616 | Ryan Scott | 2017-05-04 | 1 | -0/+1 |
| * | Document the kind generalization behavior observed in #13555 | Ryan Scott | 2017-04-23 | 1 | -0/+1 |
| * | Fix TcSimplify.decideQuantification for kind variables | Simon Peyton Jones | 2017-03-10 | 1 | -0/+2 |
| * | Deal with JoinIds before void types | Simon Peyton Jones | 2017-03-10 | 1 | -0/+1 |
| * | Join points can be levity-polymorphic | Simon Peyton Jones | 2017-03-08 | 1 | -0/+1 |
| * | Disallow class instances for synonyms | Simon Peyton Jones | 2017-02-21 | 1 | -0/+1 |
| * | Remove clean_cmd and extra_clean usage from .T files | Thomas Miedema | 2017-01-22 | 1 | -4/+1 |
| * | testsuite: Add another testcase for #11821 | Ben Gamari | 2016-11-30 | 1 | -0/+1 |
| * | Test Trac #12885 | Simon Peyton Jones | 2016-11-28 | 1 | -0/+1 |
| * | Another major constraint-solver refactoring | Simon Peyton Jones | 2016-11-25 | 1 | -0/+1 |
| * | Allow levity-polymorpic arrows | Simon Peyton Jones | 2016-10-27 | 1 | -0/+2 |
| * | Fix a bug in occurs checking | Simon Peyton Jones | 2016-09-30 | 1 | -0/+1 |
| * | Trac #11554 fix loopy GADTs | Alexander Vieth | 2016-06-30 | 1 | -0/+1 |
| * | A second test for Trac #12055 | Simon Peyton Jones | 2016-06-13 | 1 | -0/+1 |
| * | Test Trac #12055 | Simon Peyton Jones | 2016-06-13 | 1 | -0/+1 |
| * | Test Trac #11640 | Simon Peyton Jones | 2016-05-10 | 1 | -0/+1 |
| * | Remove the incredibly hairy splitTelescopeTvs. | Richard Eisenberg | 2016-04-29 | 1 | -0/+1 |
| * | Fix printing of "kind" vs. "type" | Richard Eisenberg | 2016-03-15 | 1 | -0/+1 |
| * | Fix #11648. | Richard Eisenberg | 2016-03-14 | 1 | -1/+3 |
| * | Test Trac #11611 | Simon Peyton Jones | 2016-02-26 | 1 | -0/+1 |
| * | Add a testcase for #11362 | Bartosz Nitka | 2016-02-15 | 1 | -0/+2 |
| * | Wrap solveEqualities in checkNoErrs | Simon Peyton Jones | 2016-02-10 | 1 | -0/+3 |
| * | Fix a nasty superclass expansion bug | Simon Peyton Jones | 2016-02-08 | 1 | -0/+1 |
| * | Add Edward Kmett's example as a test case | Simon Peyton Jones | 2016-02-08 | 1 | -0/+1 |
| * | Special-case implicit params in superclass expansion | Simon Peyton Jones | 2016-01-25 | 1 | -0/+1 |
| * | Allow implicit parameters in constraint synonyms | Simon Peyton Jones | 2016-01-21 | 1 | -1/+2 |
| * | Re-add missing kind generalisation | Simon Peyton Jones | 2016-01-21 | 1 | -0/+1 |
| * | Fix #11255. | Richard Eisenberg | 2015-12-26 | 1 | -0/+1 |
| * | Visible type application | Richard Eisenberg | 2015-12-24 | 1 | -0/+1 |
| * | Fix super-class cycle check | Simon Peyton Jones | 2015-12-23 | 1 | -1/+1 |
| * | Test Trac #11248, #11249 | Simon Peyton Jones | 2015-12-18 | 1 | -0/+3 |
| * | Fix tcTyClTyVars to handle SigTvs | Richard Eisenberg | 2015-12-17 | 1 | -1/+1 |
| * | Test #9017 in polykinds/T9017 | Richard Eisenberg | 2015-12-11 | 1 | -0/+1 |
| * | Add kind equalities to GHC. | Richard Eisenberg | 2015-12-11 | 1 | -3/+7 |
| * | Fix kind-var abstraction in SimplUtils.abstractFloats | Simon Peyton Jones | 2015-10-06 | 1 | -0/+1 |
| * | Test Trac #10742 | Simon Peyton Jones | 2015-08-06 | 1 | -0/+1 |
| * | Test Trac #10134 | Simon Peyton Jones | 2015-08-03 | 1 | -0/+1 |
| * | Fix Trac #10670 | Simon Peyton Jones | 2015-07-23 | 1 | -0/+2 |
| * | Testsuite: delete remaining only_compiler_types(['ghc']) setups | Thomas Miedema | 2015-07-14 | 1 | -2/+0 |
| * | Improve error message for fundeps | Simon Peyton Jones | 2015-07-10 | 1 | -0/+1 |
| * | Test Trac #10503 | Simon Peyton Jones | 2015-06-18 | 1 | -0/+1 |
| * | Report arity errors correctly despite kinds | Simon Peyton Jones | 2015-06-18 | 1 | -0/+1 |
| * | Test Trac #10451 | Simon Peyton Jones | 2015-06-02 | 1 | -1/+1 |
| * | Test Trac #10041 | Simon Peyton Jones | 2015-02-06 | 1 | -0/+2 |
| * | Test Trac #7908 | Simon Peyton Jones | 2014-12-01 | 1 | -1/+1 |
| * | Fix the handling of instance signatures (Trac #9582, #9833) | Simon Peyton Jones | 2014-12-01 | 1 | -0/+2 |
| * | Kind variables in RHS of an associated type instances should be bound on LHS | Simon Peyton Jones | 2014-11-28 | 1 | -0/+1 |
| * | Don't require ConstraintKinds at usage sites (Trac #9838) | Simon Peyton Jones | 2014-11-27 | 1 | -0/+1 |
 |
index : delta/haskell.git | |
| gitlab.haskell.org: ghc/ghc.git |
| summaryrefslogtreecommitdiff |