Mainly, rename LiteralTy to LitTy
[ghc.git] / compiler / typecheck / TcType.lhs
2012-01-13  Simon Peyton JonesMainly, rename LiteralTy to LitTy
2012-01-07  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2011-12-30  Iavor S. DiatchkiMerge branch 'master' into type-nats
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-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-22  Simon Marlowmerge
2011-11-17  Ben LippmeierMerge /Users/benl/devel/ghc/ghc-head-devel
2011-11-17  Ben LippmeierMerge /Users/benl/devel/ghc/ghc-head-devel
2011-11-16  Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org/ghc
2011-11-16  Dimitrios VytiniotisGHC gets a new constraint solver. More efficient and...
2011-11-11  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-11  Jose Pedro MagalhaesNew kind-polymorphic core
2011-11-04  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2011-11-04  Ian LynaghUse -fwarn-tabs when validating
2011-10-31  Manuel M T ChakravartyVECTORISE pragmas for type classes and instances
2011-10-25  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-10-25  Simon Peyton JonesMake GHCi :kind commane work again
2011-10-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-10-23  Ian LynaghSome DEBUG CPP removal
2011-10-04  Jose Pedro MagalhaesMerge branch 'master' into fix#5464
2011-10-01  Ian LynaghHandle newtypes and type functions correctly in FFI...
2011-09-26  Jose Pedro MagalhaesMerge branch 'fix#5464' of darcs.haskell.org/ghc into...
2011-09-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-09-09  Max BolingbrokeMerge branch 'no-pred-ty'
2011-09-06  Max BolingbrokeImplement -XConstraintKind
2011-08-16  Simon Peyton JonesMajor improvement to pattern bindings
2011-08-04  Simon Peyton JonesMissing call to tcView, fixes naughty failure in tc208
2011-08-04  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-08-03  Max BolingbrokeTidy up handling of PredTys: remove dead code, move...
2011-08-03  Simon Peyton JonesAdd Type.tyConAppTyCon_maybe and tyConAppArgs_maybe...
2011-08-01  David TereiMerge branch 'master' of ssh://darcs.haskell.org/home...
2011-07-29  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-07-27  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-07-27  Simon Peyton JonesImprove StgLint -- a bit
2011-07-25  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-07-23  Simon Peyton JonesReject bad 'deriving' directives (fixes Trac #5287)
2011-06-20  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-06-19  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-06-19  Iavor S. Diatchki(partial) Merge branch 'master' into type-nats
2011-06-12  Iavor S. DiatchkiMerge commit 'c073f23aba6d88a9479a20ccb53bb98a338638db...
2011-05-18  Dimitrios VytiniotisMerge remote branch 'origin/master'
2011-05-12  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
2011-05-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-05-12  Simon Peyton JonesThe final batch of changes for the new coercion represe...
2011-05-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-05-11  Simon Peyton JonesMerge remote branch 'origin/master'
2011-05-09  Simon Peyton JonesMerge ghc-new-co into master branch
2011-05-08  Ian LynaghMerge branch 'coloured-core' of https://github.com...
2011-05-06  Simon Peyton JonesMerge master into the ghc-new-co branch
2011-05-04  Simon Peyton JonesMerge commit
2011-05-02  Simon Peyton JonesMerge in changes from HEAD
2011-04-30  Simon Peyton JonesMerge remote branch 'origin/master' into ghc-new-co
2011-04-27  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
2011-04-27  Ben LippmeierMerge branch 'master' of /Users/benl/devel/ghc/ghc...
2011-04-21  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-04-20  Simon Peyton JonesTidy up SigTv
2011-04-20  Simon Peyton JonesMerge branch 'master' into ghc-new-co
2011-04-19  Simon Peyton JonesThis BIG PATCH contains most of the work for the New...
2011-02-19  Iavor S. DiatchkiMerge remote branch 'origin/master' into type-nats
2011-01-30  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-01-27  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-01-26  simonpj@microsoft.comLook through type synonyms when computing orphans
2011-01-17  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-01-16  Iavor S. DiatchkiAdd basic support for number type literals.
2011-01-12  simonpj@microsoft.comMajor refactoring of the type inference engine
2010-12-22  simonpj@microsoft.comMake mkDFunUnfolding more robust
2010-12-14  simonpj@microsoft.comFix Trac #4841: behave right with TypeSynonymInstances...
2010-12-13  simonpj@microsoft.comFix recursive superclasses (again). Fixes Trac #4809.
2010-12-02  simonpj@microsoft.comRe-jig simplifySuperClass (again)
2010-11-01  simonpj@microsoft.comWhite space only
2010-11-12  simonpj@microsoft.comA (final) re-engineering of the new typechecker
2010-10-21  simonpj@microsoft.comTidy up RuntimeUnkSkols a bit more
2010-10-19  simonpj@microsoft.comFix debugger
2010-10-19  simonpj@microsoft.comClean up the debugger code
2010-10-15  simonpj@microsoft.comFix Trac #4401: meta-tyvars allocated by the constraint...
2010-10-04  dimitris@microsoft.comTypechecker performance fixes and flatten skolem bugfixing
2010-09-18  Ian LynaghAdd separate functions for querying DynFlag and Extensi...
2010-09-13  simonpj@microsoft.comSuper-monster patch implementing the new typechecker...
2009-12-22  simonpj@microsoft.comMove isDictTy from TcType to Type
2009-10-29  simonpj@microsoft.comThe Big INLINE Patch: totally reorganise way that INLIN...
2009-07-27  Simon MarlowRemove old 'foreign import dotnet' code
2009-07-06  simonpj@microsoft.comTrim unused imports detected by new unused-import code
2009-06-09  Duncan CouttsTypechecking for "foreign import prim"
2009-05-27  simonpj@microsoft.comTemplate Haskell: allow type splices
2009-04-27  Manuel M T ChakravartyEquality constraint solver is now externally pure
2009-03-30  simonpj@microsoft.comRemove dead code (dataConsStupidTheta)
2009-03-26  Manuel M T ChakravartyTemplate Haskell: support for kind annotations
2009-03-05  simonpj@microsoft.comMake -fdicts-cheap cope with implication constraints
2009-03-05  simonpj@microsoft.comFinally fix Trac #3066
2009-03-03  simonpj@microsoft.comFix Trac #3066: checking argument types in foreign...
2008-11-25  simonpj@microsoft.comFix Trac #2799: TcType.isOverloadedTy
2008-09-25  Manuel M T ChakravartyType families: fix decomposition problem
2008-09-10  simonpj@microsoft.comCheck the *right* set of type variables for escape!
2008-09-03  simonpj@microsoft.comMajor change in compilation of instance declarations...
2008-07-31  Max BolingbrokeSplit the Id related functions out from Var into Id...
2008-07-09  Simon Marlowadd -fwarn-dodgy-foreign-imports (see #1357)
next