summaryrefslogtreecommitdiff
path: root/compiler/specialise/SpecConstr.lhs
Commit message (Expand)AuthorAgeFilesLines
* compiler: de-lhs specialise/Austin Seipp2014-12-031-2038/+0
* Stop exporting, and stop using, functions marked as deprecatedThomas Miedema2014-09-271-3/+3
* More refactoring in SpecConstrSimon Peyton Jones2014-08-251-49/+73
* Do not duplicate call information in SpecConstr (Trac #8852)Simon Peyton Jones2014-08-251-23/+49
* Introduce the Call data typesSimon Peyton Jones2014-08-251-3/+16
* Add LANGUAGE pragmas to compiler/ source filesHerbert Valerio Riedel2014-05-151-0/+2
* Improve comments and tracing in SpecConstrSimon Peyton Jones2014-05-051-22/+31
* Fix some typos in commentsGabor Greif2014-02-131-1/+1
* Fix TyCon importAustin Seipp2014-01-141-1/+1
* Fix ./validate failure due to -WerrorAustin Seipp2014-01-141-2/+2
* Improve the handling of used-once stuffSimon Peyton Jones2013-12-121-1/+1
* Replace mkTopDmdType by mkClosedStrictSigJoachim Breitner2013-12-091-1/+1
* Update documentation regarding SpecConstr.Austin Seipp2013-10-251-25/+31
* Make SpecConstr also check for GHC.Types.SPECAustin Seipp2013-10-251-6/+8
* Fix comment typos that interfere with syntax highlightingPatrick Palka2013-08-301-1/+1
* Implement "roles" into GHC.Richard Eisenberg2013-08-021-1/+1
* SpecConstr: seed specialisation of top-level bindings, as with letrecs.Amos Robinson2013-05-151-29/+113
* Do not duplicate work in SpecConstr (fix Trac #7865)Simon Peyton Jones2013-05-031-5/+58
* ignore RealWorld in size_expr; flag to keep w/w from creating sharingNicolas Frisby2013-04-111-1/+1
* Fix non-termination of SpecConstr (see #5550).Amos Robinson2013-03-281-18/+46
* Minor documentation and indentation/layout fixes to SpecConstrAmos Robinson2013-02-021-69/+69
* typosGabor Greif2013-01-301-2/+2
* Introduce CPR for sum types (Trac #5075)Simon Peyton Jones2013-01-241-1/+1
* Major patch to implement the new Demand AnalyserSimon Peyton Jones2013-01-171-14/+16
* Avoid putting uniqs in specconstr rules; part of #4012Ian Lynagh2012-11-021-3/+7
* Whitespace only in specialise/SpecConstr.lhsIan Lynagh2012-11-021-591/+584
* Make the opt_UF_* static flags dynamicIan Lynagh2012-10-091-1/+1
* Two small fixes to SpecConstr for functions with equality-proof argsSimon Peyton Jones2012-08-231-4/+2
* Pass DynFlags down to showSDocIan Lynagh2012-06-121-3/+6
* Allow cases with empty alterantivesSimon Peyton Jones2012-05-021-2/+2
* Establish the invariant that (LitAlt l) is always unliftedSimon Peyton Jones2011-11-091-1/+3
* Remove some out-of-date commentsIan Lynagh2011-11-051-6/+0
* Use -fwarn-tabs when validatingIan Lynagh2011-11-041-0/+7
* Overhaul of infrastructure for profiling, coverage (HPC) and breakpointsSimon Marlow2011-11-021-7/+7
* Merge branch 'no-pred-ty'Max Bolingbroke2011-09-091-1/+1
|\
| * Implement -XConstraintKindMax Bolingbroke2011-09-061-1/+1
* | Fix typos in commentsIan Lynagh2011-09-081-3/+3
|/
* Link the de-synonym change to ticket Trac #5458Simon Peyton Jones2011-09-051-1/+2
* De-synonym the types of the abtracted term variables in SpecConstrSimon Peyton Jones2011-09-051-2/+20
* Add Type.tyConAppTyCon_maybe and tyConAppArgs_maybe, and use themSimon Peyton Jones2011-08-031-3/+3
* Suppress the alarming SpecConstr message for normal users (Trac #5125)Simon Peyton Jones2011-05-261-2/+4
* This BIG PATCH contains most of the work for the New Coercion RepresentationSimon Peyton Jones2011-04-191-12/+22
* Fix Trac #4945: another SpecConstr infelicitysimonpj@microsoft.com2011-02-071-21/+35
* Fix typo in SpecConstr that made it not work at allsimonpj@microsoft.com2011-02-031-1/+1
* Some refactoring of SpecConstrsimonpj@microsoft.com2011-02-011-87/+73
* Improve Simplifier and SpecConstr behavioursimonpj@microsoft.com2011-01-311-18/+39
* Inherit the ForceSpecConstr flag in non-recursive nested bindingsRoman Leshchinskiy2010-11-271-5/+7
* Make SpecConstr "look through" identity coercionssimonpj@microsoft.com2010-11-251-0/+3
* Comments onlysimonpj@microsoft.com2010-11-191-8/+31
* ForceSpecConstr now forces specialisation even for arguments which aren't scr...Roman Leshchinskiy2010-11-181-24/+31
View Lorry Controller Status