Don't use stdcall on Win64: It isn't supported; ccall is used instead
[ghc.git] / compiler / typecheck /
2012-05-15  Ian LynaghMerge branch 'master' of
2012-05-15  Paolo CapriottiAdd a fixity environment to InteractiveContext (#2947)
2012-05-11  Simon Peyton JonesMerge branch 'master' of
2012-05-11  Simon Peyton JonesRefactor LHsTyVarBndrs to fix Trac #6081
2012-05-10  Simon Peyton JonesComments only
2012-05-09  Simon Peyton JonesMerge branch 'master' of
2012-05-09  Simon Peyton JonesTake care not to mix polymorphic and unlifted bindings...
2012-05-09  Simon Peyton JonesMerge branch 'ghc-new-flavor'
2012-05-09  Simon Peyton JonesMake fresh variables when decomposing Givens
2012-05-09  Simon Peyton JonesCosmetics
2012-05-07  Simon Peyton JonesYet another major refactoring of the constraint solver
2012-05-03  Ian LynaghCheck the calling convention of foreign imported labels...
2012-05-01  Simon Peyton JonesMerge branch 'master' of
2012-05-01  Simon Peyton JonesTidy up a remaining glitch in unification
2012-04-30  Ian LynaghMerge branch 'master' of
2012-04-30  Simon Peyton JonesEgregious typo (fixes Trac #6055)
2012-04-30  Simon Peyton JonesMerge branch 'master' of
2012-04-27  Simon Peyton JonesMerge branch 'master' of
2012-04-27  Simon Peyton JonesMerge branch 'master' of
2012-04-27  Simon Peyton JonesPretty printing and debug improvements
2012-04-27  Simon Peyton JonesMerge branch 'master' of
2012-04-27  Simon Peyton JonesSmall refactoring in kind generalisation of type declar...
2012-04-27  Simon Peyton JonesWhite space and debug printint
2012-04-27  Ian LynaghMerge branch 'master' of
2012-04-27  Ian LynaghMerge branch 'master' of
2012-04-26  Ian LynaghMerge branch 'master' of
2012-04-26  Ian LynaghMerge win:c:/m64/reg8
2012-04-26  Simon Peyton JonesMake the RHS of a generic FamInst use the same type...
2012-04-26  Simon Peyton JonesMerge branch 'master' of
2012-04-26  Simon Peyton JonesDo not generate derived instances in TH brackets
2012-04-26  Simon Peyton JonesImprove debug print a bit
2012-04-26  Simon Peyton JonesFix a one-character typo (kv1 should be kv2!)
2012-04-25  Simon Peyton JonesMerge branch 'master' of
2012-04-25  Simon Peyton JonesFix typo
2012-04-25  Simon Peyton JonesMore fixes to kind polymorphism, fixes Trac #6035,...
2012-04-25  Simon Peyton JonesMerge branch 'master' of
2012-04-25  Simon Peyton JonesMerge branch 'master' of
2012-04-25  Simon Peyton JonesBetter error messages during sort checking of kind...
2012-04-25  Simon Peyton JonesMerge remote-tracking branch 'origin/master'
2012-04-25  Simon Peyton JonesReport deprecations at occurrence sites, not once per...
2012-04-24  David TereiAdd experimental GHCi monad.
2012-04-24  Ian LynaghAdd a flag for the unsupported calling convention warning
2012-04-24  Simon Peyton JonesMerge branch 'master' of
2012-04-23  Ian LynaghMerge nb:ghc/git/ghc
2012-04-23  Ian LynaghMerge branch 'master' of
2012-04-23  Simon Peyton JonesSort instances by location before printing them
2012-04-22  Simon Peyton JonesTiny refactoring; no change in behaviour
2012-04-22  Simon Peyton JonesRespect kind-variable scoping when instantiating dfuns
2012-04-20  Simon Peyton JonesMerge branch 'master' of
2012-04-20  Simon Peyton JonesMove free-var info from InstDecl to FamInstDecl
2012-04-20  Simon Peyton JonesMerge branch 'master' of
2012-04-20  Simon Peyton JonesMerge branch 'master' of
2012-04-20  Simon Peyton JonesComments only
2012-04-20  Simon Peyton JonesMerge branch 'master' of
2012-04-20  Simon Peyton JonesDo SCC on instance declarations (fixes Trac #5715)
2012-04-16  Simon Peyton JonesSimplify the typechecking of RULES
2012-04-16  Simon Peyton JonesSimplify construction of equality predicates
2012-04-13  Simon Peyton JonesMerge branch 'master' of
2012-04-13  Simon Peyton JonesAllow kind-variable binders in type signatures
2012-04-13  Simon Peyton JonesAllow overlaps when -XIncoherentInstances is in force
2012-04-13  Simon Peyton JonesRevert "Added ':runmonad' command to GHCi"
2012-04-13  David TereiAdded ':runmonad' command to GHCi
2012-04-12  Paolo CapriottiFix instance signature error message (#6001)
2012-04-10  Dimitrios.VytiniotisMerge branch 'master' of
2012-04-10  Dimitrios.VytiniotisSetting empty touchable range in implications that...
2012-04-10  Dimitrios.VytiniotisUpdates to the constraint solver to be able to handle...
2012-04-09  Iavor S. DiatchkiUpdate names to match the implementation in GHC.TypeLits.
2012-04-05  Dimitrios.VytiniotisMerge branch 'master' of
2012-04-05  Dimitrios.VytiniotisImproved caching: I was flushing the solved when going...
2012-04-05  Simon Peyton JonesMerge branch 'master' of
2012-04-05  Simon Peyton JonesMerge branch 'master' of
2012-04-05  Simon Peyton JonesImprove kind-checking of type splices slightly
2012-04-05  Simon Peyton JonesImprove error reporting for out-of-scope variables
2012-04-05  Simon Peyton JonesWhite space only
2012-04-05  Dimitrios.VytiniotisMerge branch 'master' of into...
2012-04-04  David TereiFix GHC API with respect to safe haskell. (#5989)
2012-04-04  Dimitrios.VytiniotisMerge branch 'master' of into...
2012-04-04  Dimitrios.VytiniotisMerge branch 'master' of into...
2012-04-04  Dimitrios.VytiniotisAdding a forgotten pre-canonicalication cache-lookup...
2012-04-04  Simon Peyton JonesMerge branch 'master' of
2012-04-04  Simon Peyton JonesTighten up on type validity checking
2012-04-04  Paolo CapriottiUpdate comments about Addr in foreign declarations.
2012-04-04  Paolo CapriottiImproved checks for "dynamic" and "wrapper" foreign...
2012-04-04  Dimitrios.VytiniotisWibble: using original type for the dictionary if it...
2012-04-04  Dimitrios.VytiniotisMore informative tracing for ddump-cs-trace
2012-04-03  Dimitrios.VytiniotisWhen rewriting a flavor with rewriteCtFlavor, in the...
2012-04-03  Dimitrios.VytiniotisBugfix in emitKindConstraint (must not cache orig const...
2012-04-03  Paolo CapriottiPrevent nested TH exceptions from bubbling up to the...
2012-04-03  Dimitrios.VytiniotisCommentary, following the relaxation of idempotence...
2012-04-02  Dimitrios.VytiniotisDropping the idempotence restriction on the inert subst...
2012-04-02  Dimitrios.VytiniotisDeleting more old commented code.
2012-04-02  Dimitrios.VytiniotisMerge branch 'master' of into...
2012-03-30  Dimitrios VytiniotisMostly commentary to follow up after discussions with...
2012-03-30  Dimitrios VytiniotisA little tracing.
2012-03-30  Simon Peyton JonesMerge branch 'master' of
2012-03-30  Simon Peyton JonesDon't do validity checking on types in Template Haskell...
2012-03-30  Simon Peyton JonesA related group of changes that make lexically scoped...
2012-03-29  Dimitrios VytiniotisDeleting A LOT of commented out code!
2012-03-29  Dimitrios VytiniotisChanging the orientation of a generated equality
2012-03-29  Dimitrios VytiniotisMore informative commentary as to why we allow family...