summaryrefslogtreecommitdiff
path: root/compiler/simplCore
Commit message (Expand)AuthorAgeFilesLines
* 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
* Filter orphan rules based on imports, fixes #10294 and #10420.Edward Z. Yang2015-06-203-12/+28
* Refactor filterAlts into two partsSimon Peyton Jones2015-06-181-94/+12
* Care with impossible-cons in combineIdenticalAltsSimon Peyton Jones2015-06-181-16/+43
* compiler: make sure we reject -O + HscInterpretedAustin Seipp2015-06-021-0/+27
* Use named fields in SimplCont.Select constructorSimon Peyton Jones2015-06-012-30/+39
* Use seq rather than (==) to force the sizeSimon Peyton Jones2015-06-011-1/+1
* Fix a huge space leak in the mighty SimplifierSimon Peyton Jones2015-05-224-281/+380
* Revert "compiler: make sure we reject -O + HscInterpreted" (again)Austin Seipp2015-05-191-27/+0
* compiler: make sure we reject -O + HscInterpretedAustin Seipp2015-05-191-0/+27
* Revert D727Austin Seipp2015-05-121-27/+0
* compiler: make sure we reject -O + HscInterpretedAustin Seipp2015-05-111-0/+27
* Spelling in commentSimon Peyton Jones2015-04-211-1/+1
* Call Arity: Trade precision for performance in large mutually recursive groupsJoachim Breitner2015-04-161-0/+3
* Improve Call Arity performanceJoachim Breitner2015-04-151-59/+68
* Zap usage info in CSE (Trac #10218)Simon Peyton Jones2015-04-142-13/+24
View Lorry Controller Status