Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Comments only | simonpj@microsoft.com | 2010-09-15 | 1 | -2/+3 | |
* | Extend eta reduction to work with casted arguments | simonpj@microsoft.com | 2010-09-15 | 1 | -6/+63 | |
* | Allow "INLINEABLE" as a synonym | simonpj@microsoft.com | 2010-09-15 | 1 | -0/+2 | |
* | Documentation for INLINABLE | simonpj@microsoft.com | 2010-09-15 | 1 | -5/+3 | |
* | Implement TH reification of instances (Trac #1835) | simonpj@microsoft.com | 2010-09-15 | 4 | -4/+56 | |
* | Fix typo | Ian Lynagh | 2010-09-15 | 1 | -1/+1 | |
* | Add quotes in error message | simonpj@microsoft.com | 2010-09-15 | 1 | -1/+1 | |
* | Fix isDefaultInlinePragma | simonpj@microsoft.com | 2010-09-15 | 1 | -1/+5 | |
* | Implement INLINABLE pragma | simonpj@microsoft.com | 2010-09-15 | 30 | -195/+264 | |
* | Less voluminous error when derived code doesn't typecheck | simonpj@microsoft.com | 2010-09-15 | 1 | -8/+12 | |
* | Improve pretty-printing of family instances | simonpj@microsoft.com | 2010-09-15 | 1 | -8/+16 | |
* | Fix Trac #4240: -ddump-minimal-imports | simonpj@microsoft.com | 2010-09-15 | 1 | -51/+86 | |
* | Comments only | simonpj@microsoft.com | 2010-09-15 | 1 | -6/+10 | |
* | Fix egregious bug in deeplyInstantiate | simonpj@microsoft.com | 2010-09-15 | 1 | -6/+6 | |
* | Improve HsSyn pretty printing | simonpj@microsoft.com | 2010-09-15 | 3 | -19/+37 | |
* | Remove (most of) the FiniteMap wrapper | Ian Lynagh | 2010-09-14 | 28 | -470/+338 | |
* | Improve ASSERT | simonpj@microsoft.com | 2010-09-14 | 1 | -1/+1 | |
* | Comment on what an "enumeration" type is | simonpj@microsoft.com | 2010-09-14 | 2 | -9/+14 | |
* | Make absent-arg wrappers work for unlifted types (fix Trac #4306) | simonpj@microsoft.com | 2010-09-14 | 2 | -10/+26 | |
* | Comments only | simonpj@microsoft.com | 2010-09-14 | 1 | -1/+4 | |
* | Move error-ids to MkCore (from PrelRules) | simonpj@microsoft.com | 2010-09-14 | 16 | -166/+182 | |
* | More wibbles to deriving error messages | simonpj@microsoft.com | 2010-09-14 | 1 | -12/+9 | |
* | Remove defaultExtensionFlags | Ian Lynagh | 2010-09-13 | 1 | -5/+3 | |
* | Improve crash message | simonpj@microsoft.com | 2010-09-13 | 1 | -1/+1 | |
* | Fix Trac #4302, plus a little refactoring | simonpj@microsoft.com | 2010-09-13 | 3 | -53/+68 | |
* | Fix build with 6.10 | Ian Lynagh | 2010-09-13 | 8 | -3/+16 | |
* | Haddock fixes | simonpj@microsoft.com | 2010-09-13 | 2 | -8/+27 | |
* | Remove two old junk files | simonpj@microsoft.com | 2010-09-13 | 2 | -2336/+0 | |
* | Super-monster patch implementing the new typechecker -- at last | simonpj@microsoft.com | 2010-09-13 | 130 | -11287/+15298 | |
* | Fix simplifier statistics | simonpj@microsoft.com | 2010-09-09 | 1 | -6/+9 | |
* | Trace output | simonpj@microsoft.com | 2010-09-08 | 1 | -0/+1 | |
* | Better debug output | simonpj@microsoft.com | 2010-09-08 | 1 | -1/+2 | |
* | Add Outputable instance for OccEncl | simonpj@microsoft.com | 2010-09-08 | 1 | -1/+5 | |
* | Better simplifier counting | simonpj@microsoft.com | 2010-09-07 | 2 | -38/+43 | |
* | Put liftStringName into the known-key names | simonpj@microsoft.com | 2010-09-06 | 1 | -2/+3 | |
* | Deprecate NoRelaxedPolyRec | simonpj@microsoft.com | 2010-09-03 | 1 | -2/+5 | |
* | Buglet in Core Lint | simonpj@microsoft.com | 2010-09-03 | 1 | -1/+1 | |
* | Give seqId the right type | simonpj@microsoft.com | 2010-09-03 | 2 | -8/+9 | |
* | Remove dead code | simonpj@microsoft.com | 2010-09-03 | 1 | -10/+0 | |
* | Comments and layout | simonpj@microsoft.com | 2010-09-03 | 1 | -101/+127 | |
* | Remove checkFreeness; no longer needed | simonpj@microsoft.com | 2010-09-02 | 1 | -24/+1 | |
* | Assert | simonpj@microsoft.com | 2010-09-02 | 1 | -1/+2 | |
* | Add aserts | simonpj@microsoft.com | 2010-09-02 | 1 | -6/+9 | |
* | Wibbles | simonpj@microsoft.com | 2010-08-31 | 1 | -1/+1 | |
* | Wibble to allow phantom types in Enum | simonpj@microsoft.com | 2010-08-25 | 1 | -3/+3 | |
* | Add HsCoreTy to HsType | simonpj@microsoft.com | 2010-08-24 | 6 | -21/+31 | |
* | Comments | simonpj@microsoft.com | 2010-08-23 | 1 | -3/+4 | |
* | Wibbles to error message | simonpj@microsoft.com | 2010-08-23 | 1 | -1/+2 | |
* | Correct type signatures | simonpj@microsoft.com | 2010-08-23 | 1 | -2/+2 | |
* | Add missing signatures | simonpj@microsoft.com | 2010-08-23 | 1 | -1/+2 |