summaryrefslogtreecommitdiff
path: root/compiler/specialise
Commit message (Expand)AuthorAgeFilesLines
* Deal with phantom type variables in rulesSimon Peyton Jones2015-10-221-42/+78
* Another comment with a leading # (sigh)Simon Peyton Jones2015-07-191-2/+2
* Make sure rule LHSs are simplifiedSimon Peyton Jones2015-07-141-4/+21
* Add an ambient Id substitution to SubstSimon Peyton Jones2015-07-101-4/+4
* Specialise: Avoid unnecessary recomputation of free variable informationBen Gamari2015-07-061-22/+34
* compiler/specialise: shut match_co up a bitAustin Seipp2015-06-011-2/+6
* Source notes (Core support)Peter Wortmann2014-12-162-19/+51
* compiler: de-lhs specialise/Austin Seipp2014-12-033-181/+163
* Avoid printing uniques in specialization rulesJoachim Breitner2014-10-171-1/+5
* 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
View Lorry Controller Status