Don't use stdcall on Win64: It isn't supported; ccall is used instead
[ghc.git] / compiler / types /
2012-05-15  Ian LynaghMerge branch 'master' of darcs.haskell.org//ghc
2012-05-14  Simon Peyton JonesFix the the pure unifier so that it unifies kinds
2012-05-11  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-05-11  Simon Peyton JonesDelete dead code mkIParamTyCon
2012-05-10  Max BolingbrokeFix bug in expandTypeSynonyms that could rarely cause...
2012-05-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-05-09  Simon Peyton JonesMerge branch 'ghc-new-flavor'
2012-05-07  Simon Peyton JonesYet another major refactoring of the constraint solver
2012-04-30  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-04-30  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-04-30  Simon Peyton JonesMore explicit pretty-printing of promoted TyCons with...
2012-04-27  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-04-27  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-04-27  Simon Peyton JonesPretty printing and debug improvements
2012-04-26  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-04-25  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-04-25  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-04-25  Simon Peyton JonesImprove pretty-printing
2012-04-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-04-23  Ian LynaghMerge nb:ghc/git/ghc
2012-04-23  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-04-23  Simon Peyton JonesSort instances by location before printing them
2012-04-22  Simon Peyton JonesRespect kind-variable scoping when instantiating dfuns
2012-04-20  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-04-20  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-04-20  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-04-16  Simon Peyton JonesSimplify construction of equality predicates
2012-04-05  Dimitrios.VytiniotisMerge branch 'master' of darcs.haskell.org/ghc
2012-04-05  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-04-05  Simon Peyton JonesFix Trac #5952, by changing the Outputable TyCon instance,
2012-04-05  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-04-04  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-04-02  Dimitrios.VytiniotisMerge branch 'master' of darcs.haskell.org/ghc into...
2012-03-31  Iavor S. DiatchkiAdd some missing equations for type-literals.
2012-03-28  Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org/ghc into...
2012-03-26  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-03-24  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-03-21  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-03-20  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-03-20  Iavor S. DiatchkiAdd type-literals in the ordering hierarchy.
2012-03-16  Ian LynaghMerge branch 'master' of win:c:/m64/head/.
2012-03-16  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-03-16  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-03-14  Simon Peyton JonesRemove debug trace
2012-03-14  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-03-14  Simon Peyton JonesRemove debug trace
2012-03-14  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-03-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-03-09  Simon Peyton JonesImprove reporting of type-class errors
2012-03-02  Simon Peyton JonesWhite space only
2012-03-02  Simon Peyton JonesHurrah! This major commit adds support for scoped...
2012-02-22  Ian LynaghRemove support for CTYPE pragmas on type synonyms
2012-02-17  Simon Peyton JonesNow I understand why Constraint is a sub-kind of ArgKind!
2012-02-17  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-02-17  Simon Peyton JonesMore simplification of the sub-kinding story
2012-02-17  Simon Peyton JonesDefine TypeVar (like KindVar), isTypeVar, isKindVar...
2012-02-16  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2012-02-16  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-02-16  Simon Peyton JonesMainly tidying up pretty printing of types
2012-02-16  Simon Peyton JonesRefactoring around super-kinds
2012-02-16  Ian LynaghImplement the CTYPE pragma; part of the CApiFFI extension
2012-02-16  Ian LynaghWhitespace only in types/TyCon.lhs
2012-02-12  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-02-10  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-02-10  Simon Peyton JonesComplete fix of #5820
2012-02-06  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-02-06  Simon Peyton JonesGive promoted DataCons a tyConArity and promoted TyCons...
2012-02-01  Simon Peyton JonesWhen type-checking kinds, be sure to promote list and...
2012-01-26  Ian Lynaghde-tabbed the hs-boot files
2012-01-25  Iavor S. DiatchkiAdd support for type-level "strings".
2012-01-25  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-01-23  Simon Peyton JonesMerge in more HEAD, fix stuff up
2012-01-13  Simon Peyton JonesMainly, rename LiteralTy to LitTy
2012-01-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-01-12  Simon Peyton JonesFix if-def-ery for DEBUG
2012-01-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-01-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-01-12  Simon Peyton JonesImplememt -fdefer-type-errors (Trac #5624)
2012-01-11  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-01-10  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-01-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-01-09  Simon Peyton JonesIn mkCast (Coercion c1) c2, check that c2 has (~#)...
2012-01-07  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-01-03  Simon Peyton JonesMajor refactoring of CoAxioms
2011-12-30  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-12-23  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-12-23  Simon Peyton JonesFix an outright bug in the implementation of default...
2011-12-22  Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org//ghc
2011-12-22  Dimitrios VytiniotisVery small tweaks to pave the way for solving kind...
2011-12-19  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2011-12-19  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2011-12-19  Simon Peyton JonesTidy up pretty-printing for variables
2011-12-19  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-12-19  Iavor S. DiatchkiMerge remote-tracking branch 'origin/type-nats' into...
2011-12-19  Iavor S. DiatchkiExtend GHC's type with a representation for type level...
2011-12-13  Simon Peyton JonesDocument the "kind invariant", and check it
2011-12-05  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-12-05  Simon Peyton JonesMerge branch 'master' of ../HEAD
2011-12-05  Simon Peyton JonesAllow full constraint solving under a for-all (Trac...
2011-11-29  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
next