summaryrefslogtreecommitdiff
path: root/compiler
Commit message (Expand)AuthorAgeFilesLines
* Add rebindable syntax for if-then-elsesimonpj@microsoft.com2010-10-2219-67/+117
* Lint should check for duplicate top-level bindings with same qualified namesimonpj@microsoft.com2010-10-221-11/+29
* Fix unused import warning on OS XIan Lynagh2010-10-221-0/+2
* Switch more uniqFromSupply+splitUniqSupply's to takeUniqFromSupplyIan Lynagh2010-10-217-24/+20
* Whitespace onlyIan Lynagh2010-10-211-6/+6
* Whitespace onlyIan Lynagh2010-10-211-5/+5
* Whitespace onlyIan Lynagh2010-10-211-8/+8
* Fix Trac #4396, by localising pattern binders in the desugarersimonpj@microsoft.com2010-10-211-5/+43
* White space onlysimonpj@microsoft.com2010-10-211-3/+3
* Add an assertionsimonpj@microsoft.com2010-10-211-1/+1
* Use takeUniqFromSupply in ByteCodeGenIan Lynagh2010-10-211-3/+3
* Fix some whitespaceIan Lynagh2010-10-211-16/+16
* Use takeUniqFromSupply in emitProcWithConventionIan Lynagh2010-10-211-2/+3
* Use takeUniqFromSupply in IfaceEnvIan Lynagh2010-10-211-12/+8
* Define takeUniqFromSupplyIan Lynagh2010-10-211-0/+4
* Remove some extraneous whitespaceIan Lynagh2010-10-211-3/+3
* Add a comment on why some seq's are doneIan Lynagh2010-10-211-0/+2
* Tidy up RuntimeUnkSkols a bit moresimonpj@microsoft.com2010-10-213-26/+24
* Fix haddock markupsimonpj@microsoft.com2010-10-211-1/+1
* Improve rule checking, to fix panic Trac #4398simonpj@microsoft.com2010-10-212-84/+86
* Improve the simple expression optimiser so it does simple beta reductionsimonpj@microsoft.com2010-10-211-31/+43
* Template Haskell: add view patterns (Trac #2399)Reiner Pope2010-10-102-3/+10
* Tidy-up sweep, following the Great Skolemisation Simplificationsimonpj@microsoft.com2010-10-2110-81/+54
* Fix haddock markupIan Lynagh2010-10-201-4/+4
* Don't seq unfoldingsIan Lynagh2010-10-201-1/+4
* Avoid hanging on to old unfoldings; fixes #4367 (compiler space regression)Ian Lynagh2010-10-201-2/+8
* Comments and layout onlysimonpj@microsoft.com2010-10-203-14/+22
* (1) More lenient kind checking, (2) Fixed orientation problems and avoiding d...dimitris@microsoft.com2010-10-203-118/+185
* Midstream changes to deal with spontaneous solving and flatten skolem equival...dimitris@microsoft.com2010-10-194-72/+208
* Refactor, plus fix Trac #4418simonpj@microsoft.com2010-10-201-121/+101
* Add a comment, connecting the seq to the test (#4367) that shows its usefulnesssimonpj@microsoft.com2010-10-201-1/+1
* Define setIdUnfoldingLazily, and use it in VectoriseIan Lynagh2010-10-192-2/+7
* Evaluate the results in coreToStgAppIan Lynagh2010-10-191-5/+7
* Retab CoreToStg, and remove trailing whitespaceIan Lynagh2010-10-191-418/+418
* seq the unfolding in setUnfoldingInfoIan Lynagh2010-10-191-4/+3
* Comments onlysimonpj@microsoft.com2010-10-191-1/+2
* Fix debuggersimonpj@microsoft.com2010-10-192-13/+37
* Fix IPRun by fixing the inferred quantification mechanismsimonpj@microsoft.com2010-10-191-5/+18
* Recover after an error in an implication constraintsimonpj@microsoft.com2010-10-192-1/+12
* Reject programs with equality superclasses for nowsimonpj@microsoft.com2010-10-191-5/+12
* Layout and tiny refactoring onlysimonpj@microsoft.com2010-10-191-17/+16
* Clean up the debugger codesimonpj@microsoft.com2010-10-199-230/+194
* Add new VarEnv functions minusVarEnv, intersectsVarEnv, unionInScopesimonpj@microsoft.com2010-10-191-1/+10
* Major pass through type checker:(1) prioritizing equalities, (2) improved Der...dimitris@microsoft.com2010-10-185-222/+326
* (1) Caching FD improvements for efficiency, (2) preventing cascading deriveds...dimitris@microsoft.com2010-10-154-76/+137
* Midstream changes for performance improvement related to superclasses and fun...dimitris@microsoft.com2010-10-144-104/+168
* Minordimitris@microsoft.com2010-10-121-3/+2
* Commentary changesdimitris@microsoft.com2010-10-111-2/+31
* Kind checking bugfix (#4356) and preventing wanteds from rewriting wantedsdimitris@microsoft.com2010-10-083-34/+69
* Fix -auto-all: Add SCCs to IDs which have a monotype tooIan Lynagh2010-10-181-4/+6