summaryrefslogtreecommitdiff
path: root/compiler/specialise
Commit message (Expand)AuthorAgeFilesLines
* Fix some typos in commentsGabor Greif2014-02-131-1/+1
* Remove eta-expansion in Rules.matchJoachim Breitner2014-02-111-8/+0
* Use exprIsLambda_maybe in matchJoachim Breitner2014-02-111-34/+9
* Add Case TyConAppCo to match_coJoachim Breitner2014-02-111-3/+22
* Note [Eta expansion in match]Joachim Breitner2014-02-101-0/+19
* Simplify doCorePassJoachim Breitner2014-01-201-2/+3
* 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
* Replace (State# RealWorld) with Void# where we just want a 0-bit valueSimon Peyton Jones2013-11-221-2/+2
* Update documentation regarding SpecConstr.Austin Seipp2013-10-251-25/+31
* Make SpecConstr also check for GHC.Types.SPECAustin Seipp2013-10-251-6/+8
* TyposKrzysztof Gogolewski2013-10-121-1/+1
* Fix AMP warnings.Austin Seipp2013-09-111-0/+8
* Make Specialise close over kind variables (fixes Trac #8196)Simon Peyton Jones2013-09-021-3/+3
* Fix comment typos that interfere with syntax highlightingPatrick Palka2013-08-301-1/+1
* Implement "roles" into GHC.Richard Eisenberg2013-08-022-4/+5
* Fix typosGabor Greif2013-07-311-1/+1
* Avoid needlessly splitting a UniqSupply when extracting a Unique (#8041)Patrick Palka2013-07-061-0/+6
* Refine 'type_determines_value' in Specialise. Fix Trac #7785.Simon Peyton Jones2013-05-301-8/+32
* Make 'SPECIALISE instance' work againSimon Peyton Jones2013-05-302-42/+54
* 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
* Extra comment about the fix to Trac #5113Simon Peyton Jones2013-02-111-0/+6
* Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2013-02-082-72/+72
|\
| * Minor documentation and indentation/layout fixes to SpecConstrAmos Robinson2013-02-021-69/+69
| * typosGabor Greif2013-01-302-3/+3
* | Fix an old and egregious specialisation bug (Trac #5113)Simon Peyton Jones2013-02-081-176/+214
|/
* 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-092-12/+16
* Pass DynFlags to the ru_try functions of built-in rulesIan Lynagh2012-09-172-17/+21
* Don't specialise on implicit-parameter arguments in SpecaliseSimon Peyton Jones2012-08-231-4/+8
* Two small fixes to SpecConstr for functions with equality-proof argsSimon Peyton Jones2012-08-232-5/+8
* typos in trace strings (which I observed in compile output)Gabor Greif2012-07-181-1/+1
* Change more uses of sortLe to sortByIan Lynagh2012-06-221-3/+2
* Pass DynFlags down to showSDocIan Lynagh2012-06-121-3/+6
* Pass DynFlags down to showSDocDumpIan Lynagh2012-06-121-20/+54
* Fix whitespace in specialise/Specialise.lhsIan Lynagh2012-06-111-497/+490
* Tell built-in rules the Id that the rule has matchedIan Lynagh2012-06-061-6/+6
* Fix whitespace in specialise/Rules.lhsIan Lynagh2012-06-061-289/+282
* Allow cases with empty alterantivesSimon Peyton Jones2012-05-022-6/+6
* Improved debug printing with -dverbose-core2coreSimon Peyton Jones2012-03-041-1/+1
* Make the specialiser understand about polymorphic kindsSimon Peyton Jones2012-02-171-9/+14
* Move mkPiTypes back to Type, rename mkForAllArrowKinds to mkPiKindsJose Pedro Magalhaes2011-11-161-1/+1
View Lorry Controller Status