summaryrefslogtreecommitdiff
path: root/compiler/specialise
Commit message (Expand)AuthorAgeFilesLines
* ignore RealWorld in size_expr; flag to keep w/w from creating sharingNicolas Frisby2013-04-111-1/+1
* Fix non-termination of SpecConstr (see #5550).Amos Robinson2013-03-281-18/+46
* 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-082-72/+72
|\
| * Minor documentation and indentation/layout fixes to SpecConstrAmos Robinson2013-02-021-69/+69
| * typosGabor Greif2013-01-302-3/+3
* | Fix an old and egregious specialisation bug (Trac #5113)Simon Peyton Jones2013-02-081-176/+214
|/
* Introduce CPR for sum types (Trac #5075)Simon Peyton Jones2013-01-241-1/+1
* Major patch to implement the new Demand AnalyserSimon Peyton Jones2013-01-171-14/+16
* Avoid putting uniqs in specconstr rules; part of #4012Ian Lynagh2012-11-021-3/+7
* Whitespace only in specialise/SpecConstr.lhsIan Lynagh2012-11-021-591/+584
* Make the opt_UF_* static flags dynamicIan Lynagh2012-10-092-12/+16
* Pass DynFlags to the ru_try functions of built-in rulesIan Lynagh2012-09-172-17/+21
* Don't specialise on implicit-parameter arguments in SpecaliseSimon Peyton Jones2012-08-231-4/+8
* Two small fixes to SpecConstr for functions with equality-proof argsSimon Peyton Jones2012-08-232-5/+8
* 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
* Pass DynFlags down to showSDocIan Lynagh2012-06-121-3/+6
* Pass DynFlags down to showSDocDumpIan Lynagh2012-06-121-20/+54
* Fix whitespace in specialise/Specialise.lhsIan Lynagh2012-06-111-497/+490
* 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
* Allow cases with empty alterantivesSimon Peyton Jones2012-05-022-6/+6
* 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
* Establish the invariant that (LitAlt l) is always unliftedSimon Peyton Jones2011-11-091-1/+3
* Remove some out-of-date commentsIan Lynagh2011-11-051-6/+0
* Use -fwarn-tabs when validatingIan Lynagh2011-11-043-0/+21
* Overhaul of infrastructure for profiling, coverage (HPC) and breakpointsSimon Marlow2011-11-023-26/+23
* Make a new type synonym CoreProgram = [CoreBind]Simon Peyton Jones2011-09-231-1/+1
* Merge branch 'no-pred-ty'Max Bolingbroke2011-09-092-2/+2
|\
| * Implement -XConstraintKindMax Bolingbroke2011-09-062-2/+2
* | Fix typos in commentsIan Lynagh2011-09-081-3/+3
|/
* Link the de-synonym change to ticket Trac #5458Simon Peyton Jones2011-09-051-1/+2
* De-synonym the types of the abtracted term variables in SpecConstrSimon Peyton Jones2011-09-051-2/+20
* Tidy up handling of PredTys: remove dead code, move functions deconstructing ...Max Bolingbroke2011-08-031-0/+1
* Add Type.tyConAppTyCon_maybe and tyConAppArgs_maybe, and use themSimon Peyton Jones2011-08-031-3/+3
* When specialising recursive functions, mark the specialised function NOINLINESimon Peyton Jones2011-07-211-0/+3
* Suppress the alarming SpecConstr message for normal users (Trac #5125)Simon Peyton Jones2011-05-261-2/+4
* This BIG PATCH contains most of the work for the New Coercion RepresentationSimon Peyton Jones2011-04-193-23/+48
* Fix Trac #4945: another SpecConstr infelicitysimonpj@microsoft.com2011-02-071-21/+35
* Fix typo in SpecConstr that made it not work at allsimonpj@microsoft.com2011-02-031-1/+1
* Some refactoring of SpecConstrsimonpj@microsoft.com2011-02-011-87/+73
* Improve Simplifier and SpecConstr behavioursimonpj@microsoft.com2011-01-311-18/+39
* 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
View Lorry Controller Status