summaryrefslogtreecommitdiff
path: root/compiler/specialise
Commit message (Expand)AuthorAgeFilesLines
* Fix dependencies among specialisations for imported Idssimonpj@microsoft.com2011-01-261-13/+57
* Fix bug in roughTopNamessimonpj@microsoft.com2011-01-261-3/+23
* Fix Trac #4874: specialisation of INLINABLE thingssimonpj@microsoft.com2011-01-141-20/+49
* Comments onlysimonpj@microsoft.com2010-12-101-5/+11
* Fix a nasty bug in RULE matching: Trac #4814simonpj@microsoft.com2010-12-021-185/+241
* Inherit the ForceSpecConstr flag in non-recursive nested bindingsRoman Leshchinskiy2010-11-271-5/+7
* Make SpecConstr "look through" identity coercionssimonpj@microsoft.com2010-11-251-0/+3
* Comments onlysimonpj@microsoft.com2010-11-191-8/+31
* ForceSpecConstr now forces specialisation even for arguments which aren't scr...Roman Leshchinskiy2010-11-181-24/+31
* Comments onlysimonpj@microsoft.com2010-11-181-0/+23
* Comments onlysimonpj@microsoft.com2010-11-171-7/+26
* For a non-recursive let, make sure we extend the value environmentsimonpj@microsoft.com2010-10-251-4/+8
* Define SpecConstrAnnotation in GHC.Exts, and import it from theresimonpj@microsoft.com2010-10-181-37/+56
* Give user-defined rules precedence over built-in rulessimonpj@microsoft.com2010-10-151-2/+12
* Implement auto-specialisation of imported Idssimonpj@microsoft.com2010-10-073-79/+169
* Improve the rule-matchersimonpj@microsoft.com2010-10-071-2/+2
* Implement INLINABLE pragma simonpj@microsoft.com2010-09-151-5/+5
* Remove (most of) the FiniteMap wrapperIan Lynagh2010-09-141-8/+10
* Move error-ids to MkCore (from PrelRules)simonpj@microsoft.com2010-09-141-1/+1
* Super-monster patch implementing the new typechecker -- at lastsimonpj@microsoft.com2010-09-132-14/+14
* Improve the Specialiser, fixing Trac #4203simonpj@microsoft.com2010-08-121-26/+124
* Don't do SpecConstr on NOINLINE things (Trac #4064)simonpj@microsoft.com2010-05-251-1/+9
* De-haddock a comment that confuses haddockIan Lynagh2010-05-061-1/+1
* Matching cases in SpecConstr and Rulessimonpj@microsoft.com2010-05-052-54/+106
* The bootstrapping compiler is now required to be > 609Ian Lynagh2010-04-091-4/+0
* Remove LazyUniqFM; fixes trac #3880Ian Lynagh2010-03-201-5/+4
* Rule binders shouldn't have IdInfosimonpj@microsoft.com2010-03-091-9/+23
* Add comments about the ForceSpecConstr mechanismRoman Leshchinskiy2010-02-151-0/+39
* Spot ForceSpecConstr arguments in polymorphic loopsRoman Leshchinskiy2010-02-151-1/+1
* Comments onlysimonpj@microsoft.com2010-02-101-1/+1
* Fix Trac #3831: blowup in SpecConstrsimonpj@microsoft.com2010-02-011-41/+96
* Fix a warning messageIan Lynagh2010-01-181-3/+2
* Fix typoIan Lynagh2010-01-161-1/+1
* SpecConstr: Remove -fspec-inline-join-points, and add let-binding specialisationsimonpj@microsoft.com2010-01-061-30/+32
* Make SpecConstr more informative output when there are too many specialisationssimonpj@microsoft.com2010-01-061-7/+11
* Improve the handling of default methodssimonpj@microsoft.com2010-01-061-4/+9
* A bunch of stuff relating to substitutions on coresimonpj@microsoft.com2009-12-242-2/+2
* Adjust Activations for specialise and work/wrap, and better simplify in Inlin...simonpj@microsoft.com2009-12-162-43/+54
* Refactor to combine two eqExpr functionssimonpj@microsoft.com2009-12-161-78/+7
* Bottom extraction: float out bottoming expressions to top levelsimonpj@microsoft.com2009-12-111-1/+1
* Comments only, about RULE plumbingsimonpj@microsoft.com2009-12-071-0/+65
* Fix loading of annotationsRoman Leshchinskiy2009-12-041-4/+4
* Add new ForceSpecConstr annotationRoman Leshchinskiy2009-12-031-12/+36
* More work on the simplifier's inlining strategiessimonpj@microsoft.com2009-12-022-108/+119
* Remove the (very) old strictness analysersimonpj@microsoft.com2009-11-191-3/+3
* Implement -fexpose-all-unfoldings, and fix a non-termination bugsimonpj@microsoft.com2009-11-191-1/+1
* Another refactoring on the shape of an Unfoldingsimonpj@microsoft.com2009-11-051-12/+8
* Fix the build with GHC 6.8Ian Lynagh2009-10-301-0/+4
* The Big INLINE Patch: totally reorganise way that INLINE pragmas worksimonpj@microsoft.com2009-10-292-30/+61
* Add support for NoSpecConstr annotationRoman Leshchinskiy2009-10-291-26/+77