projects / ghc-hetmet.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Improve External Core syntax for newtypes
[ghc-hetmet.git] / compiler / typecheck /
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
2007-12-08 Manuel M T ChakravartyCoercions from boxy splitters must be sym'ed in pattern... tree | commitdiff
2007-12-07 Manuel M T ChakravartyProperly keep track of whether normalising given or... tree | commitdiff
2007-11-20 Manuel M T ChakravartyTcPat.tcConPat uses equalities instead of GADT refinement tree | commitdiff
2007-11-28 simonpj@microsoft.comImprove pretty-printing for Insts tree | commitdiff
2007-11-28 simonpj@microsoft.comReorganise TcSimplify (again); FIX Trac #1919 tree | commitdiff
2007-11-28 simonpj@microsoft.comFIX Trac #1935: generate superclass constraints for... tree | commitdiff
2007-11-22 Manuel M T ChakravartyProperly ppr InstEqs in wanteds of implication constraints tree | commitdiff
2007-11-21 simonpj@microsoft.comMake rebindable do-notation behave as advertised tree | commitdiff
2007-11-21 simonpj@microsoft.comFix Trac #1913: check data const for derived types... tree | commitdiff
2007-11-20 simonpj@microsoft.comFIX Trac #1825: standalone deriving Typeable tree | commitdiff
2007-11-19 simonpj@microsoft.comImprove the situation for Trac #959: civilised warning... tree | commitdiff
2007-11-19 simonpj@microsoft.comFIX Trac #1806: test for correct arity for datacon... tree | commitdiff
2007-11-16 simonpj@microsoft.comWibble to fix Trac #1901 (shorten messsage slightly) tree | commitdiff
2007-11-16 simonpj@microsoft.comFIX Trac #1901: check no existential context in H98... tree | commitdiff
2007-11-14 simonpj@microsoft.comFIX Trac 1662: actually check for existentials in proc... tree | commitdiff
2007-11-12 simonpj@microsoft.comComment re Trac #1220 tree | commitdiff
2007-11-06 simonpj@microsoft.comFix Trac #1813: generalise over *all* type variables... tree | commitdiff
2007-11-06 simonpj@microsoft.comFix Trac #1814 (staging interaction in Template Haskell... tree | commitdiff
2007-11-06 simonpj@microsoft.comImprove error messages tree | commitdiff
2007-11-06 Simon MarlowGHC API: add checkAndLoadModule tree | commitdiff
2007-11-05 simonpj@microsoft.comInline implication constraints tree | commitdiff
2007-11-05 simonpj@microsoft.comComments about TH staging tree | commitdiff
2007-11-02 simonpj@microsoft.comRefactor error recovery slightly tree | commitdiff
2007-11-01 simonpj@microsoft.comRejig the error messages a bit; fixes a minor bug tree | commitdiff
2007-11-01 David WaernRefactor Haddock options tree | commitdiff
next
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)