summaryrefslogtreecommitdiff
path: root/compiler/specialise/Rules.lhs
Commit message (Expand)AuthorAgeFilesLines
* compiler: de-lhs specialise/Austin Seipp2014-12-031-1132/+0
* Add LANGUAGE pragmas to compiler/ source filesHerbert Valerio Riedel2014-05-151-0/+2
* 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
* Implement "roles" into GHC.Richard Eisenberg2013-08-021-3/+4
* Fix typosGabor Greif2013-07-311-1/+1
* Make 'SPECIALISE instance' work againSimon Peyton Jones2013-05-301-39/+37
* Pass DynFlags to the ru_try functions of built-in rulesIan Lynagh2012-09-171-13/+16
* Two small fixes to SpecConstr for functions with equality-proof argsSimon Peyton Jones2012-08-231-1/+6
* typos in trace strings (which I observed in compile output)Gabor Greif2012-07-181-1/+1
* Change more uses of sortLe to sortByIan Lynagh2012-06-221-3/+2
* Tell built-in rules the Id that the rule has matchedIan Lynagh2012-06-061-6/+6
* Fix whitespace in specialise/Rules.lhsIan Lynagh2012-06-061-289/+282
* Use -fwarn-tabs when validatingIan Lynagh2011-11-041-0/+7
* Overhaul of infrastructure for profiling, coverage (HPC) and breakpointsSimon Marlow2011-11-021-12/+7
* Make a new type synonym CoreProgram = [CoreBind]Simon Peyton Jones2011-09-231-1/+1
* This BIG PATCH contains most of the work for the New Coercion RepresentationSimon Peyton Jones2011-04-191-9/+21
* Fix bug in roughTopNamessimonpj@microsoft.com2011-01-261-3/+23
* Fix a nasty bug in RULE matching: Trac #4814simonpj@microsoft.com2010-12-021-185/+241
* Give user-defined rules precedence over built-in rulessimonpj@microsoft.com2010-10-151-2/+12
* Implement auto-specialisation of imported Idssimonpj@microsoft.com2010-10-071-19/+11
* Improve the rule-matchersimonpj@microsoft.com2010-10-071-2/+2
* Super-monster patch implementing the new typechecker -- at lastsimonpj@microsoft.com2010-09-131-10/+10
* De-haddock a comment that confuses haddockIan Lynagh2010-05-061-1/+1
* Matching cases in SpecConstr and Rulessimonpj@microsoft.com2010-05-051-52/+97
* Refactor to combine two eqExpr functionssimonpj@microsoft.com2009-12-161-78/+7
* Comments only, about RULE plumbingsimonpj@microsoft.com2009-12-071-0/+65
* More work on the simplifier's inlining strategiessimonpj@microsoft.com2009-12-021-106/+116
* The Big INLINE Patch: totally reorganise way that INLINE pragmas worksimonpj@microsoft.com2009-10-291-15/+36
* Add missing case for eq_note.t-peterj@microsoft.com2009-06-241-0/+1
* Rename parameters to make debugging code compile.t-peterj@microsoft.com2009-06-261-1/+1
* Look through Notes when matchingsimonpj@microsoft.com2009-07-021-8/+9
* Add the notion of "constructor-like" Ids for rule-matchingsimonpj@microsoft.com2009-03-181-117/+173
* Fix warnings in RulesIan Lynagh2008-12-291-39/+33
* Add no-op case for addIdSpecialisations (very minor optimisation)simonpj@microsoft.com2008-12-051-0/+2
* Trim redundant importsimonpj@microsoft.com2008-12-051-1/+0
* Add (a) CoreM monad, (b) new Annotations featuresimonpj@microsoft.com2008-10-301-12/+17
* Improved specialisation of recursive groupssimonpj@microsoft.com2008-09-031-32/+24
* Make rule printing wobble lesssimonpj@microsoft.com2008-08-211-2/+17
* Document RulesMax Bolingbroke2008-07-311-35/+69
* (F)SLIT -> (f)sLit in RulesIan Lynagh2008-04-121-5/+5
* Comments onlysimonpj@microsoft.com2008-04-221-5/+7
* Remove an #ifdef DEBUGIan Lynagh2008-03-291-4/+1
* Fix broken debug warningsimonpj@microsoft.com2008-01-161-5/+6
* Fix the -frule-check passsimonpj@microsoft.com2008-01-161-16/+13
* Fix Trac #1746: make rule-matching work properly with Cast expressionssimonpj@microsoft.com2007-09-291-5/+4
* Fix CodingStyle#Warnings URLsIan Lynagh2007-09-041-1/+1
* Use OPTIONS rather than OPTIONS_GHC for pragmasIan Lynagh2007-09-031-2/+2
View Lorry Controller Status