summaryrefslogtreecommitdiff
path: root/compiler/specialise/Specialise.lhs
Commit message (Expand)AuthorAgeFilesLines
* Make the opt_UF_* static flags dynamicIan Lynagh2012-10-091-11/+15
* Pass DynFlags to the ru_try functions of built-in rulesIan Lynagh2012-09-171-4/+5
* Don't specialise on implicit-parameter arguments in SpecaliseSimon Peyton Jones2012-08-231-4/+8
* Pass DynFlags down to showSDocDumpIan Lynagh2012-06-121-20/+54
* Fix whitespace in specialise/Specialise.lhsIan Lynagh2012-06-111-497/+490
* Allow cases with empty alterantivesSimon Peyton Jones2012-05-021-4/+4
* Improved debug printing with -dverbose-core2coreSimon Peyton Jones2012-03-041-1/+1
* Make the specialiser understand about polymorphic kindsSimon Peyton Jones2012-02-171-9/+14
* Move mkPiTypes back to Type, rename mkForAllArrowKinds to mkPiKindsJose Pedro Magalhaes2011-11-161-1/+1
* Use -fwarn-tabs when validatingIan Lynagh2011-11-041-0/+7
* Overhaul of infrastructure for profiling, coverage (HPC) and breakpointsSimon Marlow2011-11-021-7/+9
* Implement -XConstraintKindMax Bolingbroke2011-09-061-1/+1
* Tidy up handling of PredTys: remove dead code, move functions deconstructing ...Max Bolingbroke2011-08-031-0/+1
* When specialising recursive functions, mark the specialised function NOINLINESimon Peyton Jones2011-07-211-0/+3
* This BIG PATCH contains most of the work for the New Coercion RepresentationSimon Peyton Jones2011-04-191-2/+5
* Fix dependencies among specialisations for imported Idssimonpj@microsoft.com2011-01-261-13/+57
* Fix Trac #4874: specialisation of INLINABLE thingssimonpj@microsoft.com2011-01-141-20/+49
* Comments onlysimonpj@microsoft.com2010-12-101-5/+11
* Implement auto-specialisation of imported Idssimonpj@microsoft.com2010-10-071-59/+156
* Implement INLINABLE pragma simonpj@microsoft.com2010-09-151-5/+5
* Remove (most of) the FiniteMap wrapperIan Lynagh2010-09-141-8/+10
* Improve the Specialiser, fixing Trac #4203simonpj@microsoft.com2010-08-121-26/+124
* Rule binders shouldn't have IdInfosimonpj@microsoft.com2010-03-091-9/+23
* Improve the handling of default methodssimonpj@microsoft.com2010-01-061-4/+9
* A bunch of stuff relating to substitutions on coresimonpj@microsoft.com2009-12-241-1/+1
* Adjust Activations for specialise and work/wrap, and better simplify in Inlin...simonpj@microsoft.com2009-12-161-20/+26
* Bottom extraction: float out bottoming expressions to top levelsimonpj@microsoft.com2009-12-111-1/+1
* More work on the simplifier's inlining strategiessimonpj@microsoft.com2009-12-021-2/+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
* The Big INLINE Patch: totally reorganise way that INLINE pragmas worksimonpj@microsoft.com2009-10-291-15/+25
* Fix Trac #3591: very tricky specialiser bugsimonpj@microsoft.com2009-10-231-180/+308
* Use a local interestingDict function instead of importing SimplUtils.interest...simonpj@microsoft.com2009-04-021-8/+17
* Improve arity propagation in the specialisersimonpj@microsoft.com2009-03-231-4/+9
* Add the notion of "constructor-like" Ids for rule-matchingsimonpj@microsoft.com2009-03-181-6/+7
* Rollback INLINE patchesSimon Marlow2008-12-161-18/+15
* Completely new treatment of INLINE pragmas (big patch)simonpj@microsoft.com2008-12-051-15/+18
* Add (a) CoreM monad, (b) new Annotations featuresimonpj@microsoft.com2008-10-301-17/+3
* More specialiser wibblessimonpj@microsoft.com2008-09-051-41/+79
* Improved specialisation of recursive groupssimonpj@microsoft.com2008-09-031-111/+190
* Only specialise on dictionaries that have some interesting structuresimonpj@microsoft.com2008-08-271-4/+17
* Make rule printing wobble lesssimonpj@microsoft.com2008-08-211-7/+8
* Print tidy rules in user style, to avoid gratuitous uniquessimonpj@microsoft.com2008-08-111-1/+2
* Minor refactoring; no functionality changesimonpj@microsoft.com2008-08-111-4/+8
* Fix Trac #2486: restore the specialiser to a working statesimonpj@microsoft.com2008-08-091-2/+2
* Fix Trac #1969: perfomance bug in the specialisersimonpj@microsoft.com2008-04-281-110/+115
* (F)SLIT -> (f)sLit in SpecialseIan Lynagh2008-04-121-1/+1
* Remove a #ifdef DEBUGIan Lynagh2008-03-291-5/+3
* FIX BUILD with GHC 6.4.xSimon Marlow2008-02-011-2/+2
* Fix do-notation so that it works with -DDEBUGsimonpj@microsoft.com2008-01-251-3/+3
View Lorry Controller Status