summaryrefslogtreecommitdiff
path: root/compiler/specialise/Rules.hs
Commit message (Expand)AuthorAgeFilesLines
* Modules: Core (#13009)Sylvain Henry2020-02-261-1254/+0
* Modules: Driver (#13009)Sylvain Henry2020-02-211-1/+1
* Module hierarchy: HsToCore (cf #13009)Sylvain Henry2020-02-141-1/+1
* Fix more typos, via an improved Levenshtein-style correctorBrian Wignall2020-01-121-2/+2
* Module hierarchy: Iface (cf #13009)Sylvain Henry2020-01-061-1/+1
* Fix arguments for unbound binders in RULE applicationSimon Peyton Jones2019-09-301-64/+38
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-5/+5
* Define activeAfterInitial, activeDuringFinalSimon Peyton Jones2018-09-051-6/+6
* Replace most occurences of foldl with foldl'.klebinger.andreas@gmx.at2018-08-211-2/+2
* Revert "Don't inline functions with RULES too early"Ben Gamari2018-08-011-42/+7
* Don't inline functions with RULES too earlySimon Peyton Jones2018-07-311-7/+42
* Typofixes in docs and comments [ci skip]Gabor Greif2018-06-181-1/+1
* Fix two obscure bugs in rule matchingSimon Peyton Jones2018-03-211-65/+88
* Also check local rules with -frules-checkMatthew Pickering2018-03-191-5/+5
* Get rid of some stuttering in comments and docsGabor Greif2017-12-191-1/+1
* Rules: Show the binder type in the unbound template binder errorBen Gamari2017-09-261-1/+1
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Add debugPprTypeSimon Peyton Jones2017-08-311-7/+6
* Spelling fixesGabor Greif2017-07-201-1/+1
* Prefer #if defined to #ifdefBen Gamari2017-04-281-1/+1
* Print module when dumping rulesMatthew Pickering2017-03-291-2/+2
* Allow unbound Refl binders in a RULESimon Peyton Jones2017-03-291-10/+37
* No join-point from an INLINE function with wrong aritySimon Peyton Jones2017-03-171-0/+1
* Add VarSet.anyDVarSet, allDVarSetSimon Peyton Jones2017-02-281-1/+1
* Occurrence-analyse the result of rule firingsSimon Peyton Jones2017-02-261-6/+3
* Generalize kind of the (->) tyconBen Gamari2017-02-181-0/+6
* Ditch static flagsSylvain Henry2017-02-021-12/+12
* Join pointsLuke Maurer2017-02-011-2/+4
* Typos in commentsGabor Greif2016-12-161-1/+1
* Fix #12442.Richard Eisenberg2016-09-231-2/+2
* 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
* Add uniqSetAny and uniqSetAll and use themBartosz Nitka2016-04-281-1/+1
* Kill some unnecessary varSetElemsBartosz Nitka2016-04-151-2/+2
* Kill the magic of AnyBen Gamari2016-03-301-1/+1
* Replace calls to `ptext . sLit` with `text`Jan Stolarek2016-01-181-10/+10
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-22/+32
* Implement more deterministic operations and document themBartosz Nitka2015-12-021-3/+3
* Create a deterministic version of tyVarsOfTypeBartosz Nitka2015-11-211-4/+4
* Rename SpecInfo to RuleInfo (upon SPJ's advice).Edward Z. Yang2015-10-101-14/+14
* Remove dead code: ruleLhsOrphNamesSimon Peyton Jones2015-10-061-1/+0
* 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
* Reduce non-determinism in ABI hashes with RULES and instance declsBartosz Nitka2015-07-171-3/+9
* Filter orphan rules based on imports, fixes #10294 and #10420.Edward Z. Yang2015-06-201-9/+29
* compiler/specialise: shut match_co up a bitAustin Seipp2015-06-011-2/+6
* Move declaration of Rulebase from Rules to CoreSynSimon Peyton Jones2015-03-171-7/+1
* Source notes (Core support)Peter Wortmann2014-12-161-17/+44
View Lorry Controller Status