summaryrefslogtreecommitdiff
path: root/compiler/simplCore
Commit message (Expand)AuthorAgeFilesLines
* Add an ambient Id substitution to Substwip/T10527-2Simon Peyton Jones2015-07-082-79/+40
* Use lazy substitution in simplCastSimon Peyton Jones2015-07-062-8/+89
* Care with impossible-cons in combineIdenticalAltsSimon Peyton Jones2015-06-181-16/+43
* compiler: make sure we reject -O + HscInterpretedAustin Seipp2015-06-021-0/+27
* Fix a huge space leak in the mighty SimplifierSimon Peyton Jones2015-06-014-276/+379
* Revert "compiler: make sure we reject -O + HscInterpreted"Austin Seipp2015-05-221-27/+0
* compiler: make sure we reject -O + HscInterpretedAustin Seipp2015-05-191-0/+27
* Call Arity: Trade precision for performance in large mutually recursive groupsJoachim Breitner2015-05-111-0/+3
* Improve Call Arity performanceJoachim Breitner2015-05-111-59/+68
* Zap usage info in CSE (Trac #10218)Simon Peyton Jones2015-04-142-13/+24
* Trim Call ArityJoachim Breitner2015-03-221-5/+46
* Split stripTicks into expression editing and tick collectionghc-7.10.1-rc2Peter Wortmann2015-01-232-6/+8
* Typos in commentsGabor Greif2014-12-171-1/+1
* Annotation lintingPeter Wortmann2014-12-161-2/+3
* Source notes (Core support)Peter Wortmann2014-12-169-151/+212
* Make Core Lint check for locally-bound GlobalIdsSimon Peyton Jones2014-12-152-205/+1
* Fix an obscure but terrible bug in the simplifier (Trac #9567)Simon Peyton Jones2014-12-112-189/+288
* compiler: de-lhs simplCore/Austin Seipp2014-12-0313-737/+616
* Implement typechecker pluginsAdam Gundry2014-11-202-71/+8
* Turn CoreWriter into a newtype; fix commentDavid Feuer2014-11-191-8/+11
* Improve Applicative definitionsDavid Feuer2014-11-071-1/+2
* Remove -ddump-core-pipeline flagJan Stolarek2014-11-062-5/+1
* Remove -ddump-simpl-phases flagJan Stolarek2014-11-062-38/+11
* Add comments explaining ProbOneShotSimon Peyton Jones2014-11-042-2/+3
* Some refactoring around endPass and debug dumpingSimon Peyton Jones2014-11-044-31/+55
* Fix comment typosJan Stolarek2014-10-312-3/+3
* Comments onlyJan Stolarek2014-10-301-1/+1
* Fix comment typos: lll -> ll, THe -> TheJan Stolarek2014-10-142-2/+2
* [ci skip] compiler: Kill last remaining tabs in CallArityAustin Seipp2014-10-011-2/+2
* Simplify mergeSATInfo by using zipWithDavid Feuer2014-10-011-9/+18
* Fix bogus commentSimon Peyton Jones2014-10-011-2/+2
* Stop exporting, and stop using, functions marked as deprecatedThomas Miedema2014-09-271-1/+1
* De-tabify and remove trailing whitespaceSimon Peyton Jones2014-09-262-263/+251
* [ci skip] simplCore: detabify/dewhitespace CoreMonadAustin Seipp2014-09-251-217/+211
* Ensure that loop breakers are computed when glommingSimon Peyton Jones2014-09-231-12/+30
* Fix garbled comment wordingSimon Peyton Jones2014-09-191-2/+3
* Use mapAccumL (refactoring only)Simon Peyton Jones2014-09-191-8/+1
* Make Applicative a superclass of MonadAustin Seipp2014-09-091-4/+4
* Typos in commentsGabor Greif2014-08-291-2/+2
* When finding loop breakers, distinguish INLINE from INLINEABLESimon Peyton Jones2014-08-291-36/+19
* Comments, white space, and rename "InlineRule" to "stable unfolding"Simon Peyton Jones2014-08-293-42/+42
* Fix a bug in CSE, for INLINE/INLNEABLE thingsSimon Peyton Jones2014-08-291-44/+40
* Define mapUnionVarSet, and use itSimon Peyton Jones2014-08-293-8/+8
* Simple refactor of the case-of-case transformSimon Peyton Jones2014-08-281-17/+11
* Run float-inwards immediately before the strictness analyser.Simon Peyton Jones2014-08-281-2/+7
* Comments onlySimon Peyton Jones2014-08-281-0/+3
* Don't float out (classop dict e1 e2)Simon Peyton Jones2014-08-283-17/+30
* Refactor unfoldingsSimon Peyton Jones2014-08-281-5/+5
* Less voluminous output when printing continuationsSimon Peyton Jones2014-08-281-1/+1
* simplCore: detabify/dewhitespace LiberateCaseAustin Seipp2014-08-201-128/+120