summaryrefslogtreecommitdiff
path: root/compiler/coreSyn/CoreSubst.hs
Commit message (Expand)AuthorAgeFilesLines
* Never generate a `tyvar <~ sigma` constraintAlejandro Serrano2015-08-011-18/+7
* Better simplification of casts in simple_opt_exprAlejandro Serrano2015-07-301-3/+5
* Fix problem in RULES simplificationAlejandro Serrano2015-07-291-14/+14
* Fix problem with double-pass simpleOptAlejandro Serrano2015-07-291-7/+14
* Merge remote-tracking branch 'origin/master' into wip/impredicativityAlejandro Serrano2015-07-271-0/+1
|\
| * CoreUtils: Move seq* functions to CoreSeqBen Gamari2015-07-161-0/+1
* | Make two passes in simpleOptExprAlejandro Serrano2015-07-241-8/+28
* | Merge remote-tracking branch 'origin/master' into wip/impredicativityAlejandro Serrano2015-07-161-8/+23
|\ \ | |/
| * Do not optimise RULE lhs in substRuleSimon Peyton Jones2015-07-131-8/+23
* | Rename and give right kind to (<~)Alejandro Serrano2015-07-101-9/+6
* | Remove isInstantiationFn from IdInfoAlejandro Serrano2015-07-091-15/+11
* | Keep working on RULES simplificationAlejandro Serrano2015-07-081-9/+17
* | Fix problem with RULES desugaringAlejandro Serrano2015-07-031-4/+1
* | Fix bugs in expression optimizationAlejandro Serrano2015-07-031-1/+10
|/
* Reduce magic for seqIdSimon Peyton Jones2015-05-221-4/+11
* Typos in error messages and in commentsGabor Greif2015-04-101-5/+5
* Source notes (Core support)Peter Wortmann2014-12-161-11/+23
* compiler: de-lhs coreSyn/Austin Seipp2014-12-031-0/+1408