projects / ghc-hetmet.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Major change in compilation of instance declarations (fix Trac #955, #2328)
[ghc-hetmet.git] / compiler / typecheck / TcInstDcls.lhs
2008-09-03 simonpj@microsoft.comMajor change in compilation of instance declarations... blob | commitdiff
2008-08-27 simonpj@microsoft.comFix Trac #745: improve error recoevery for type signatures 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-21 Ian LynaghFixes for haddock 0.8 blob | commitdiff | diff to current
2008-07-01 simonpj@microsoft.comSeveral fixes to 'deriving' including Trac #2378 blob | commitdiff | diff to current
2008-06-06 Ian LynaghFix warnings in TcInstDcls blob | commitdiff | diff to current
2008-06-06 simonpj@microsoft.comFix Trac #2334: validity checking for type families blob | commitdiff | diff to current
2008-05-21 simonpj@microsoft.comFix Trac #1061: refactor handling of default methods blob | commitdiff | diff to current
2008-05-04 Ian LynaghWhitespace only (TcInstDcls) blob | commitdiff | diff to current
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in TcInstDcls blob | commitdiff | diff to current
2008-04-22 simonpj@microsoft.comRename WpCo to WpCast blob | commitdiff | diff to current
2008-01-17 Twan van LaarhovenMonadify typecheck/TcInstDcls: use do, return and stand... blob | commitdiff | diff to current
2007-10-27 simonpj@microsoft.comIn an AbsBinds, the 'dicts' can include EqInsts blob | commitdiff | diff to current
2007-09-15 Manuel M T ChakravartyOverhaul of the rewrite rules blob | commitdiff | diff to current
2007-09-05 simonpj@microsoft.comRefactor, improve, and document the deriving mechanism 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-28 Manuel M T ChakravartyType checking for type synonym families blob | commitdiff | diff to current
2007-06-27 Manuel M T ChakravartyFixed deriving of associated data types 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-04-22 simonpj@microsoft.comFix corner case of useless constraint in SPECIALISE... 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.comMake warnings come out in deterministic order blob | commitdiff | diff to current
2007-01-02 simonpj@microsoft.comBig tidy-up of deriving code blob | commitdiff | diff to current
2006-12-29 Manuel M T ChakravartyConstruction of EqPred dictionaries blob | commitdiff | diff to current
2006-11-10 Samuel BronsonZap stray whitespace in lhs formatting blob | commitdiff | diff to current
2006-11-10 simonpj@microsoft.comUse implication constraints to improve type inference 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-10 Manuel M T ChakravartyRough matches for family instances blob | commitdiff | diff to current
2006-09-20 bjorn@bringert.netMerged stand-alone deriving with FC stuff. blob | commitdiff | diff to current
2006-09-18 bjorn@bringert.netNew syntax for stand-alone deriving. Implemented fully. blob | commitdiff | diff to current
2006-09-29 simonpj@microsoft.comGlobal renamings in HsSyn blob | commitdiff | diff to current
2006-09-26 simonpj@microsoft.comFix derived instances (again); prevents infinite superc... blob | commitdiff | diff to current
2006-09-25 simonpj@microsoft.comFix newtype deriving properly (un-doing Audreys patch) blob | commitdiff | diff to current
2006-09-23 simonpj@microsoft.comRe-work the newtype-deriving support blob | commitdiff | diff to current
2006-09-20 Manuel M T ChakravartyBasic set up for global family instance environment blob | commitdiff | diff to current
2006-09-20 Manuel M T ChakravartyStraightened out implicit coercions for indexed types blob | commitdiff | diff to current
2006-09-20 Manuel M T ChakravartyBetter error message for indexes that must be variables blob | commitdiff | diff to current
2006-09-20 Manuel M T ChakravartyChecking conformance of AT indexes with instance heads blob | commitdiff | diff to current
2006-09-20 Manuel M T ChakravartyWarn of missing ATs and complain about bad ATs blob | commitdiff | diff to current
2006-09-20 Manuel M T ChakravartyCheck that AT instance is in a class blob | commitdiff | diff to current
2006-09-20 Manuel M T ChakravartyExtend TyCons and DataCons to represent data instance... blob | commitdiff | diff to current
2006-09-20 Manuel M T ChakravartyKind and type checking of indexed types blob | commitdiff | diff to current
2006-09-20 Manuel M T ChakravartyFix newtype deriving bug blob | commitdiff | diff to current
2006-09-20 Manuel M T ChakravartyFlip direction of newtype coercions, fix some comments blob | commitdiff | diff to current
2006-09-20 Manuel M T ChakravartyComplete the evidence generation for GADTs blob | commitdiff | diff to current
2006-09-20 Manuel M T Chakravartysome bug-fixes, newtype deriving might work now blob | commitdiff | diff to current
2006-09-20 Manuel M T Chakravartynewtype deriving still not working blob | commitdiff | diff to current
2006-09-20 Manuel M T Chakravartynewtype deriving dicts, compiling at least blob | commitdiff | diff to current
2006-09-20 Manuel M T Chakravarty..and a bit more blob | commitdiff | diff to current
2006-09-20 Manuel M T ChakravartyMore on newtype deriving blob | commitdiff | diff to current
2006-09-20 Manuel M T Chakravartytowards newtype deriving dicts blob | commitdiff | diff to current
2006-09-20 Manuel M T Chakravartynewtype fixes, coercions for non-recursive newtypes... blob | commitdiff | diff to current
2006-09-18 Manuel M T ChakravartyPartial changes for derived newtype instances blob | commitdiff | diff to current
2006-09-15 Manuel M T ChakravartyFix migrated AT support blob | commitdiff | diff to current
2006-09-15 Manuel M T ChakravartyMigrate cvs diff from fptools-assoc branch blob | commitdiff | diff to current
2006-07-06 simonpj@microsoft.comTiny comment change (darcs test only) blob | commitdiff | diff to current
2006-06-12 simonpj@microsoft.comMake scoped type variables work for default methods blob | commitdiff | diff to current
2006-04-07 Simon MarlowReorganisation of the source tree blob | commitdiff | diff to current
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)