summaryrefslogtreecommitdiff
path: root/compiler/basicTypes/Id.hs
Commit message (Expand)AuthorAgeFilesLines
* Don't eta-expand unsaturated primopsBen Gamari2019-06-251-14/+9
* Implement the -XUnliftedNewtypes extension.Andrew Martin2019-06-141-1/+1
* Compute demand signatures assuming idAritySebastian Graf2019-04-301-0/+1
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-4/+4
* Look through newtype wrappers (Trac #16254)Krzysztof Gogolewski2019-02-191-1/+8
* Make constructor wrappers inline only during the final phaseArnaud Spiwack2019-02-191-1/+7
* Implement late lambda liftSebastian Graf2018-11-231-1/+2
* Refactor the treatment of predicate typesSimon Peyton Jones2018-10-241-9/+9
* A few typofixes in commentsGabor Greif2018-06-291-1/+1
* Implement QuantifiedConstraintsSimon Peyton Jones2018-06-041-1/+1
* Some cleanup of the Exitification codeJoachim Breitner2018-04-091-5/+1
* Comments only, about exitifcationSimon Peyton Jones2018-04-061-1/+1
* Detect levity-polymorphic uses of unsafeCoerce#Simon Peyton Jones2017-12-131-3/+23
* Implement a dedicated exitfication pass #14152Joachim Breitner2017-10-291-1/+5
* A bunch of typofixesGabor Greif2017-09-261-1/+1
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Remove unneeded uses of ImplicitParamsRyan Scott2017-08-021-1/+1
* Typofixes [ci skip]Gabor Greif2017-08-011-1/+1
* Zap stable unfoldings in worker/wrapperSimon Peyton Jones2017-06-281-2/+7
* Handle type-lets betterSimon Peyton Jones2017-05-171-2/+4
* Move isJoinId, isJoinId_maybe to IdSimon Peyton Jones2017-02-281-3/+20
* Get rid of ProbOneShotJoachim Breitner2017-02-031-4/+1
* Ditch static flagsSylvain Henry2017-02-021-2/+2
* Join pointsLuke Maurer2017-02-011-7/+55
* Record evaluated-ness on workers and wrappersSimon Peyton Jones2017-01-231-2/+11
* Update levity polymorphismRichard Eisenberg2017-01-191-1/+9
* Revert "Record evaluated-ness on workers and wrappers"Matthew Pickering2017-01-151-11/+2
* Record evaluated-ness on workers and wrappersSimon Peyton Jones2017-01-131-2/+11
* Add a CSE pass to Stg (#9291)Joachim Breitner2017-01-051-0/+6
* Revert "Do not init record accessors as exported"Ben Gamari2016-12-171-7/+0
* Use 'v' instead of 'tpl' for template varsSimon Peyton Jones2016-11-251-1/+1
* Remove `setUnfoldingInfoLazily`Matthew Pickering2016-08-031-6/+1
* Implement unboxed sum primitive typeÖmer Sinan Ağacan2016-07-211-5/+2
* Do not init record accessors as exportedÖmer Sinan Ağacan2016-05-271-0/+7
* Implement the state hack without modifiyng OneShotInfoJoachim Breitner2016-04-271-16/+16
* Add a final demand analyzer run right before TidyCoreJoachim Breitner2016-04-141-2/+9
* Tidy up handling of coercion variablesSimon Peyton Jones2016-03-241-18/+2
* Refactoring on IdInfo and system derived namesSimon Peyton Jones2016-01-181-1/+5
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-22/+68
* Remove PatSynBuilderIdMatthew Pickering2015-11-071-10/+1
* Record pattern synonymsMatthew Pickering2015-10-291-5/+26
* Implement DuplicateRecordFieldsAdam Gundry2015-10-161-6/+6
* Rename SpecInfo to RuleInfo (upon SPJ's advice).Edward Z. Yang2015-10-101-6/+6
* Comments and white spaceSimon Peyton Jones2015-08-261-4/+3
* Typos in commentsGabor Greif2015-07-311-1/+1
* Move seqExpr, seqIdInfo etc to CoreUtilsSimon Peyton Jones2015-06-011-1/+1
* Zap usage info in CSE (Trac #10218)Simon Peyton Jones2015-04-141-3/+7
* Typos in commentsGabor Greif2015-03-181-1/+1
* Replace .lhs with .hs in compiler commentsYuri de Wit2015-02-091-2/+2
* Eliminate so-called "silent superclass parameters"Simon Peyton Jones2014-12-231-6/+1