summaryrefslogtreecommitdiff
path: root/compiler/specialise/Specialise.lhs
Commit message (Expand)AuthorAgeFilesLines
* Replace (State# RealWorld) with Void# where we just want a 0-bit valueSimon Peyton Jones2013-11-221-2/+2
* TyposKrzysztof Gogolewski2013-10-121-1/+1
* Fix AMP warnings.Austin Seipp2013-09-111-0/+8
* Make Specialise close over kind variables (fixes Trac #8196)Simon Peyton Jones2013-09-021-3/+3
* Avoid needlessly splitting a UniqSupply when extracting a Unique (#8041)Patrick Palka2013-07-061-0/+6
* Refine 'type_determines_value' in Specialise. Fix Trac #7785.Simon Peyton Jones2013-05-301-8/+32
* Make 'SPECIALISE instance' work againSimon Peyton Jones2013-05-301-3/+17
* Extra comment about the fix to Trac #5113Simon Peyton Jones2013-02-111-0/+6
* Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2013-02-081-1/+1
|\
| * typosGabor Greif2013-01-301-1/+1
* | Fix an old and egregious specialisation bug (Trac #5113)Simon Peyton Jones2013-02-081-176/+214
|/
* 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
View Lorry Controller Status