summaryrefslogtreecommitdiff
path: root/compiler/coreSyn
Commit message (Expand)AuthorAgeFilesLines
* Add more location info in CoreLintsimonpj@microsoft.com2010-09-161-10/+16
* Use mkAppTysimonpj@microsoft.com2010-09-151-1/+1
* Comments onlysimonpj@microsoft.com2010-09-151-2/+3
* Extend eta reduction to work with casted argumentssimonpj@microsoft.com2010-09-151-6/+63
* Implement INLINABLE pragma simonpj@microsoft.com2010-09-155-85/+102
* Make absent-arg wrappers work for unlifted types (fix Trac #4306)simonpj@microsoft.com2010-09-141-1/+5
* Comments onlysimonpj@microsoft.com2010-09-141-1/+4
* Move error-ids to MkCore (from PrelRules)simonpj@microsoft.com2010-09-141-4/+163
* Super-monster patch implementing the new typechecker -- at lastsimonpj@microsoft.com2010-09-1312-104/+336
* Buglet in Core Lintsimonpj@microsoft.com2010-09-031-1/+1
* Add asertssimonpj@microsoft.com2010-09-021-6/+9
* Layout onlysimonpj@microsoft.com2010-07-271-2/+1
* Rename CorePrep.tryEtaReduce to tryEtaReducePrepsimonpj@microsoft.com2010-07-261-6/+6
* Re-do the arity calculation mechanism again (fix Trac #3959)simonpj@microsoft.com2010-08-131-116/+225
* Fix bug in linting of shadowed case-alternative binderssimonpj@microsoft.com2010-08-121-41/+46
* Remove redundant debug codesimonpj@microsoft.com2010-06-011-5/+1
* Gruesome fix in CorePrep to fix embarassing Trac #4121simonpj@microsoft.com2010-06-141-42/+122
* Fix a bug in CorePrep that meant output invariants not satisfiedsimonpj@microsoft.com2010-05-311-20/+17
* Robustify the treatement of DFunUnfoldingsimonpj@microsoft.com2010-05-315-20/+68
* Core prettyprinter fixes. Patch from Tim Chevalier. Fixes #4085Ian Lynagh2010-05-221-3/+7
* Fix interaction of exprIsCheap and the lone-variable inlining checksimonpj@microsoft.com2010-05-052-17/+42
* Comments onlysimonpj@microsoft.com2010-05-041-12/+25
* Print unfoldings on lambda-bound variablesSimon PJ2010-05-031-17/+15
* Add Data and Typeable instances to HsSynDavid Waern2010-03-301-1/+6
* A bug in isClosedUnfoldingsimonpj@microsoft.com2010-03-091-0/+1
* Comments onlysimonpj@microsoft.com2010-03-091-1/+1
* Comment out debug warnings; they are finesimonpj@microsoft.com2010-01-081-3/+3
* Comments onlysimonpj@microsoft.com2010-01-071-13/+36
* Improve the handling of default methodssimonpj@microsoft.com2010-01-062-6/+13
* Continue refactoring the core-to-core pipelinesimonpj@microsoft.com2009-12-242-33/+7
* A bunch of stuff relating to substitutions on coresimonpj@microsoft.com2009-12-243-50/+75
* Refactor CoreArity a bitsimonpj@microsoft.com2009-12-241-53/+80
* Wibbles to inlining for small functionssimonpj@microsoft.com2009-12-221-23/+42
* Fix pretty-printersimonpj@microsoft.com2009-12-221-2/+2
* Refactor PackageTarget back into StaticTargetBen.Lippmeier@anu.edu.au2010-01-041-1/+1
* Substantial improvements to coercion optimisationsimonpj@microsoft.com2010-01-042-4/+67
* Make -ddump-inlinings and -ddump-rule-firings less noisy simonpj@microsoft.com2009-12-181-1/+1
* Make warning printing a bit less noisysimonpj@microsoft.com2009-12-181-1/+2
* Comments onlysimonpj@microsoft.com2009-12-161-4/+6
* Refactor to combine two eqExpr functionssimonpj@microsoft.com2009-12-163-34/+73
* Two improvements to optCoercionsimonpj@microsoft.com2009-12-161-3/+9
* Fix a bug in the in-scope set that led to some lookupIdSubst errorssimonpj@microsoft.com2009-12-151-4/+1
* Fix Trac #3717: exprOkForSpeculation should look through case expressionssimonpj@microsoft.com2009-12-151-0/+35
* Tidy up computation of result discounts in CoreUnfoldsimonpj@microsoft.com2009-12-141-26/+40
* Use full equality for CSEsimonpj@microsoft.com2009-12-111-1/+49
* Bottom extraction: float out bottoming expressions to top levelsimonpj@microsoft.com2009-12-111-9/+26
* More work on the simplifier's inlining strategiessimonpj@microsoft.com2009-12-026-209/+291
* Remove the (very) old strictness analysersimonpj@microsoft.com2009-11-195-20/+15
* Make INLINE warning more precisesimonpj@microsoft.com2009-11-191-2/+3
* Implement -fexpose-all-unfoldings, and fix a non-termination bugsimonpj@microsoft.com2009-11-193-11/+19
View Lorry Controller Status