Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Never generate a `tyvar <~ sigma` constraint | Alejandro Serrano | 2015-08-01 | 1 | -18/+7 |
* | Better simplification of casts in simple_opt_expr | Alejandro Serrano | 2015-07-30 | 1 | -3/+5 |
* | Fix problem in RULES simplification | Alejandro Serrano | 2015-07-29 | 1 | -14/+14 |
* | Fix problem with double-pass simpleOpt | Alejandro Serrano | 2015-07-29 | 1 | -7/+14 |
* | Merge remote-tracking branch 'origin/master' into wip/impredicativity | Alejandro Serrano | 2015-07-27 | 1 | -0/+1 |
|\ | |||||
| * | CoreUtils: Move seq* functions to CoreSeq | Ben Gamari | 2015-07-16 | 1 | -0/+1 |
* | | Make two passes in simpleOptExpr | Alejandro Serrano | 2015-07-24 | 1 | -8/+28 |
* | | Merge remote-tracking branch 'origin/master' into wip/impredicativity | Alejandro Serrano | 2015-07-16 | 1 | -8/+23 |
|\ \ | |/ | |||||
| * | Do not optimise RULE lhs in substRule | Simon Peyton Jones | 2015-07-13 | 1 | -8/+23 |
* | | Rename and give right kind to (<~) | Alejandro Serrano | 2015-07-10 | 1 | -9/+6 |
* | | Remove isInstantiationFn from IdInfo | Alejandro Serrano | 2015-07-09 | 1 | -15/+11 |
* | | Keep working on RULES simplification | Alejandro Serrano | 2015-07-08 | 1 | -9/+17 |
* | | Fix problem with RULES desugaring | Alejandro Serrano | 2015-07-03 | 1 | -4/+1 |
* | | Fix bugs in expression optimization | Alejandro Serrano | 2015-07-03 | 1 | -1/+10 |
|/ | |||||
* | 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 |