projects / ghc-hetmet.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix Haddock errors.
[ghc-hetmet.git] / compiler / typecheck / FamInst.lhs
2008-07-20 Thomas SchillingFix Haddock errors. blob | commitdiff
2008-05-06 Ian LynaghMake FamInst warning-free blob | commitdiff | diff to current
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in FamInst blob | commitdiff | diff to current
2008-03-29 Ian LynaghDon't import FastString in HsVersions.h blob | commitdiff | diff to current
2008-02-07 Ian LynaghConvert more UniqFM's back to LazyUniqFM's 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-06-29 Manuel M T ChakravartyOverlap check for type families blob | commitdiff | diff to current
2007-05-14 Manuel M T ChakravartyRevised signature of tcLookupFamInst and lookupFamInstEnv blob | commitdiff | diff to current
2007-05-02 simonpj@microsoft.comComments, plus type sigs blob | commitdiff | diff to current
2006-12-07 Manuel M T ChakravartyFix family instance consistency check for home package... blob | commitdiff | diff to current
2006-11-10 simonpj@microsoft.comUse implication constraints to improve type inference blob | commitdiff | diff to current
2006-10-18 Manuel M T ChakravartyCross-module consistency check for family instances blob | commitdiff | diff to current
2006-10-12 Manuel M T ChakravartyOverlap check for family instances def'd in current... blob | commitdiff | diff to current
2006-10-11 Simon MarlowModule header tidyup, phase 1 blob | commitdiff | diff to current
2006-10-10 Manuel M T ChakravartyRough matches for family instances blob | commitdiff | diff to current
2006-09-20 Manuel M T ChakravartyAdding FamInstEnv & FamInst modules blob | commitdiff | diff to current
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)