Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Typos in manual and comments | Gabor Greif | 2017-05-02 | 1 | -1/+1 |
* | No join-point from an INLINE function with wrong arity | Simon Peyton Jones | 2017-03-17 | 1 | -1081/+3 |
* | Typos in manual and comments [ci skip] | Gabor Greif | 2017-03-17 | 1 | -2/+2 |
* | Upgrade UniqSet to a newtype | David Feuer | 2017-03-01 | 1 | -1/+1 |
* | Make Specialise work with casts | Simon Peyton Jones | 2017-02-28 | 1 | -4/+58 |
* | Make exprIsConApp_maybe work better for literals strings | Simon Peyton Jones | 2017-02-24 | 1 | -4/+13 |
* | Generalize kind of the (->) tycon | Ben Gamari | 2017-02-18 | 1 | -2/+2 |
* | Improve the simple optimiser | Simon Peyton Jones | 2017-02-08 | 1 | -198/+364 |
* | Join points | Luke Maurer | 2017-02-01 | 1 | -5/+28 |
* | Record evaluated-ness on workers and wrappers | Simon Peyton Jones | 2017-01-23 | 1 | -5/+7 |
* | Allow top-level string literals in Core (#8472) | Takano Akio | 2017-01-20 | 1 | -1/+1 |
* | Update levity polymorphism | Richard Eisenberg | 2017-01-19 | 1 | -3/+8 |
* | Fix the implementation of the "push rules" | Simon Peyton Jones | 2017-01-06 | 1 | -95/+164 |
* | Push coercions in exprIsConApp_maybe | Simon Peyton Jones | 2016-12-23 | 1 | -2/+48 |
* | Move InId/OutId to CoreSyn | Simon Peyton Jones | 2016-12-21 | 1 | -8/+1 |
* | Replace some `length . filter` with `count` | Ömer Sinan Ağacan | 2016-08-05 | 1 | -1/+1 |
* | Refactor some ppr functions to use pprUFM | Bartosz Nitka | 2016-05-12 | 1 | -1/+3 |
* | Rename FV related functions | Bartosz Nitka | 2016-04-20 | 1 | -1/+1 |
* | Typos in non-code | Gabor Greif | 2016-03-30 | 1 | -1/+1 |
* | Tidy up handling of coercion variables | Simon Peyton Jones | 2016-03-24 | 1 | -4/+8 |
* | (Another) minor refactoring of substitutions | Simon Peyton Jones | 2016-02-18 | 1 | -26/+21 |
* | s/unLifted/unlifted for consistency | Ömer Sinan Ağacan | 2016-01-27 | 1 | -1/+1 |
* | White space only | Simon Peyton Jones | 2016-01-26 | 1 | -2/+2 |
* | Check InScopeSet in substTy and provide substTyUnchecked | Bartosz Nitka | 2016-01-19 | 1 | -1/+1 |
* | Replace calls to `ptext . sLit` with `text` | Jan Stolarek | 2016-01-18 | 1 | -7/+7 |
* | Have mkCastTy look more closely for reflexivity. | Richard Eisenberg | 2015-12-26 | 1 | -5/+8 |
* | Improve tracing a bit in CoreSubst | Simon Peyton Jones | 2015-12-24 | 1 | -22/+28 |
* | Fix #11230. | Richard Eisenberg | 2015-12-17 | 1 | -6/+5 |
* | Add kind equalities to GHC. | Richard Eisenberg | 2015-12-11 | 1 | -112/+132 |
* | Create a deterministic version of tyVarsOfType | Bartosz Nitka | 2015-11-21 | 1 | -8/+9 |
* | Rename SpecInfo to RuleInfo (upon SPJ's advice). | Edward Z. Yang | 2015-10-10 | 1 | -7/+7 |
* | CoreUtils: Move seq* functions to CoreSeq | Ben Gamari | 2015-07-16 | 1 | -0/+1 |
* | Do not optimise RULE lhs in substRule | Simon Peyton Jones | 2015-07-13 | 1 | -8/+23 |
* | Reduce magic for seqId | Simon Peyton Jones | 2015-05-22 | 1 | -4/+11 |
* | Typos in error messages and in comments | Gabor Greif | 2015-04-10 | 1 | -5/+5 |
* | Source notes (Core support) | Peter Wortmann | 2014-12-16 | 1 | -11/+23 |
* | compiler: de-lhs coreSyn/ | Austin Seipp | 2014-12-03 | 1 | -0/+1408 |