summaryrefslogtreecommitdiff
path: root/compiler/specialise/SpecConstr.hs
Commit message (Expand)AuthorAgeFilesLines
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-14/+14
* Finish fix for #14880.Tobias Dammers2018-10-281-1/+1
* Coercion Quantificationningning2018-09-151-1/+0
* Comments onlySimon Peyton Jones2018-08-311-1/+1
* vectorise: Put it out of its miseryBen Gamari2018-06-021-1/+1
* SpecConstr: accommodate casts in value argumentsSimon Peyton Jones2018-04-021-9/+47
* Catch a few more typos in commentsGabor Greif2017-10-301-2/+2
* Fix typo in accessor nameGabor Greif2017-10-301-1/+1
* Fix an exponential-blowup case in SpecConstrSimon Peyton Jones2017-10-271-20/+33
* Add more pprTrace to SpecConstr (debug only)Simon Peyton Jones2017-10-271-3/+11
* Do not bind coercion variables in SpecConstr rulesSimon Peyton Jones2017-10-121-2/+42
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Fix typos in diagnostics, testsuite and commentsGabor Greif2017-09-071-1/+1
* Use lengthIs and friends in more placesRyan Scott2017-06-021-1/+1
* Typos [ci skip]Gabor Greif2017-05-101-2/+2
* Fix loss-of-SpecConstr bugSimon Peyton Jones2017-05-021-86/+107
* Improve SpecConstr when there are many opportunitiesSimon Peyton Jones2017-05-021-43/+113
* Typos in comments [ci skip]Gabor Greif2017-04-051-1/+1
* Typos in changelog and commentsGabor Greif2017-03-071-1/+1
* Add -fspec-constr-keenSimon Peyton Jones2017-02-261-7/+50
* More tracing in SpecConstrSimon Peyton Jones2017-02-231-4/+10
* Add some commented-out tracing in SpecConstrSimon Peyton Jones2017-02-081-5/+9
* Ditch static flagsSylvain Henry2017-02-021-6/+9
* Join pointsLuke Maurer2017-02-011-9/+14
* Typos in comments only [ci skip]Gabor Greif2017-01-181-1/+1
* 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
* Replace INLINEABLE by INLINABLE (#12613)Joachim Breitner2016-09-241-1/+1
* 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
* Axe RecFlag on TyCons.Edward Z. Yang2016-06-301-4/+4
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-151-1/+1
* Demand Analyzer: Do not set OneShot information (second try)Joachim Breitner2016-04-061-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
* Replace calls to `ptext . sLit` with `text`Jan Stolarek2016-01-181-15/+15
* Remote GHCi, -fexternal-interpreterSimon Marlow2015-12-171-1/+1
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-5/+5
* Make callToPats deterministic in SpecConstrBartosz Nitka2015-12-041-2/+8
* Put kind variables before type variables when specializingBartosz Nitka2015-11-111-5/+6
* Rename SpecInfo to RuleInfo (upon SPJ's advice).Edward Z. Yang2015-10-101-10/+10
* 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
* Filter orphan rules based on imports, fixes #10294 and #10420.Edward Z. Yang2015-06-201-4/+10
* 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
* Replace .lhs with .hs in compiler commentsYuri de Wit2015-02-091-2/+2