summaryrefslogtreecommitdiff
path: root/compiler/coreSyn
Commit message (Expand)AuthorAgeFilesLines
* Don't make join points when the case has only one non-bottom alternativesimonpj@microsoft.com2011-02-011-1/+20
* Comments only, plus a tiny bit of debug printingsimonpj@microsoft.com2011-01-261-7/+8
* Look through type synonyms when computing orphanssimonpj@microsoft.com2011-01-261-16/+17
* Fix Trac #3717 by making exprOkForSpeculation a bit cleverersimonpj@microsoft.com2011-01-251-5/+14
* Improve dataToTag# magicsimonpj@microsoft.com2011-01-252-3/+32
* White space onlysimonpj@microsoft.com2010-12-221-1/+1
* Make mkDFunUnfolding more robustsimonpj@microsoft.com2010-12-221-10/+6
* Add a simple arity analysersimonpj@microsoft.com2010-12-212-57/+42
* Miscellaneous tidying up and refactoringsimonpj@microsoft.com2010-12-211-14/+30
* Comments onlysimonpj@microsoft.com2010-12-211-1/+1
* Small improvement to CorePrepsimonpj@microsoft.com2010-12-201-6/+6
* Replace uses of the old catch function with the new oneIan Lynagh2010-12-181-3/+4
* Fix recursive superclasses (again). Fixes Trac #4809.simonpj@microsoft.com2010-12-137-19/+41
* Always ppr case alts on separate linesBen Lippmeier2010-12-081-1/+1
* Add -dppr-case-as-let to print "strict lets" as actual letsBen Lippmeier2010-12-081-4/+20
* Suppress more info with -dsuppress-idinfoBen Lippmeier2010-12-081-0/+2
* Implement -dsuppress-type-signaturesBen Lippmeier2010-12-081-2/+3
* Add more suppression flagsBen Lippmeier2010-12-081-1/+8
* Fix a nasty bug in RULE matching: Trac #4814simonpj@microsoft.com2010-12-021-3/+25
* Acutally, wild-card variables *can* have occurrencessimonpj@microsoft.com2010-11-261-4/+0
* Tidy up the handling of wild-card binders, and make Lint check itsimonpj@microsoft.com2010-11-262-3/+7
* Substitution should just substitute, not optimisesimonpj@microsoft.com2010-11-251-10/+14
* Refactoring of the way that inlinings and rules are activatedsimonpj@microsoft.com2010-11-162-79/+85
* Occurrence analyser takes account of the phase when handing RULESsimonpj@microsoft.com2010-11-162-16/+25
* Yet another go at CoreAritysimonpj@microsoft.com2010-10-271-73/+108
* Use removeDups to find top-level duplicate namesIan Lynagh2010-10-261-5/+5
* Don't look through SCC in exprIsConApp_maybesimonpj@microsoft.com2010-10-261-4/+5
* Serialise nested unfoldings across module boundariessimonpj@microsoft.com2010-10-252-15/+45
* Do not (ever) use substExprSC in the simplifiersimonpj@microsoft.com2010-10-251-6/+8
* Follow GHC.Bool/GHC.Types mergeIan Lynagh2010-10-232-3/+3
* Lint should check for duplicate top-level bindings with same qualified namesimonpj@microsoft.com2010-10-221-11/+29
* Switch more uniqFromSupply+splitUniqSupply's to takeUniqFromSupplyIan Lynagh2010-10-211-3/+3
* Improve the simple expression optimiser so it does simple beta reductionsimonpj@microsoft.com2010-10-211-31/+43
* Fix #4346 (INLINABLE pragma not behaving consistently)Simon Marlow2010-10-152-10/+24
* Float out partial applicationsSimon Marlow2010-10-081-0/+14
* Implement auto-specialisation of imported Idssimonpj@microsoft.com2010-10-071-1/+5
* Remove an unused import on WindowsIan Lynagh2010-09-291-3/+0
* Just moving comments aroundsimonpj@microsoft.com2010-09-241-45/+76
* Add notSCCNote, and use itsimonpj@microsoft.com2010-09-234-19/+20
* Get rid of non-exhaustive lambdasimonpj@microsoft.com2010-09-221-2/+3
* Fix an ASSERT failure with profilingsimonpj@microsoft.com2010-09-222-39/+56
* 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