Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Refactor the typechecker to use ExpTypes.wip/exp-types | Richard Eisenberg | 2016-01-26 | 1 | -1/+4 |
* | Replace calls to `ptext . sLit` with `text` | Jan Stolarek | 2016-01-18 | 1 | -3/+2 |
* | Work SourceText in for all integer literals | Alan Zimmerman | 2016-01-16 | 1 | -1/+1 |
* | Drop pre-AMP compatibility CPP conditionals | Herbert Valerio Riedel | 2015-12-31 | 1 | -3/+0 |
* | Add kind equalities to GHC. | Richard Eisenberg | 2015-12-11 | 1 | -0/+2 |
* | pmcheck: Comments about undecidability of literal equality | George Karachalias | 2015-12-05 | 1 | -7/+68 |
* | PmExpr: Fix CPP unacceptable too clang's CPP | Ben Gamari | 2015-12-04 | 1 | -1/+1 |
* | Improve performance for PM check on literals (Fixes #11160 and #11161) | George Karachalias | 2015-12-04 | 1 | -15/+9 |
* | Major Overhaul of Pattern Match Checking (Fixes #595) | George Karachalias | 2015-12-03 | 1 | -0/+377 |