projects / ghc-hetmet.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix Trac #2111: improve error handling for 'rec' in do-notation
[ghc-hetmet.git] / compiler / typecheck /
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
2007-10-29 simonpj@microsoft.comImprove error-message output slightly tree | commitdiff
2007-10-27 simonpj@microsoft.comMake 'improvement' work properly in TcSimplify tree | commitdiff
2007-10-27 simonpj@microsoft.comAn implication constraint can abstract over EqInsts tree | commitdiff
2007-10-27 simonpj@microsoft.comIn an AbsBinds, the 'dicts' can include EqInsts tree | commitdiff
2007-10-19 Manuel M T ChakravartyZonk quantified tyvars with skolems tree | commitdiff
2007-10-18 Manuel M T ChakravartyFix typo that prevented zonking of rhs of EqInsts tree | commitdiff
2007-10-18 Manuel M T ChakravartyDon't barf on error message with non-tc tyvars tree | commitdiff
2007-10-18 Manuel M T ChakravartyFix deferring on tyvars in TcUnify.subFunTys tree | commitdiff
2007-10-17 Manuel M T ChakravartyTcUnify.subFunTys must take type families into account tree | commitdiff
2007-10-16 simonpj@microsoft.comFix #1662: do not simplify constraints for vanilla... tree | commitdiff
2007-10-10 Dan LicataView patterns, record wildcards, and record puns tree | commitdiff
2007-10-15 Manuel M T ChakravartyMore docu for skolemOccurs tree | commitdiff
2007-10-10 Manuel M T ChakravartySlightly improved comments in TcTyClsDecls tree | commitdiff
2007-10-04 Manuel M T ChakravartyTcTyFuns: remove some duplicate code tree | commitdiff
2007-10-03 Manuel M T ChakravartyTcTyFuns.eqInstToRewrite tree | commitdiff
2007-10-12 simonpj@microsoft.comFix DoCon: Another try at getting extractResults right tree | commitdiff
2007-10-11 simonpj@microsoft.comFix Trac #1680; check for unboxed tuples in TcType... tree | commitdiff
2007-10-10 simonpj@microsoft.comFix Trac #1755; check for stage errors in TH quoted... tree | commitdiff
2007-10-10 simonpj@microsoft.comcheckWellStaged: reverse comparsion (no change in seman... tree | commitdiff
2007-10-10 simonpj@microsoft.comAdd traceTc in tcSimplifyDefault tree | commitdiff
2007-10-10 simonpj@microsoft.comFix Trac #1678; be more careful about catching and... tree | commitdiff
2007-10-10 simonpj@microsoft.comFIX: tidy up TcSimplify following equality constraints... tree | commitdiff
2007-09-29 Manuel M T ChakravartyFIX #1729: Don't try to expand syn families with -XLibe... tree | commitdiff
2007-09-29 Manuel M T ChakravartySome more traceTcs tree | commitdiff
2007-09-28 Manuel M T ChakravartyFIX: Make boxy splitters aware of type families tree | commitdiff
2007-09-27 simonpj@microsoft.comComments and debug output only tree | commitdiff
2007-09-19 simonpj@microsoft.comFix exponential-time behaviour with type synonyms;... tree | commitdiff
2007-09-19 Manuel M T ChakravartyFIX #1688: Givens in checkLoop are not that rigid after all tree | commitdiff
2007-09-17 simonpj@microsoft.comComments only tree | commitdiff
2007-09-16 Manuel M T ChakravartyFIX: TypeFamilies: should_compile/Simple12 tree | commitdiff
next
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)