Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix quantification for inference with sigs | Simon Peyton Jones | 2015-08-05 | 3 | -0/+46 |
* | Tidy up and refactor wildcard handling | Simon Peyton Jones | 2015-08-05 | 23 | -694/+729 |
* | Support wild cards in data/type family instances | Thomas Winant | 2015-08-03 | 12 | -15/+78 |
* | Better treatment of signatures in cls/inst | Simon Peyton Jones | 2015-07-30 | 2 | -6/+8 |
* | Support wild cards in TH splices | Thomas Winant | 2015-07-20 | 22 | -7/+236 |
* | Testsuite: delete remaining only_compiler_types(['ghc']) setups | Thomas Miedema | 2015-07-14 | 1 | -1/+1 |
* | Test Trac #10463 | Simon Peyton Jones | 2015-07-13 | 3 | -0/+14 |
* | Better type wildcard errors | Simon Peyton Jones | 2015-07-10 | 10 | -322/+322 |
* | Fix Trac #10519 | Thomas Winant | 2015-07-03 | 3 | -0/+11 |
* | Improve error message for Typeable k (T k) | Simon Peyton Jones | 2015-06-26 | 1 | -7/+6 |
* | Error message wibbles from out-of-scope changes | Simon Peyton Jones | 2015-06-26 | 10 | -322/+322 |
* | Further elaborate Trac #10403 test | Simon Peyton Jones | 2015-06-23 | 2 | -38/+44 |
* | Elaborate test for Trac #10403 | Simon Peyton Jones | 2015-06-18 | 2 | -21/+42 |
* | Testsuite: change some expect_fail tests to expect_broken | Thomas Miedema | 2015-06-11 | 2 | -4/+4 |
* | Refactor wild card renaming | Thomas Winant | 2015-06-09 | 36 | -76/+117 |
* | Test Trac #10438 | Simon Peyton Jones | 2015-06-02 | 3 | -0/+35 |
* | Test Trac #10403 | Simon Peyton Jones | 2015-05-18 | 3 | -0/+37 |
* | Revert multiple commits | Austin Seipp | 2015-05-14 | 3 | -37/+0 |
* | Test Trac #10403 | Simon Peyton Jones | 2015-05-13 | 3 | -0/+37 |
* | Bump base version to 4.8.2.0 | Herbert Valerio Riedel | 2015-04-25 | 44 | -44/+44 |
* | Error msg wibbles from reduced module prefixes | Simon Peyton Jones | 2015-04-07 | 1 | -25/+22 |
* | Improve environment handling in TcBinds | Simon Peyton Jones | 2015-03-24 | 3 | -3/+3 |
* | Minor bump `base` version to 4.8.1.0 | Herbert Valerio Riedel | 2015-03-23 | 44 | -44/+44 |
* | Bump ghc-prim to 0.4.0.0 | Herbert Valerio Riedel | 2015-03-20 | 41 | -43/+43 |
* | Two kind-polymorphism fixes (Trac #10122) | Simon Peyton Jones | 2015-03-02 | 1 | -1/+1 |
* | Fix #10045 | Thomas Winant | 2015-02-18 | 3 | -0/+54 |
* | Fix panics of PartialTypeSignatures combined with extensions | Thomas Winant | 2015-01-13 | 7 | -0/+27 |
* | Major patch to add -fwarn-redundant-constraints | Simon Peyton Jones | 2015-01-06 | 1 | -1/+1 |
* | Print singleton consraints without parens | Simon Peyton Jones | 2015-01-06 | 4 | -6/+5 |
* | Modify a couple of error messages slightly | Simon Peyton Jones | 2015-01-06 | 2 | -28/+28 |
* | Rename NamedWildcards flag to NamedWildCards | Thomas Winant | 2014-12-23 | 22 | -22/+22 |
* | Fix panic on :kind _ in GHCi (Trac #9879) | Thomas Winant | 2014-12-23 | 4 | -0/+9 |
* | Fix panic on [t| _ |] (Trac #9879) | Thomas Winant | 2014-12-15 | 3 | -0/+9 |
* | Implement Partial Type Signatures | Thomas Winant | 2014-11-28 | 175 | -0/+2105 |