summaryrefslogtreecommitdiff
path: root/compiler/specialise
Commit message (Expand)AuthorAgeFilesLines
* Remove some redundant definitions/constraintsHerbert Valerio Riedel2015-12-311-1/+0
* Drop pre-AMP compatibility CPP conditionalsHerbert Valerio Riedel2015-12-311-3/+0
* Remote GHCi, -fexternal-interpreterSimon Marlow2015-12-171-1/+1
* Add kind equalities to GHC.Richard Eisenberg2015-12-113-54/+70
* Make callToPats deterministic in SpecConstrBartosz Nitka2015-12-041-2/+8
* Implement more deterministic operations and document themBartosz Nitka2015-12-021-3/+3
* Create a deterministic version of tyVarsOfTypeBartosz Nitka2015-11-211-4/+4
* MonadFail proposal, phase 1David Luposchainsky2015-11-171-0/+8
* Put kind variables before type variables when specializingBartosz Nitka2015-11-111-5/+6
* Make Monad/Applicative instances MRP-friendlyHerbert Valerio Riedel2015-10-171-2/+2
* Rename SpecInfo to RuleInfo (upon SPJ's advice).Edward Z. Yang2015-10-103-25/+25
* Move orphan instance/rule warnings to typechecker/desugarer.Edward Z. Yang2015-10-081-0/+20
* Remove dead code: ruleLhsOrphNamesSimon Peyton Jones2015-10-061-1/+0
* Testsuite: don't warn about missing specialisationsThomas Miedema2015-09-021-0/+1
* Warn about missed specialisations for importsSimon Peyton Jones2015-08-051-16/+49
* Typos in comments [skip ci]Gabor Greif2015-08-031-1/+1
* Deal with phantom type variables in rulesSimon Peyton Jones2015-07-301-42/+78
* Slight refactoring to the fix for #4012Simon Peyton Jones2015-07-231-5/+2
* Do occurrence analysis on result of BuiltInRuleSimon Peyton Jones2015-07-211-2/+3
* Avoid out-of-scope top-level IdsSimon Peyton Jones2015-07-211-16/+15
* Reduce non-determinism in ABI hashes with RULES and instance declsBartosz Nitka2015-07-171-3/+9
* Another comment with a leading # (sigh)Simon Peyton Jones2015-07-131-2/+2
* Make sure rule LHSs are simplifiedSimon Peyton Jones2015-07-131-4/+21
* Specialise: Avoid unnecessary recomputation of free variable informationBen Gamari2015-07-061-22/+34
* Add -fcross-module-specialise flagBen Gamari2015-06-281-10/+54
|\
| * Add -fcross-module-specialise flagBen Gamari2015-06-281-10/+54
* | Filter orphan rules based on imports, fixes #10294 and #10420.Edward Z. Yang2015-06-203-20/+56
|/
* compiler/specialise: shut match_co up a bitAustin Seipp2015-06-011-2/+6
* Refactor tuple constraintsSimon Peyton Jones2015-05-181-2/+1
* Revert multiple commitsAustin Seipp2015-05-141-1/+2
* Refactor tuple constraintsSimon Peyton Jones2015-05-131-2/+1
* Comments onlySimon Peyton Jones2015-05-011-1/+4
* Seed SpecConstr from local callsSimon Peyton Jones2015-04-291-24/+52
* Typos in error messages and in commentsGabor Greif2015-04-101-1/+1
* Move declaration of Rulebase from Rules to CoreSynSimon Peyton Jones2015-03-171-7/+1
* Replace .lhs with .hs in compiler commentsYuri de Wit2015-02-091-2/+2
* 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
View Lorry Controller Status