summaryrefslogtreecommitdiff
path: root/compiler
Commit message (Expand)AuthorAgeFilesLines
* Produce new-style Cmm from the Cmm parserSimon Marlow2012-10-0853-1154/+1502
* Add a ToDo commentSimon Marlow2012-10-051-0/+21
* Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghcIan Lynagh2012-10-057-58/+85
|\
| * Merge branch 'master' of darcs.haskell.org:/home/darcs/ghcSimon Peyton Jones2012-10-045-163/+192
| |\
| * | Do not do type-class defaulting if there are insoluble constraintsSimon Peyton Jones2012-10-041-1/+3
| * | Improve erorr location for Given errorsSimon Peyton Jones2012-10-042-37/+59
| * | Do not create extra evidence given/derived variables in the Refl case of rewr...Simon Peyton Jones2012-10-041-15/+15
| * | Improve debug tracing slightySimon Peyton Jones2012-10-041-4/+5
| * | Improve pretty-printing for holesSimon Peyton Jones2012-10-041-0/+2
| * | Comments onlySimon Peyton Jones2012-10-041-1/+1
* | | Make adjust_ul handle BCOsIan Lynagh2012-10-051-1/+3
* | | Load the right object files in ghciIan Lynagh2012-10-041-29/+44
| |/ |/|
* | Fix the recompilation check for dynamic librariesIan Lynagh2012-10-033-11/+18
* | Add a "Dynamic by default" field to the ghc --info outputIan Lynagh2012-10-031-0/+2
* | Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghcIan Lynagh2012-10-0387-4673/+5017
|\ \ | |/
| * This big patch re-factors the way in which arrow-syntax is handledSimon Peyton Jones2012-10-0332-908/+1179
| * Fix type error in 2c207b6f (Compare the kinds of type variables)Simon Peyton Jones2012-10-031-2/+2
| * Improve constraint solver depth error slightlySimon Peyton Jones2012-10-031-4/+4
| * Give PrimOps a NOINLINE pragma, to suppress silly warnings from dsRuleSimon Peyton Jones2012-10-021-2/+7
| * Make sure that we check for type errors strictly in a Template Haskell splice...Simon Peyton Jones2012-10-021-0/+6
| * Compare the kinds of type variables when comparing typesSimon Peyton Jones2012-10-022-42/+45
| * Merge branch 'tc-untouchables'Simon Peyton Jones2012-10-0260-3702/+3749
| |\
| | * A few more constraint solver improvementsSimon Peyton Jones2012-10-025-150/+198
| | * Improve (and simplify) the short-circuiting of Refl coercionsSimon Peyton Jones2012-10-021-28/+17
| | * Comments, and unused importSimon Peyton Jones2012-10-022-5/+5
| | * Merge branch 'tc-untouchables' of http://darcs.haskell.org/ghc into tc-untouc...Simon Peyton Jones2012-10-018-109/+112
| | |\
| | | * Modest refactoring (put bumpStepCounter into traceFireTcS, and other simple t...tc-untouchablesSimon Peyton Jones2012-10-012-47/+37
| | | * Modest refactoring in TcCanonical (and TcSMonad)Simon Peyton Jones2012-10-012-32/+34
| | | * Simplify the reOrient function (no change in behaviour)Simon Peyton Jones2012-10-011-9/+5
| | | * Fix an ASSERTSimon Peyton Jones2012-10-011-1/+1
| | | * Use System Names for evidence variablesSimon Peyton Jones2012-10-012-3/+8
| | | * Comment out a particularly verbose traceSimon Peyton Jones2012-10-011-1/+3
| | | * Improve pretty printing for coercions (exp transistivity chains)Simon Peyton Jones2012-10-011-4/+9
| | | * Add missing case in TcUnify.matchExpectedFunKindSimon Peyton Jones2012-09-291-12/+15
| | * | Tracing in TcUnifySimon Peyton Jones2012-10-011-2/+12
| | * | Comments about silent superclassesSimon Peyton Jones2012-10-013-5/+14
| | |/
| | * Merge remote-tracking branch 'origin/master' into tc-untouchablesSimon Peyton Jones2012-09-2852-1553/+1044
| | |\
| | * | Refactor the handling of kind errorsSimon Peyton Jones2012-09-2810-293/+185
| | * | Better ASSERT messageSimon Peyton Jones2012-09-281-1/+1
| | * | Comments onlySimon Peyton Jones2012-09-281-1/+1
| | * | Fix kind unification in the special rule for ($)Simon Peyton Jones2012-09-281-8/+16
| | * | Comments onlySimon Peyton Jones2012-09-281-1/+1
| | * | Wibble to debug printSimon Peyton Jones2012-09-281-1/+1
| | * | Improve pretty printing for coercionsSimon Peyton Jones2012-09-281-1/+1
| | * | Fiddling with kind errorsSimon Peyton Jones2012-09-218-176/+254
| | * | Fix an outright bug in my "left/right" stuff,Simon Peyton Jones2012-09-201-84/+65
| | * | Comments onlySimon Peyton Jones2012-09-201-1/+1
| | * | Merge remote-tracking branch 'origin/master' into tc-untouchablesSimon Peyton Jones2012-09-2022-248/+281
| | |\ \
| | * \ \ Merge remote-tracking branch 'origin/master' into tc-untouchablesSimon Peyton Jones2012-09-1838-435/+563
| | |\ \ \
| | * | | | Make sure that even insoluble constraints are fully substitutedSimon Peyton Jones2012-09-182-34/+58
View Lorry Controller Status