summaryrefslogtreecommitdiff
path: root/compiler/specialise
Commit message (Expand)AuthorAgeFilesLines
* Stop exporting, and stop using, functions marked as deprecatedThomas Miedema2014-09-271-3/+3
* Make Applicative a superclass of MonadAustin Seipp2014-09-091-0/+2
* Better specImport discarding message (again)Simon Peyton Jones2014-08-291-10/+14
* Improve "specImport discarding" messageSimon Peyton Jones2014-08-291-1/+2
* Comments onlySimon Peyton Jones2014-08-281-9/+26
* Add -fspecialise-aggressivelySimon Peyton Jones2014-08-281-42/+97
* Refactor unfoldingsSimon Peyton Jones2014-08-281-45/+54
* 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-153-0/+6
* Improve comments and tracing in SpecConstrSimon Peyton Jones2014-05-051-22/+31
* 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
View Lorry Controller Status