Commits

Show all
Author Commit Message Labels Comments Date
Simon Peyton Jones
Modest refactoring (put bumpStepCounter into traceFireTcS, and other simple things)
Simon Peyton Jones
Modest refactoring in TcCanonical (and TcSMonad)
Simon Peyton Jones
Simplify the reOrient function (no change in behaviour)
Simon Peyton Jones
Fix an ASSERT
Simon Peyton Jones
Use System Names for evidence variables These variables all have uniformative names like "cobox" or "d". Make them System Names tells the pretty printer to show their uniques even without -dppr-debug. That in turn makes the less-voluminous debug traces *much* more informative.
Simon Peyton Jones
Comment out a particularly verbose trace
Simon Peyton Jones
Improve pretty printing for coercions (exp transistivity chains)
Simon Peyton Jones
Add missing case in TcUnify.matchExpectedFunKind This fixes Trac #7278
Simon Peyton Jones
Merge remote-tracking branch 'origin/master' into tc-untouchables
Simon Peyton Jones
Refactor the handling of kind errors * Treat kind-equality constraints as *derived* equalities, with no evidence. That is really what they are at the moment. * Get rid of EvKindCast and friends. * Postpone kind errors properly to the constraint solver (lots of small knock-on effects) I moved SwapFlag to BasicTypes as well
Simon Peyton Jones
Better ASSERT message
Simon Peyton Jones
Comments only
Simon Peyton Jones
Fix kind unification in the special rule for ($)
Simon Peyton Jones
Comments only
Simon Peyton Jones
Wibble to debug print
Simon Peyton Jones
Improve pretty printing for coercions
Ian Lynagh
Merge branch 'master' of darcs.haskell.org:/srv/darcs//ghc
Ian Lynagh
Document that we don't warn about defining deprecated class methods
Ian Lynagh
Tweak the build system handling of shell wrappers Rather than having a separate foo_INSTALL_SHELL_WRAPPER variable, we just use foo_INSTALL && foo_SHELL_WRAPPER
Ian Lynagh
Remove a stray " in the build system
Ian Lynagh
Remove an unused bit from the Lexer bitmap
ezyang
Partially fix #367 by adding HpLim checks to entry with -fno-omit-yields. The current fix is relatively dumb as far as where to add HpLim checks: it will always perform a check unless we know that we're returning from a closure or we are doing a non let-no-escape case analysis. The performance impact on the nofib suite looks like this: Min +5.7% -0.0% -6.5% -6.4% -50.0% Max +6.3% +5.8% +5.0% +5.5% …
Ian Lynagh
Build old-time with stage2 It's no longer needed in order to build the compiler itself.
simonmar
fix stage2 compilation
simonmar
Remove some old-codegen cruft
simonmar
When -split-objs is on, make one SRT per split, not one per module This is a hopefully temporary measure until the new SRT design is implemeented.
simonmar
fix panic message typo
simonmar
Misc tidyup
simonmar
whitespace and panic message fixup
simonmar
whitespace only
  1. Prev
  2. Next