projects / ghc-hetmet.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
update submodule pointer
[ghc-hetmet.git] / compiler / typecheck / TcTyClsDecls.lhs
2011-05-26 Simon Peyton JonesRejig the way in which generic default method signature... blob | commitdiff
2011-05-20 Simon Peyton JonesSimon's fixes to the generated type instances in Generics blob | commitdiff | diff to current
2011-05-12 Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into... blob | commitdiff | diff to current
2011-05-04 Jose Pedro MagalhaesRemove HsNumTy and TypePati. blob | commitdiff | diff to current
2011-05-02 Jose Pedro MagalhaesRemove the hasGenerics field of TyCon, improve the... blob | commitdiff | diff to current
2011-04-19 Simon Peyton JonesMore small fixes to generics branch (doesn't compile... blob | commitdiff | diff to current
2011-04-19 Simon Peyton JonesThis BIG PATCH contains most of the work for the New... blob | commitdiff | diff to current
2011-04-14 unknownSmall fixes to the generics branch to get rid of warnings, blob | commitdiff | diff to current
2011-04-12 simonpjInitial commit for Pedro's new generic default methods blob | commitdiff | diff to current
2011-01-10 simonpj@microsoft.comDo dependency analysis when kind-checking type declarations blob | commitdiff | diff to current
2010-12-18 Ian LynaghImplement GADTSyntax extension blob | commitdiff | diff to current
2010-09-18 Ian LynaghAdd separate functions for querying DynFlag and Extensi... blob | commitdiff | diff to current
2010-09-14 simonpj@microsoft.comMove error-ids to MkCore (from PrelRules) blob | commitdiff | diff to current
2010-09-13 simonpj@microsoft.comSuper-monster patch implementing the new typechecker... blob | commitdiff | diff to current
2010-07-15 illissius@gmail.comFix #4195 (isGadtSyntaxTyCon returns opposite result) blob | commitdiff | diff to current
2010-07-13 simonpj@microsoft.comRefactor where an error message is generated blob | commitdiff | diff to current
2010-07-07 simonpj@microsoft.comFix Trac #4127 (and hence #4173) blob | commitdiff | diff to current
2010-05-06 simonpj@microsoft.comFix Trac #3966: warn about useless UNPACK pragmas blob | commitdiff | diff to current
2010-04-09 simonpj@microsoft.comFix Trac #3966: warn about unused UNPACK pragmas blob | commitdiff | diff to current
2010-02-10 simonpj@microsoft.comKeep track of explicit kinding in HsTyVarBndr; plus... blob | commitdiff | diff to current
2010-01-20 simonpj@microsoft.comFix Trac #3823, plus warning police in TcRnDriver blob | commitdiff | diff to current
2009-07-24 Ian LynaghRemove GHC's haskell98 dependency blob | commitdiff | diff to current
2009-07-23 simonpj@microsoft.comAdd tuple sections as a new feature blob | commitdiff | diff to current
2009-07-22 simonpj@microsoft.comTake account of GADTs when reporting patterm-match... blob | commitdiff | diff to current
2009-07-16 Simon MarlowUse names like '$fOrdInt' for dfuns (and TF instances... blob | commitdiff | diff to current
2009-07-06 simonpj@microsoft.comTrim unused imports detected by new unused-import code blob | commitdiff | diff to current
2009-07-02 Manuel M T ChakravartyType synonym families may be nullary blob | commitdiff | diff to current
2009-07-02 simonpj@microsoft.comNew syntax for GADT-style record declarations, and... blob | commitdiff | diff to current
2009-06-25 simonpj@microsoft.comFix Trac #3323: naughty record selectors again blob | commitdiff | diff to current
2009-05-13 simonpj@microsoft.comImprove error reporting for kind errors (fix Trac ... blob | commitdiff | diff to current
2009-04-23 simonpj@microsoft.comSimplify the placeholder binding for naughty record... blob | commitdiff | diff to current
2009-03-30 simonpj@microsoft.comAdd an extra print to -ddump-tc-trace blob | commitdiff | diff to current
2009-03-16 simonpj@microsoft.comFix Trac #3092 blob | commitdiff | diff to current
2009-02-11 simonpj@microsoft.comFix Trac #3017: ensure that we quantify over enough... blob | commitdiff | diff to current
2009-02-04 simonpj@microsoft.comCheck -XGADTs in (a) type family decls (b) pattern... blob | commitdiff | diff to current
2009-02-04 simonpj@microsoft.comImprove error reports for kind checking (Trac #2994) blob | commitdiff | diff to current
2009-01-14 Ian LynaghRemove redundant import; spotted by Thorkil Naur blob | commitdiff | diff to current
2009-01-02 simonpj@microsoft.comMake record selectors into ordinary functions blob | commitdiff | diff to current
2008-12-30 simonpj@microsoft.comAvoid nasty name clash with associated data types ... blob | commitdiff | diff to current
2008-11-08 Ian LynaghRemove some dead code now that __GLASGOW_HASKELL__... blob | commitdiff | diff to current
2008-10-21 Ian LynaghFix doc syntax blob | commitdiff | diff to current
2008-09-23 simonpj@microsoft.comAllow type families to use GADT syntax (and be GADTs) blob | commitdiff | diff to current
2008-09-20 simonpj@microsoft.comComments only: replace ":=:" by "~" (notation for equal... blob | commitdiff | diff to current
2008-08-27 simonpj@microsoft.comFix Trac #745: improve error recoevery for type signatures blob | commitdiff | diff to current
2008-08-11 simonpj@microsoft.comFix Trac #2412: type synonyms and hs-boot recursion blob | commitdiff | diff to current
2008-07-31 Max BolingbrokeSplit the Id related functions out from Var into Id... blob | commitdiff | diff to current
2008-07-14 Manuel M T ChakravartyFix check of rhs of type family instances (#2157) blob | commitdiff | diff to current
2008-06-23 Ian LynaghFix the build with GHC 6.4 blob | commitdiff | diff to current
2008-06-06 Ian LynaghFix warnings in TcTyClsDecls blob | commitdiff | diff to current
2008-06-06 simonpj@microsoft.comFix Trac #2334: validity checking for type families blob | commitdiff | diff to current
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in TcTyClsDecls blob | commitdiff | diff to current
2008-03-29 Ian LynaghDon't import FastString in HsVersions.h blob | commitdiff | diff to current
2008-03-06 simonpj@microsoft.comDon't expose the unfolding of dictionary selectors... blob | commitdiff | diff to current
2008-02-27 simonpj@microsoft.comFix Trac #2126: re-order tests (easy) blob | commitdiff | diff to current
2008-02-22 simonpj@microsoft.comImprove error messages from type-checking data constructors blob | commitdiff | diff to current
2008-01-17 Twan van LaarhovenMonadify typecheck/TcTyClsDecls: use return and standar... blob | commitdiff | diff to current
2008-01-07 simonpj@microsoft.comAdd -XImpredicativeTypes, and tighten up type-validity... blob | commitdiff | diff to current
2007-11-16 simonpj@microsoft.comWibble to fix Trac #1901 (shorten messsage slightly) blob | commitdiff | diff to current
2007-11-16 simonpj@microsoft.comFIX Trac #1901: check no existential context in H98... blob | commitdiff | diff to current
2007-11-02 simonpj@microsoft.comRefactor error recovery slightly blob | commitdiff | diff to current
2007-10-10 Manuel M T ChakravartySlightly improved comments in TcTyClsDecls blob | commitdiff | diff to current
2007-09-04 Ian LynaghFix CodingStyle#Warnings URLs blob | commitdiff | diff to current
2007-09-03 Ian LynaghUse OPTIONS rather than OPTIONS_GHC for pragmas blob | commitdiff | diff to current
2007-09-01 Ian LynaghAdd {-# OPTIONS_GHC -w #-} and some blurb to all compil... blob | commitdiff | diff to current
2007-08-30 Manuel M T ChakravartyAdded decidability check for type instances blob | commitdiff | diff to current
2007-08-28 Manuel M T ChakravartyType checking for type synonym families blob | commitdiff | diff to current
2007-08-19 Manuel M T ChakravartyCheck for correct number of parameters in type instances blob | commitdiff | diff to current
2007-08-19 Manuel M T ChakravartyATs inherit kind annotations from class partameters blob | commitdiff | diff to current
2007-08-04 Ian LynaghCanonicalise flags in error message blob | commitdiff | diff to current
2007-07-09 Ian LynaghAdd flag -XConstrainedClassMethods blob | commitdiff | diff to current
2007-07-09 Ian LynaghJust alpha-rename a variable blob | commitdiff | diff to current
2007-07-09 Ian LynaghRemove unused binding blob | commitdiff | diff to current
2007-07-08 Ian LynaghImplement -XFunctionalDependencies blob | commitdiff | diff to current
2007-07-08 Ian LynaghAdd -XMultiParamTypeClasses flag blob | commitdiff | diff to current
2007-07-08 Ian LynaghImplement -XKindSignatures blob | commitdiff | diff to current
2007-07-08 Ian LynaghAdd -XEmptyDataDecls flag blob | commitdiff | diff to current
2007-07-02 Ian LynaghRemove mapAccumL, mapAccumR, mapAccumB blob | commitdiff | diff to current
2007-06-29 Manuel M T ChakravartyChecking that type indexes contain no synonym family... blob | commitdiff | diff to current
2007-06-29 Manuel M T ChakravartyRHS of a type instance must be a tau type blob | commitdiff | diff to current
2007-06-27 Manuel M T ChakravartyFix names of coercions in newtype instances blob | commitdiff | diff to current
2007-06-21 LemmihAdd several new record features blob | commitdiff | diff to current
2007-06-20 simonpj@microsoft.comImplement -X=GADTs and -X=RelaxedPolyRec blob | commitdiff | diff to current
2007-05-30 simonpj@microsoft.comFix bogus check for strictness in newtypes blob | commitdiff | diff to current
2007-05-30 simonpj@microsoft.comReject newtypes with strictness annotations; fixes... blob | commitdiff | diff to current
2007-05-14 Manuel M T Chakravarty-findexed-types -> -ftype-families blob | commitdiff | diff to current
2007-05-11 Manuel M T ChakravartyRemove the distinction between data and newtype families blob | commitdiff | diff to current
2007-05-11 Simon MarlowStore a SrcSpan instead of a SrcLoc inside a Name blob | commitdiff | diff to current
2007-05-04 Ian LynaghPanic properly if wrongKindOfFamily is given an unexpec... blob | commitdiff | diff to current
2007-04-25 Manuel M T ChakravartyGenerating synonym instance representation tycons blob | commitdiff | diff to current
2007-04-22 simonpj@microsoft.comFixes to datacon wrappers for indexed data types blob | commitdiff | diff to current
2007-03-14 simonpj@microsoft.comImprove error messages slightly, saying "a1...an" inste... blob | commitdiff | diff to current
2007-02-23 simonpj@microsoft.comTidy up typechecking for newtypes blob | commitdiff | diff to current
2007-02-23 Manuel M T ChakravartyMoved argument position info of ATs into tycon rhs... blob | commitdiff | diff to current
2007-02-21 simonpj@microsoft.comAllow GADT syntax for newtypes blob | commitdiff | diff to current
2007-01-05 Manuel M T ChakravartyHsSyn clean up for indexed types blob | commitdiff | diff to current
2007-01-03 simonpj@microsoft.comBe more relaxed about reporting ambiguous class methods blob | commitdiff | diff to current
2006-10-22 Manuel M T ChakravartyImprove error messages for indexed types blob | commitdiff | diff to current
2006-10-11 Simon MarlowMore import tidying and fixing the stage 2 build blob | commitdiff | diff to current
2006-10-06 simonpj@microsoft.comFix up the typechecking of interface files during ... blob | commitdiff | diff to current
2006-10-05 davve@dtek.chalmers.seMerge Haddock comment support from ghc.haddock -- big... blob | commitdiff | diff to current
next
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)