summaryrefslogtreecommitdiff
path: root/compiler/specialise
Commit message (Expand)AuthorAgeFilesLines
* Fix 'SPECIALISE instance'Simon Peyton Jones2016-12-211-17/+12
* Move InId/OutId to CoreSynSimon Peyton Jones2016-12-211-9/+0
* Allow use of the external interpreter in stage1.Shea Levy2016-12-201-16/+3
* Revert "Allow use of the external interpreter in stage1."Tamar Christina2016-12-191-3/+16
* Allow use of the external interpreter in stage1.Shea Levy2016-12-171-16/+3
* Typos in commentsGabor Greif2016-12-161-1/+1
* Replace INLINEABLE by INLINABLE (#12613)Joachim Breitner2016-09-242-8/+8
* Fix #12442.Richard Eisenberg2016-09-231-2/+2
* Comments and white spaceSimon Peyton Jones2016-09-131-1/+1
* extend '-fmax-worker-args' limit to specialiser (Trac #11565)Sergei Trofimovich2016-09-021-4/+8
* Introduce BootUnfolding, set when unfolding is absent due to hs-boot file.Edward Z. Yang2016-08-211-0/+1
* More typos in commentsGabor Greif2016-07-221-3/+3
* Axe RecFlag on TyCons.Edward Z. Yang2016-06-301-4/+4
* Typos in comments [skip ci]Gabor Greif2016-06-221-2/+2
* Don't quantify over Refl in a RULESimon Peyton Jones2016-06-211-6/+29
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-152-2/+2
* Rename cmpType to nonDetCmpTypeBartosz Nitka2016-06-141-2/+2
* Implement deterministic CallInfoSetBartosz Nitka2016-06-061-37/+74
* Localize orphan-related nondeterminismBartosz Nitka2016-06-021-2/+2
* Document some benign nondeterminismBartosz Nitka2016-05-241-1/+3
* Refactor some ppr functions to use pprUFMBartosz Nitka2016-05-121-2/+4
* Kill varEnvElts in specImportsBartosz Nitka2016-05-121-10/+18
* Add uniqSetAny and uniqSetAll and use themBartosz Nitka2016-04-281-1/+1
* Kill some unnecessary varSetElemsBartosz Nitka2016-04-151-2/+2
* Demand Analyzer: Do not set OneShot information (second try)Joachim Breitner2016-04-061-1/+1
* Kill the magic of AnyBen Gamari2016-03-301-1/+1
* Typos in non-codeGabor Greif2016-03-301-1/+1
* SpecConstr: Transport strictness data to specialization’s argument’s bindersJoachim Breitner2016-03-291-1/+25
* Tidy up handling of coercion variablesSimon Peyton Jones2016-03-241-4/+10
* Get the right in-scope set in specUnfoldingSimon Peyton Jones2016-02-261-5/+16
* A few more typos in non-codeGabor Greif2016-02-191-1/+1
* (Another) minor refactoring of substitutionsSimon Peyton Jones2016-02-181-6/+6
* Another batch of typo fixes in non-codeGabor Greif2016-02-111-1/+1
* s/unLifted/unlifted for consistencyÖmer Sinan Ağacan2016-01-271-1/+1
* Replace calls to `ptext . sLit` with `text`Jan Stolarek2016-01-183-36/+36
* 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
View Lorry Controller Status