summaryrefslogtreecommitdiff
path: root/compiler/coreSyn/CoreSubst.hs
Commit message (Expand)AuthorAgeFilesLines
* Fix PmOracle.addVarCoreCt in-scope setSimon Peyton Jones2019-09-201-1/+1
* Remove unused imports of the form 'import foo ()' (Fixes #17065)James Foster2019-08-151-1/+0
* Break up TyCoRepBen Gamari2019-07-311-9/+9
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-1/+1
* Coercion Quantificationningning2018-09-151-5/+5
* Comments about the substition invariantSimon Peyton Jones2018-05-251-20/+14
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Typos in manual and commentsGabor Greif2017-05-021-1/+1
* No join-point from an INLINE function with wrong aritySimon Peyton Jones2017-03-171-1081/+3
* Typos in manual and comments [ci skip]Gabor Greif2017-03-171-2/+2
* Upgrade UniqSet to a newtypeDavid Feuer2017-03-011-1/+1
* Make Specialise work with castsSimon Peyton Jones2017-02-281-4/+58
* Make exprIsConApp_maybe work better for literals stringsSimon Peyton Jones2017-02-241-4/+13
* Generalize kind of the (->) tyconBen Gamari2017-02-181-2/+2
* Improve the simple optimiserSimon Peyton Jones2017-02-081-198/+364
* Join pointsLuke Maurer2017-02-011-5/+28
* Record evaluated-ness on workers and wrappersSimon Peyton Jones2017-01-231-5/+7
* Allow top-level string literals in Core (#8472)Takano Akio2017-01-201-1/+1
* Update levity polymorphismRichard Eisenberg2017-01-191-3/+8
* Fix the implementation of the "push rules"Simon Peyton Jones2017-01-061-95/+164
* Push coercions in exprIsConApp_maybeSimon Peyton Jones2016-12-231-2/+48
* Move InId/OutId to CoreSynSimon Peyton Jones2016-12-211-8/+1
* Replace some `length . filter` with `count`Ömer Sinan Ağacan2016-08-051-1/+1
* Refactor some ppr functions to use pprUFMBartosz Nitka2016-05-121-1/+3
* Rename FV related functionsBartosz Nitka2016-04-201-1/+1
* Typos in non-codeGabor Greif2016-03-301-1/+1
* Tidy up handling of coercion variablesSimon Peyton Jones2016-03-241-4/+8
* (Another) minor refactoring of substitutionsSimon Peyton Jones2016-02-181-26/+21
* s/unLifted/unlifted for consistencyÖmer Sinan Ağacan2016-01-271-1/+1
* White space onlySimon Peyton Jones2016-01-261-2/+2
* Check InScopeSet in substTy and provide substTyUncheckedBartosz Nitka2016-01-191-1/+1
* Replace calls to `ptext . sLit` with `text`Jan Stolarek2016-01-181-7/+7
* Have mkCastTy look more closely for reflexivity.Richard Eisenberg2015-12-261-5/+8
* Improve tracing a bit in CoreSubstSimon Peyton Jones2015-12-241-22/+28
* Fix #11230.Richard Eisenberg2015-12-171-6/+5
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-112/+132
* Create a deterministic version of tyVarsOfTypeBartosz Nitka2015-11-211-8/+9
* Rename SpecInfo to RuleInfo (upon SPJ's advice).Edward Z. Yang2015-10-101-7/+7
* CoreUtils: Move seq* functions to CoreSeqBen Gamari2015-07-161-0/+1
* Do not optimise RULE lhs in substRuleSimon Peyton Jones2015-07-131-8/+23
* 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
View Lorry Controller Status