summaryrefslogtreecommitdiff
path: root/compiler/simplCore
Commit message (Expand)AuthorAgeFilesLines
* Get rid of varSetElemsWellScoped in abstractFloatsBartosz Nitka2016-04-221-4/+4
* Rename FV related functionsBartosz Nitka2016-04-201-2/+2
* Remove dead function SimplUtils.countValArgsSimon Peyton Jones2016-04-151-8/+1
* Add a final demand analyzer run right before TidyCoreJoachim Breitner2016-04-141-0/+5
* Demand Analyzer: Do not set OneShot information (second try)Joachim Breitner2016-04-061-13/+29
* CSE code cleanup and improvementSimon Peyton Jones2016-04-061-112/+189
* Revert "Demand Analyzer: Do not set OneShot information"Joachim Breitner2016-03-311-24/+9
* Demand Analyzer: Do not set OneShot informationJoachim Breitner2016-03-311-9/+24
* Typos in non-codeGabor Greif2016-03-303-3/+3
* Tidy up handling of coercion variablesSimon Peyton Jones2016-03-241-7/+9
* Create empty dump files (fixes #10320)Kai Harries2016-03-241-1/+13
* ErrUtils: Add timings to compiler phasesBen Gamari2016-03-241-17/+22
* Simplify: Make generated names more usefulBen Gamari2016-03-121-13/+19
* SimplEnv: Add Haddock headings to export listBen Gamari2016-03-051-4/+8
* Filter out BuiltinRules in occurrence analysisSimon Peyton Jones2016-02-261-0/+14
* Print which warning-flag controls an emitted warningMichael Walker2016-02-252-2/+3
* (Another) minor refactoring of substitutionsSimon Peyton Jones2016-02-182-17/+19
* Another batch of typo fixes in non-codeGabor Greif2016-02-112-2/+2
* s/unLifted/unlifted for consistencyÖmer Sinan Ağacan2016-01-274-13/+13
* Fix two cloning-related bugsSimon Peyton Jones2016-01-261-32/+52
* Replace calls to `ptext . sLit` with `text`Jan Stolarek2016-01-189-96/+91
* Work SourceText in for all integer literalsAlan Zimmerman2016-01-161-2/+2
* Typos in docs and commentsGabor Greif2016-01-071-2/+2
* Canonicalise `MonadPlus` instancesHerbert Valerio Riedel2016-01-011-9/+5
* Remove some redundant definitions/constraintsHerbert Valerio Riedel2015-12-312-5/+3
* Improve exprIsBottomSimon Peyton Jones2015-12-311-1/+12
* Improve SimplUtils.interestingArgSimon Peyton Jones2015-12-241-13/+16
* Add kind equalities to GHC.Richard Eisenberg2015-12-1110-161/+208
* Implement more deterministic operations and document themBartosz Nitka2015-12-021-4/+4
* Some improvements on CoreToDos passed to pluginsÖmer Sinan Ağacan2015-11-292-2/+9
* Add a simplifier trace for eta-expansionSimon Peyton Jones2015-11-251-1/+4
* Make abstractVars deterministic in SetLevelBartosz Nitka2015-11-231-11/+16
* Create a deterministic version of tyVarsOfTypeBartosz Nitka2015-11-212-32/+37
* Replace freeVarsOf scrut with scrut_fvs to avoid repetitionBartosz Nitka2015-11-081-1/+1
* Call Arity: In "e x", the result of "x" is not sharedJoachim Breitner2015-11-061-5/+15
* Generate Typeable info at definition sitesBen Gamari2015-10-301-2/+2
* Revert "Generate Typeable info at definition sites"Ben Gamari2015-10-291-2/+2
* Generate Typeable info at definition sitesBen Gamari2015-10-291-2/+2
* Make worker-wrapper optionalChristiaan Baaij2015-10-271-10/+14
* Make Monad/Applicative instances MRP-friendlyHerbert Valerio Riedel2015-10-172-8/+7
* Don't inline/apply other rules when simplifying a rule RHS.Andrew Farmer2015-10-122-16/+15
* Rename SpecInfo to RuleInfo (upon SPJ's advice).Edward Z. Yang2015-10-104-11/+11
* Fix kind-var abstraction in SimplUtils.abstractFloatsSimon Peyton Jones2015-10-061-17/+30
* Typos in commentsJoachim Breitner2015-10-011-2/+2
* Implement lookupGlobal in TcEnv, and use itSimon Peyton Jones2015-08-261-5/+4
* Coments onlySimon Peyton Jones2015-08-061-2/+6
* Allow proper errors/warnings in core2core passesSimon Peyton Jones2015-08-052-26/+54
* Do not inline or apply rules on LHS of rulesSimon Peyton Jones2015-07-273-19/+39
* CoreUtils: Move size utilities to CoreStatsBen Gamari2015-07-161-2/+2
* Comments onlySimon Peyton Jones2015-07-101-0/+2