summaryrefslogtreecommitdiff
path: root/compiler/coreSyn
Commit message (Expand)AuthorAgeFilesLines
* Add silent superclass parameters (again)Simon Peyton Jones2012-06-277-8/+29
* Remove another use of sortLeIan Lynagh2012-06-221-12/+9
* Correct a commentIan Lynagh2012-06-221-1/+1
* Make -dppr-case-as-let a dynamic flagIan Lynagh2012-06-141-25/+25
* Fix whitespace in coreSyn/PprCore.lhsIan Lynagh2012-06-141-119/+112
* Simplify the implementation of Implicit ParametersSimon Peyton Jones2012-06-131-21/+2
* Pass DynFlags down to showSDocIan Lynagh2012-06-121-86/+110
* Remove some redundant Show instancesIan Lynagh2012-06-121-3/+0
* Pass DynFlags down to showSDocDumpIan Lynagh2012-06-121-1/+1
* Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghcIan Lynagh2012-06-061-16/+2
|\
| * Merge remote-tracking branch 'origin/unboxed-tuple-arguments2'Paolo Capriotti2012-06-051-16/+2
| |\
| | * Support code generation for unboxed-tuple function argumentsunboxed-tuple-arguments2Max Bolingbroke2012-05-151-16/+2
* | | Put the Integer type, rather than the mkIntegerId, inside LitIntegerIan Lynagh2012-06-062-26/+39
* | | Tell built-in rules the Id that the rule has matchedIan Lynagh2012-06-061-1/+1
|/ /
* | Change how macros like ASSERT are definedIan Lynagh2012-06-051-1/+1
* | Fix whitespace in coreSyn/CorePrep.lhsIan Lynagh2012-05-291-209/+203
* | Be less aggressive about the result discountSimon Peyton Jones2012-05-281-32/+41
* | When comparing Case expressions, take account of empty alternativesSimon Peyton Jones2012-05-162-24/+45
|/
* Merge branch 'master' of http://darcs.haskell.org//ghcSimon Peyton Jones2012-05-097-26/+73
|\
| * Yet another major refactoring of the constraint solverSimon Peyton Jones2012-05-071-9/+1
| * Allow cases with empty alterantivesSimon Peyton Jones2012-05-026-17/+72
* | Re-do the "function application discount" (fixes Trac #6048)Simon Peyton Jones2012-05-091-87/+35
* | Be a little less aggressive about inlining (fixes Trac #5623)Simon Peyton Jones2012-05-094-39/+101
|/
* Revert "Refactoring in CoreUtils/CoreArity"Simon Peyton Jones2012-04-272-134/+107
* Refactoring in CoreUtils/CoreAritySimon Peyton Jones2012-04-272-107/+134
* Use coreBindsStats more than coreBindsSizeSimon Peyton Jones2012-04-261-44/+51
* Tiny refactorSimon Peyton Jones2012-04-261-2/+1
* Implemeting a lookup modulo non-idempotent substitution.Dimitrios.Vytiniotis2012-04-051-17/+21
* Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-new-flavorDimitrios.Vytiniotis2012-04-021-6/+11
|\
| * Comments onlySimon Peyton Jones2012-03-301-6/+11
* | Add handling of LitTy. Still a TODO to deal properly with the forall case in ...Dimitrios Vytiniotis2012-03-291-7/+2
* | Slightly more informal message when EvCast fails.Dimitrios Vytiniotis2012-03-291-5/+7
* | Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-new-flavorDimitrios Vytiniotis2012-03-286-23/+161
|\ \ | |/
| * Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-03-243-10/+101
| |\
| | * Make impossible-alternative-finding code more reusableMax Bolingbroke2012-03-212-8/+86
| | * Print more information when out-of-scope detected by linterMax Bolingbroke2012-03-211-2/+2
| | * Check for external names/exported ids in non-top-level binders during LintMax Bolingbroke2012-03-211-0/+13
| * | Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-03-191-6/+8
| |\ \ | | |/
| | * Fix another bug in CorePrep eta-reduction (fixes Trac #5915)Simon Peyton Jones2012-03-141-6/+8
| * | Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-03-136-307/+292
| |\ \ | | |/
| * | Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-02-121-115/+138
| |\ \
| * | | Add support for type-level "strings".Iavor S. Diatchki2012-01-242-7/+14
| * | | Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-01-244-27/+64
| |\ \ \
| * \ \ \ Merge in more HEAD, fix stuff upSimon Peyton Jones2012-01-232-38/+46
| |\ \ \ \
| * | | | | Mainly, rename LiteralTy to LitTySimon Peyton Jones2012-01-133-9/+9
| * | | | | Merge remote-tracking branch 'origin/master' into type-natsIavor S. Diatchki2012-01-071-2/+2
| |\ \ \ \ \
| * \ \ \ \ \ Merge branch 'master' into type-natsIavor S. Diatchki2011-12-294-5/+10
| |\ \ \ \ \ \
| * | | | | | | Fix the implementation of the type literal trie.Iavor S. Diatchki2011-12-181-4/+2
| * | | | | | | Extend GHC's type with a representation for type level literals.Iavor S. Diatchki2011-12-182-2/+44
* | | | | | | | Midstream check-in onDimitrios.Vytiniotis2012-03-281-1/+39
| |_|_|_|_|_|/ |/| | | | | |