projects / ghc-hetmet.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
fix haddock submodule pointer
[ghc-hetmet.git] / compiler / typecheck / TcHsType.lhs
2011-09-01 Adam Megaczadd support for <{..}> and ~~> syntax as well as typing... commit | commitdiff
2011-06-14 Adam Megaczmerge upstream commit | commitdiff
2011-06-11 Simon Peyton JonesMake TH capable of quoting GADT declarations (Trac... commit | commitdiff
2011-05-31 Adam Megaczadapt HetMet extensions to new GHC coercion representation commit | commitdiff
2011-05-31 Adam Megaczmerge GHC HEAD commit | commitdiff
2011-05-30 Adam MegaczTcHsType: set the kind for tyvars that occur in explici... commit | commitdiff
2011-05-12 Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into... commit | commitdiff
2011-05-04 Jose Pedro MagalhaesRemove HsNumTy and TypePati. commit | commitdiff
2011-04-19 Simon Peyton JonesThis BIG PATCH contains most of the work for the New... commit | commitdiff
2011-03-02 Adam MegaczInitial checkin of HetMet / -XModalTypes modifications commit | commitdiff
2011-01-12 simonpj@microsoft.comMajor refactoring of the type inference engine commit | commitdiff
2010-12-13 simonpj@microsoft.comFix recursive superclasses (again). Fixes Trac #4809. commit | commitdiff
2010-09-15 simonpj@microsoft.comImplement TH reification of instances (Trac #1835) commit | commitdiff
2010-09-13 simonpj@microsoft.comSuper-monster patch implementing the new typechecker... commit | commitdiff
2010-08-24 simonpj@microsoft.comAdd HsCoreTy to HsType commit | commitdiff
2010-02-10 simonpj@microsoft.comKeep track of explicit kinding in HsTyVarBndr; plus... commit | commitdiff
2010-02-10 simonpj@microsoft.comSeveral TH/quasiquote changes commit | commitdiff
2009-11-05 simonpj@microsoft.comUpdate layout of error message slightly commit | commitdiff
2009-09-30 simonpj@microsoft.comFix Trac #3540: malformed types commit | commitdiff
2009-09-10 simonpj@microsoft.comThree improvements to Template Haskell (fixes #3467) commit | commitdiff
2009-08-25 simonpj@microsoft.comFix Trac #3406 (albeit not very satisfactorily): scoped... commit | commitdiff
2009-07-07 Ian LynaghRemove unused imports commit | commitdiff
2009-07-02 simonpj@microsoft.comNew syntax for GADT-style record declarations, and... commit | commitdiff
2009-05-27 simonpj@microsoft.comTemplate Haskell: allow type splices commit | commitdiff
2009-05-13 simonpj@microsoft.comImprove error reporting for kind errors (fix Trac ... commit | commitdiff
2009-02-13 Ian LynaghPut RelaxedPolyRec in the cabal file rather than a... commit | commitdiff
2009-02-06 Ian LynaghFix building with GHC 6.8 commit | commitdiff
2009-02-04 simonpj@microsoft.comImprove error reports for kind checking (Trac #2994) commit | commitdiff
2008-12-30 simonpj@microsoft.comAvoid nasty name clash with associated data types ... commit | commitdiff
2008-10-01 Manuel M T ChakravartyProper error message for unsupported pattern signatures commit | commitdiff
2008-07-01 simonpj@microsoft.comSeveral fixes to 'deriving' including Trac #2378 commit | commitdiff
2008-06-06 Ian LynaghFix warnings in TcHsType commit | commitdiff
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in TcHsType commit | commitdiff
2008-03-29 Ian LynaghDon't import FastString in HsVersions.h commit | commitdiff
2008-02-22 simonpj@microsoft.comImprove error messages from type-checking data constructors commit | commitdiff
2008-01-17 Twan van LaarhovenMonadify typecheck/TcHsType: use do, return and standar... commit | commitdiff
2007-09-07 Manuel M T ChakravartyFIX: Type families test Simple14 commit | commitdiff
2007-09-04 Ian LynaghFix CodingStyle#Warnings URLs commit | commitdiff
2007-09-03 Ian LynaghUse OPTIONS rather than OPTIONS_GHC for pragmas commit | commitdiff
2007-09-01 Ian LynaghAdd {-# OPTIONS_GHC -w #-} and some blurb to all compil... commit | commitdiff
2007-08-28 Manuel M T ChakravartyType checking for type synonym families commit | commitdiff
2007-05-11 Simon MarlowStore a SrcSpan instead of a SrcLoc inside a Name commit | commitdiff
2007-01-02 simonpj@microsoft.comBig tidy-up of deriving code commit | commitdiff
2006-12-29 davve@dtek.chalmers.seAdd missing case for documented types in the type desugarer commit | commitdiff
2006-12-28 Manuel M T ChakravartyParse and desugar equational constraints commit | commitdiff
2006-11-10 simonpj@microsoft.comUse implication constraints to improve type inference commit | commitdiff
2006-10-11 Simon MarlowMore import tidying and fixing the stage 2 build commit | commitdiff
2006-10-05 davve@dtek.chalmers.seMerge Haddock comment support from ghc.haddock -- big... commit | commitdiff
2006-09-20 Manuel M T ChakravartyExtend TyCons and DataCons to represent data instance... commit | commitdiff
2006-09-20 Manuel M T ChakravartyMassive patch for the first months work adding System... commit | commitdiff
2006-08-18 simonpj@microsoft.comAvoid duplicate "In type ..." in error messages commit | commitdiff
2006-08-14 simonpj@microsoft.comImprove error message in TcHsType commit | commitdiff
2006-08-10 simonpj@microsoft.comEgregious bug in tcLHsConResTy commit | commitdiff
2006-08-08 simonpj@microsoft.comSpelling in a comment commit | commitdiff
2006-07-26 simonpj@microsoft.comDeal correctly with infix type constructors in GADT... commit | commitdiff
2006-04-07 Simon MarlowReorganisation of the source tree commit | commitdiff
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)