projects / ghc-hetmet.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge branch 'master' of http://darcs.haskell.org/ghc
[ghc-hetmet.git] / compiler / typecheck / FamInst.lhs
2011-05-26 Simon Peyton JonesDo not be so eager about loading family-instance modules blob | commitdiff
2011-04-19 Simon Peyton JonesThis BIG PATCH contains most of the work for the New... blob | commitdiff | diff to current
2011-01-12 simonpj@microsoft.comMajor refactoring of the type inference engine blob | commitdiff | diff to current
2010-09-14 Ian LynaghRemove (most of) the FiniteMap wrapper blob | commitdiff | diff to current
2010-09-13 Ian LynaghFix build with 6.10 blob | commitdiff | diff to current
2010-09-13 simonpj@microsoft.comSuper-monster patch implementing the new typechecker... blob | commitdiff | diff to current
2010-03-20 Ian LynaghRemove LazyUniqFM; fixes trac #3880 blob | commitdiff | diff to current
2009-07-24 Ian LynaghRemove GHC's haskell98 dependency blob | commitdiff | diff to current
2009-07-07 Manuel M T ChakravartyFIX #2677 blob | commitdiff | diff to current
2009-01-15 simonpj@microsoft.comRobustify lookupFamInstEnv, plus some refactoring blob | commitdiff | diff to current
2008-11-07 Clemens FruhwirthReplace couple of fromJust with expectJust blob | commitdiff | diff to current
2008-10-19 simonpj@microsoft.comComments to explain strict overlap checking for type... blob | commitdiff | diff to current
2008-07-20 Thomas SchillingFix Haddock errors. blob | commitdiff | diff to current
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)