summaryrefslogtreecommitdiff
path: root/compiler
Commit message (Expand)AuthorAgeFilesLines
* Allow multiple C finalizers to be attached to a Weak#Takano Akio2013-06-151-2/+9
* Avoid generating empty llvm.used definitions.Geoffrey Mainland2013-06-121-12/+12
* Remove dead codeSimon Peyton Jones2013-06-123-36/+2
* Remove trace that sometimes causes a loopSimon Peyton Jones2013-06-121-2/+0
* Fix the constraint simplifier (Trac #7967)Simon Peyton Jones2013-06-125-169/+194
* Comment out function; consequence of reverting a553f18Simon Peyton Jones2013-06-111-2/+2
* Revert "Add support for byte endian swapping for Word 16/32/64."Simon Peyton Jones2013-06-1111-88/+24
* Typo in commentGabor Greif2013-06-111-1/+1
* Actually make the change described in 'Fix egregious typo in cmpTypeX'Simon Peyton Jones2013-06-112-24/+20
* Trace statements onlySimon Peyton Jones2013-06-101-0/+1
* Make sure we quantify over the context in data constructorsSimon Peyton Jones2013-06-101-19/+18
* Fix egregious typo in cmpTypeXSimon Peyton Jones2013-06-103-13/+35
* Fix substitution but in liftCoSubst (Trac #7973)Simon Peyton Jones2013-06-101-3/+79
* Fix warningsIan Lynagh2013-06-091-0/+3
* Add support for byte endian swapping for Word 16/32/64.Ian Lynagh2013-06-0911-24/+88
* Add --show-options to list all flags (Fixes #7843)Jan Stolarek2013-06-061-3/+10
* Remove old representation of CSEnv; part of #5996Ian Lynagh2013-06-062-151/+1
* Whitespace only in compiler/simplCore/CSE.lhsIan Lynagh2013-06-061-130/+121
* Traces and comments onlySimon Peyton Jones2013-06-061-5/+5
* Better computeDiscount for ValAppCtxtSimon Peyton Jones2013-06-061-6/+7
* Take proper account of over-saturated functions in CoreUnfoldSimon Peyton Jones2013-06-061-6/+7
* Make the simplifier propagate strictness through castsSimon Peyton Jones2013-06-062-41/+83
* Add important missing case for bothCPRSimon Peyton Jones2013-06-061-1/+2
* Transfer strictness on trivial right-hand sidesSimon Peyton Jones2013-06-061-2/+35
* Use checkRecTc to improve demand analysis slightlySimon Peyton Jones2013-06-061-8/+16
* Remove bogus-looking check, which was causing Trac #7894Simon Peyton Jones2013-06-061-6/+0
* Add TyCon.checkRecTc, and use in in typeAritySimon Peyton Jones2013-06-066-78/+113
* Wibbles (merg-os) to ticky-tickySimon Peyton Jones2013-06-062-3/+3
* Comments about the Name CacheSimon Peyton Jones2013-06-062-3/+30
* Implement cardinality analysisSimon Peyton Jones2013-06-0611-719/+1285
* Comments and white space onlySimon Peyton Jones2013-06-064-7/+8
* Fix panic on deriving a nullary typeclass (#7959)Krzysztof Gogolewski2013-06-051-1/+7
* Imrove Lint to check unfoldingsSimon Peyton Jones2013-06-051-5/+19
* Fix thunk leak in CoreM's CoreWriterAndrew Farmer2013-06-041-1/+2
* UntabifyGeoffrey Mainland2013-06-031-485/+478
* UntabifyGeoffrey Mainland2013-06-031-248/+241
* UntabifyGeoffrey Mainland2013-06-031-388/+381
* UntabifyGeoffrey Mainland2013-06-031-277/+270
* Use the symmetric version of the newtype coercion.Iavor S. Diatchki2013-05-311-6/+6
* Fix a trailing case in making FamInstTyCon,Simon Peyton Jones2013-05-301-5/+12
* Define chkAppend, and use itSimon Peyton Jones2013-05-302-4/+9
* Add a primitive for coercing values into dictionaries in a special case.Iavor S. Diatchki2013-05-304-6/+80
* Fix Read for empty data types (again; Trac #7931)Simon Peyton Jones2013-05-302-3/+22
* Eta-reduce data/newtype family instance axioms (Trac #4185)Simon Peyton Jones2013-05-304-119/+163
* Improve validity check to give better error messageSimon Peyton Jones2013-05-301-2/+4
* Use new TcHsType.zonkSigType to establish Type invariantsSimon Peyton Jones2013-05-306-45/+105
* Refine 'type_determines_value' in Specialise. Fix Trac #7785.Simon Peyton Jones2013-05-301-8/+32
* Make 'SPECIALISE instance' work againSimon Peyton Jones2013-05-3021-383/+316
* Check for illegal syntax in types (fixes Trac #7943)Simon Peyton Jones2013-05-281-3/+4
* Give 'unboundName' a very low binding precedenceSimon Peyton Jones2013-05-282-17/+31