summaryrefslogtreecommitdiff
path: root/compiler/coreSyn
Commit message (Expand)AuthorAgeFilesLines
* Fully implement for VECTORISE type pragmas (non-SCALAR).Manuel M T Chakravarty2011-10-104-10/+13
* Use a custom dead-code analyser instead of calling the occurrence analyser.Simon Marlow2011-10-061-16/+74
* Fix warnings in coreSyn/CoreUtils.lhsIan Lynagh2011-09-271-7/+1
* Whitespace only in coreSyn/CoreUtils.lhsIan Lynagh2011-09-271-355/+355
* Change the way IfExtName is serialized so (most) wired-in names get special r...Max Bolingbroke2011-09-271-1/+1
* Add a comment to CorePrep that it does the Integer conversionIan Lynagh2011-09-251-1/+6
* Make a new type synonym CoreProgram = [CoreBind]Simon Peyton Jones2011-09-234-6/+28
* Take account of the mk_integer in a LitInteger when computing CAF-hoodSimon Peyton Jones2011-09-231-5/+8
* Improve the handling of Integer literalsIan Lynagh2011-09-174-42/+24
* Fix integer stuff (fixes Trac #5485)Simon Peyton Jones2011-09-141-39/+45
* change how Integer's are handled in CoreIan Lynagh2011-09-134-38/+55
* Merge branch 'no-pred-ty'Max Bolingbroke2011-09-0910-239/+372
|\
| * Move exprIsConApp_maybe to CoreSubst so we can use it in VSO. Fix VSO bug wit...no-pred-tyMax Bolingbroke2011-09-092-194/+233
| * Comments, and rename FactTuple to ConstraintTupleSimon Peyton Jones2011-09-091-1/+2
| * Nuke isCertainlyPredReprTySimon Peyton Jones2011-09-071-2/+2
| * Implement -XConstraintKindMax Bolingbroke2011-09-066-45/+140
| * Fix handing of CoVars in SetLevels: it wasn't renaming occurrences of case-bo...Max Bolingbroke2011-09-061-7/+9
| * There are no predicate kinds in external core: remove KeqMax Bolingbroke2011-09-063-5/+1
* | Obey the exprArity invariants! Fixes Trac #5441Simon Peyton Jones2011-09-091-4/+10
|/
* Fix two bugs in caes-floating (fixes Trac #5453)Simon Peyton Jones2011-09-051-1/+41
* Comments onlySimon Peyton Jones2011-09-051-18/+20
* Add VECTORISE [SCALAR] type pragmaManuel M T Chakravarty2011-08-194-9/+16
* Comments onlySimon Peyton Jones2011-08-151-0/+3
* Tidy up handling of PredTys: remove dead code, move functions deconstructing ...Max Bolingbroke2011-08-031-2/+2
* Add Type.tyConAppTyCon_maybe and tyConAppArgs_maybe, and use themSimon Peyton Jones2011-08-031-7/+6
* Comments, plus export TrieMap(..)Simon Peyton Jones2011-07-291-4/+25
* Add new TrieMap moduleSimon Peyton Jones2011-07-291-0/+581
* Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2011-07-271-2/+3
|\
| * We need a varToCoreExpr, so that coercions appear correctlySimon Peyton Jones2011-07-271-2/+3
* | Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2011-07-277-214/+241
|\ \ | |/
| * White space onlySimon Peyton Jones2011-07-271-9/+0
| * Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2011-07-271-99/+120
| |\
| | * Move CoreSyn comments upwardsMax Bolingbroke2011-07-261-99/+120
| * | Improve exprIsConApp_maybe againSimon Peyton Jones2011-07-271-18/+26
| |/
| * Re-engineer exprIsConApp_maybe (fixes Trac #5327)Simon Peyton Jones2011-07-251-77/+76
| * A nice tidy-up for CvSubst and liftCoSubstSimon Peyton Jones2011-07-233-10/+11
| * Simplify the treatment of RULES in OccurAnalSimon Peyton Jones2011-07-212-10/+15
| * Change loop breaker terminologySimon Peyton Jones2011-07-212-2/+2
| * Coercions can be hashed just fineSimon Peyton Jones2011-07-201-1/+1
| * Improve pretty printing of Core (fixes #5325)Simon Peyton Jones2011-07-151-14/+16
* | Print rules as well as binds in simplOptPgm debugSimon Peyton Jones2011-07-271-2/+2
|/
* Reformat warning slightlySimon Peyton Jones2011-06-301-1/+2
* Use isNonRuleLoopBreaker where possible, not isLoopBreakerSimon Peyton Jones2011-06-301-1/+1
* Remove now-unnecessary hack in CoreFVs.ruleRhsFVSSimon Peyton Jones2011-06-301-16/+14
* Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2011-06-301-1/+2
|\
| * New functionality required for the supercompiler pluginMax Bolingbroke2011-06-291-1/+2
* | A second bite at the case-floating patchSimon Peyton Jones2011-06-301-2/+18
* | Rename to avoid name clashes elsewhereSimon Peyton Jones2011-06-301-9/+9
* | More tracing in CoreUnfoldSimon Peyton Jones2011-06-271-1/+3
|/
* Get rid of the DFunArg type and all its worksSimon Peyton Jones2011-06-236-27/+6
View Lorry Controller Status