projects / ghc-hetmet.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
TysWiredIn is now warning-free
[ghc-hetmet.git] / compiler / typecheck /
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in TcSplice tree | commitdiff
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in TcRnDriver tree | commitdiff
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in TcDefaults tree | commitdiff
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in TcRules tree | commitdiff
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in TcForeign tree | commitdiff
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in TcExpr tree | commitdiff
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in TcArrows tree | commitdiff
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in TcMatches tree | commitdiff
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in TcInstDcls tree | commitdiff
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in FamInst tree | commitdiff
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in TcDeriv tree | commitdiff
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in TcGenDeriv tree | commitdiff
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in TcTyClsDecls tree | commitdiff
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in TcClassDcl tree | commitdiff
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in TcBinds tree | commitdiff
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in TcHsType tree | commitdiff
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in TcSimplify tree | commitdiff
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in TcTyFuns tree | commitdiff
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in Inst tree | commitdiff
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in TcEnv tree | commitdiff
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in TcHsSyn tree | commitdiff
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in TcRnMonad tree | commitdiff
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in TcRnTypes tree | commitdiff
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in TcType tree | commitdiff
2008-04-22 simonpj@microsoft.comRename WpCo to WpCast tree | commitdiff
2008-04-11 simonpj@microsoft.comRejig error reporting in the unifier slightly tree | commitdiff
2008-04-10 simonpj@microsoft.comImprove error message layout slightly tree | commitdiff
2008-04-10 simonpj@microsoft.comTwo improvements to boxy matching tree | commitdiff
2008-04-10 simonpj@microsoft.comFix Trac #2206: ensure the return type is rigid in... tree | commitdiff
2008-04-10 simonpj@microsoft.comFix Trac #2205, which I introduced recently tree | commitdiff
2008-04-07 Manuel M T ChakravartyRemove GADT refinements, part 5 tree | commitdiff
2008-03-03 Manuel M T ChakravartyRemove GADT refinements, part 4 tree | commitdiff
2008-04-04 simonpj@microsoft.comFix Trac #2188: scoping in TH declarations quotes tree | commitdiff
2008-04-03 simonpj@microsoft.comFix Trac #2179: error message for main tree | commitdiff
2008-04-02 simonpj@microsoft.comFix Trac #2141: invalid record update tree | commitdiff
2008-03-30 Ian LynaghDerive a valid Ix instance for data Foo = Foo Int Int tree | commitdiff
2008-03-29 Ian LynaghDon't import FastString in HsVersions.h tree | commitdiff
2008-03-29 Ian LynaghDEBUG removal tree | commitdiff
2008-03-29 Ian LynaghDEBUG removal tree | commitdiff
2008-03-29 Ian LynaghRemove a DEBUG use tree | commitdiff
2008-03-29 Ian LynaghRemove an #ifdef DEBUG tree | commitdiff
2008-03-29 Ian LynaghRemove an #ifdef DEBUG tree | commitdiff
2008-03-15 Ian LynaghRemove leftover NoteTy/FTVNote bits tree | commitdiff
2008-03-13 Manuel M T ChakravartySome cleanup in TcSimplify.reduceContext tree | commitdiff
2008-03-13 Manuel M T ChakravartyProperly normalise reduced dicts tree | commitdiff
2008-03-06 simonpj@microsoft.comDon't expose the unfolding of dictionary selectors... tree | commitdiff
2008-03-06 simonpj@microsoft.comFix Trac #783: improve short-cutting literals in the... tree | commitdiff
2008-03-05 Ian LynaghImprove no-type-signature warning tree | commitdiff
2008-02-29 Manuel M T ChakravartyRemove GADT refinements, part 3 tree | commitdiff
2008-02-28 Manuel M T ChakravartyRemove GADT refinements, part 2 tree | commitdiff
2008-02-28 simonpj@microsoft.comFix Trac #2130: improve derived Ord for primmitive... tree | commitdiff
2008-02-28 simonpj@microsoft.comWibble to error message (stmt of do block or comprehension) tree | commitdiff
2008-02-28 Manuel M T ChakravartyRemove GADT refinements, part 1 tree | commitdiff
2008-02-28 Manuel M T ChakravartyEliminate SkolemOccurs skolems only after checkLoop... tree | commitdiff
2008-02-27 simonpj@microsoft.comFix Trac #2126: re-order tests (easy) tree | commitdiff
2008-02-26 simonpj@microsoft.comFix Trac #2111: improve error handling for 'rec' in... tree | commitdiff
2008-02-26 simonpj@microsoft.comRemove gaw comment tree | commitdiff
2008-02-26 simonpj@microsoft.comFix Trac #1899; missing equality check in typechecker... tree | commitdiff
2008-02-22 simonpj@microsoft.comImprove error messages from type-checking data constructors tree | commitdiff
2008-02-20 Ian LynaghRewrite fixTvSubstEnv so it iteratively applies its... tree | commitdiff
2008-02-07 Ian LynaghMake some more modules use LazyUniqFM instead of UniqFM tree | commitdiff
2008-02-07 simonpj@microsoft.comAdjust error message (Trac #2079) tree | commitdiff
2008-02-07 Ian LynaghConvert more UniqFM's back to LazyUniqFM's tree | commitdiff
2008-02-07 Ian LynaghMake some more modules use LazyUniqFM instead of UniqFM tree | commitdiff
2008-02-05 simonpj@microsoft.comMake do-notation a bit more flexible (Trac #1537) tree | commitdiff
2008-01-24 Ian LynaghFix the build tree | commitdiff
2008-01-17 Twan van LaarhovenReplace ioToTcRn with liftIO tree | commitdiff
2008-01-17 Twan van LaarhovenMonadify typecheck/TcRnMonad: use return, standard... tree | commitdiff
2008-01-17 Twan van LaarhovenMonadify typecheck/TcEnv: use do, return, applicative... tree | commitdiff
2008-01-17 Twan van LaarhovenMonadify typecheck/TcRnDriver: use return and standard... tree | commitdiff
2008-01-17 Twan van LaarhovenMonadify typecheck/TcMatches: use return and standard... tree | commitdiff
2008-01-17 Twan van LaarhovenMonadify typecheck/TcMType: use do, return, applicative... tree | commitdiff
2008-01-17 Twan van LaarhovenMonadify typecheck/TcInstDcls: use do, return and stand... tree | commitdiff
2008-01-17 Twan van LaarhovenMonadify typecheck/TcHsType: use do, return and standar... tree | commitdiff
2008-01-17 Twan van LaarhovenMonadify typecheck/TcSimplify: use do, return and stand... tree | commitdiff
2008-01-17 Twan van LaarhovenMonadify typecheck/TcSplice: use do and return tree | commitdiff
2008-01-17 Twan van LaarhovenMonadify typecheck/TcTyClsDecls: use return and standar... tree | commitdiff
2008-01-17 Twan van LaarhovenMonadify typecheck/TcDefaults: use return and standard... tree | commitdiff
2008-01-17 Twan van LaarhovenMonadify typecheck/TcDeriv: use return tree | commitdiff
2008-01-17 Twan van LaarhovenMonadify typecheck/TcClassDcl: use do, return and stand... tree | commitdiff
2008-01-17 Twan van LaarhovenMonadify typecheck/TcBinds: use do, return and standard... tree | commitdiff
2008-01-17 Twan van LaarhovenMonadify typecheck/TcArrows: use do and return tree | commitdiff
2008-01-17 Twan van LaarhovenMonadify typecheck/Inst: use do, return and standard... tree | commitdiff
2008-01-17 Twan van LaarhovenMonadify typecheck/TcUnify: use do, return and standard... tree | commitdiff
2008-01-17 Twan van LaarhovenMonadify typecheck/TcTyFuns: use standard monad functions tree | commitdiff
2008-01-17 Twan van LaarhovenMonadify typecheck/TcPat: use return and standard monad... tree | commitdiff
2008-01-17 Twan van LaarhovenMonadify typecheck/TcRules: use do, return and standard... tree | commitdiff
2008-01-17 Twan van LaarhovenMonadify typecheck/TcForeign: use do, return and standa... tree | commitdiff
2008-01-17 Twan van LaarhovenMonadify typecheck/TcExpr: use do, return and standard... tree | commitdiff
2008-01-17 Twan van LaarhovenseqMaybe is more commonly known as mplus tree | commitdiff
2008-01-22 simonpj@microsoft.comTidy up the treatment of SPECIALISE pragmas tree | commitdiff
2008-01-18 simonpj@microsoft.comAdd quasi-quotation, courtesy of Geoffrey Mainland tree | commitdiff
2008-01-17 Isaac Dupreelots of portability changes (#1405) tree | commitdiff
2008-01-10 simonpj@microsoft.comFix 2030: make -XScopedTypeVariables imply -XRelaxedPolyRec tree | commitdiff
2008-01-07 simonpj@microsoft.comMake the treatment of equalities more uniform tree | commitdiff
2008-01-07 simonpj@microsoft.comAdd -XImpredicativeTypes, and tighten up type-validity... tree | commitdiff
2008-01-04 simonpj@microsoft.comDo not consult -XGADTs flag when pattern matching on... tree | commitdiff
2007-12-24 simonpj@microsoft.comWhen complaining about non-rigid context, give suggesti... tree | commitdiff
2007-12-21 simonpj@microsoft.comImprove handling of newtypes (fixes Trac 1495) tree | commitdiff
2007-12-20 simonpj@microsoft.comImplement generalised list comprehensions tree | commitdiff
next
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)