summaryrefslogtreecommitdiff
path: root/compiler/coreSyn
Commit message (Expand)AuthorAgeFilesLines
* Merge commit with HEADSimon Peyton Jones2012-01-035-44/+14
|\
| * Print more informative sizes in -dshow-passes,Simon Peyton Jones2011-12-291-4/+4
| * Improve ASSERT error messageSimon Peyton Jones2011-12-231-1/+1
| * Tidy up pretty-printing for variablesSimon Peyton Jones2011-12-192-0/+5
| * Document the "kind invariant", and check itSimon Peyton Jones2011-12-131-39/+4
* | Lots of refactoring of the CoAxiom stuffSimon Peyton Jones2011-12-291-2/+2
|/
* Merge branch 'master' of ../HEADSimon Peyton Jones2011-12-051-1/+7
|\
| * Make TypeMap an instance of OutputableSimon Peyton Jones2011-12-051-1/+7
* | remove unused coreExprCcSimon Marlow2011-12-021-9/+1
|/
* Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2011-11-291-0/+7
|\
| * This patch includes:Dimitrios Vytiniotis2011-11-281-0/+7
* | Switch around the order of guards in exprIsConApp_maybeSimon Peyton Jones2011-11-291-2/+2
* | Be a bit less gung-ho in exprIsConApp_maybeSimon Peyton Jones2011-11-271-10/+9
|/
* Fix newtype wrapper for 'PData[s] (Wrap a)' and fix VECTORISE type and instan...Manuel M T Chakravarty2011-11-254-5/+4
* Fix comments.Michal Terepeta2011-11-221-3/+3
* fix warningSimon Marlow2011-11-221-1/+1
* Do not wrap Coercions with ticks (fixes GADT3(profasm))Simon Marlow2011-11-221-0/+2
* Move mkPiTypes back to Type, rename mkForAllArrowKinds to mkPiKindsJose Pedro Magalhaes2011-11-161-15/+1
* Minor fix, and transform a failure into a warningJose Pedro Magalhaes2011-11-161-3/+3
* GHC gets a new constraint solver. More efficient and smaller in size.Dimitrios Vytiniotis2011-11-163-24/+96
* Add -fpedantic-bottoms, and document itSimon Peyton Jones2011-11-161-32/+79
* Further wibbles to calcUnfoldingGuidance, with documentation of sameSimon Peyton Jones2011-11-161-38/+44
* Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2011-11-151-1/+2
|\
| * Don't discard ticks on literals (fixes the HPC "tough" test)Simon Marlow2011-11-151-1/+2
* | Make certainlyWillInline more conservative, so that it is never true of thunk...Simon Peyton Jones2011-11-111-7/+21
* | Tighten up the definition of arityType a bit further,Simon Peyton Jones2011-11-111-60/+80
* | Make exprOkForSpeculation more modular (and self-consistent)Simon Peyton Jones2011-11-111-40/+44
* | Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2011-11-115-104/+161
|\ \ | |/
| * New kind-polymorphic coreJose Pedro Magalhaes2011-11-115-104/+161
* | Establish the invariant that (LitAlt l) is always unliftedSimon Peyton Jones2011-11-092-12/+31
|/
* Fix Trac #5475: another bug in exprAritySimon Peyton Jones2011-11-091-11/+16
* Fix core-lint bug in GHCiSimon Marlow2011-11-081-1/+3
* Warnings already seem to be fixed in coreSyn/CoreFVs.lhsIan Lynagh2011-11-061-7/+0
* Whitespace in coreSyn/CoreFVs.lhsIan Lynagh2011-11-061-99/+92
* Use -fwarn-tabs when validatingIan Lynagh2011-11-0414-0/+98
* drop SCC on a variable when it has a non-function typeSimon Marlow2011-11-041-0/+9
* Clean up and complete the vectorisation of type classesManuel M T Chakravarty2011-11-041-0/+2
* remove tabs againSimon Marlow2011-11-021-3/+3
* Overhaul of infrastructure for profiling, coverage (HPC) and breakpointsSimon Marlow2011-11-0214-165/+360
* VECTORISE pragmas for type classes and instancesManuel M T Chakravarty2011-10-313-5/+12
* The Types inside an OutCoercion are *not* InTypesMax Bolingbroke2011-10-301-5/+5
* Make the matching in PrelRules "look through" unfoldingsSimon Peyton Jones2011-10-242-2/+18
* Remove a redundant #ifdef DEBUGIan Lynagh2011-10-231-4/+2
* Recover proper sharing for Integer literalsSimon Peyton Jones2011-10-212-8/+19
* Be even more careful about eta expansion when bottom is involvedSimon Peyton Jones2011-10-211-3/+31
* 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
View Lorry Controller Status