projects / ghc-hetmet.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Major refactoring of the type inference engine
[ghc-hetmet.git] / compiler / typecheck / TcUnify.lhs
2011-01-12 simonpj@microsoft.comMajor refactoring of the type inference engine blob | commitdiff
2010-12-24 simonpj@microsoft.comFix Trac #4525: report type errors in terms of the... blob | commitdiff | diff to current
2010-12-13 simonpj@microsoft.comFix recursive superclasses (again). Fixes Trac #4809. blob | commitdiff | diff to current
2010-10-21 simonpj@microsoft.comTidy-up sweep, following the Great Skolemisation Simpli... blob | commitdiff | diff to current
2010-10-10 Ian LynaghRemove unnecessary import blob | commitdiff | diff to current
2010-10-08 simonpj@microsoft.comBeautiful new approach to the skolem-escape check and... blob | commitdiff | diff to current
2010-10-06 dimitris@microsoft.comMajor bugfixing pass through the type checker blob | commitdiff | diff to current
2010-10-04 dimitris@microsoft.comTypechecker performance fixes and flatten skolem bugfixing blob | commitdiff | diff to current
2010-09-23 dimitris@microsoft.comPerformance bug fixes blob | commitdiff | diff to current
2010-10-06 simonpj@microsoft.comRefactoring: mainly rename ic_env_tvs to ic_untch blob | commitdiff | diff to current
2010-09-17 simonpj@microsoft.comRefactor type errors a bit blob | commitdiff | diff to current
2010-09-13 simonpj@microsoft.comSuper-monster patch implementing the new typechecker... blob | commitdiff | diff to current
2010-06-14 simonpj@microsoft.comFix Trac #4120: generate a proper coercion when unifyin... blob | commitdiff | diff to current
2010-05-06 simonpj@microsoft.comTidy up debug print a little blob | commitdiff | diff to current
2010-04-12 simonpj@microsoft.comFix Trac #3950: unifying types of different kinds blob | commitdiff | diff to current
2009-12-11 simonpj@microsoft.comFix two related bugs in u_tys blob | commitdiff | diff to current
2009-11-30 simonpj@microsoft.comFix Trac #3102: pre-matching polytypes blob | commitdiff | diff to current
2009-07-01 Max BolingbrokeSupport for -fwarn-unused-do-bind and -fwarn-wrong... blob | commitdiff | diff to current
2009-05-13 simonpj@microsoft.comImprove error reporting for kind errors (fix Trac ... blob | commitdiff | diff to current
2008-10-22 simonpj@microsoft.comFix Trac #2714 (a minor wibble) blob | commitdiff | diff to current
2008-09-20 simonpj@microsoft.comComments only: replace ":=:" by "~" (notation for equal... blob | commitdiff | diff to current
2008-09-25 Manuel M T ChakravartyType families: fix decomposition problem blob | commitdiff | diff to current
2008-09-10 simonpj@microsoft.comCheck the *right* set of type variables for escape! blob | commitdiff | diff to current
2008-09-10 simonpj@microsoft.comMore refactoring of instance declarations (fixes Trac... blob | commitdiff | diff to current
2008-09-03 simonpj@microsoft.comMajor change in compilation of instance declarations... blob | commitdiff | diff to current
2008-07-20 Thomas SchillingFix Haddock errors. blob | commitdiff | diff to current
2008-07-07 simonpj@microsoft.comFix Trac #2414: occurrs check was missed blob | commitdiff | diff to current
2008-06-16 Ian LynaghSuggest -XRelaxedPolyRec rather than -fglasgow-exts... blob | commitdiff | diff to current
2008-05-19 Ian LynaghMake TcUnify warning-free blob | commitdiff | diff to current
2008-05-19 Ian LynaghFix a comment typo blob | commitdiff | diff to current
2008-05-19 Ian LynaghDetab TcUnify blob | commitdiff | diff to current
2008-04-22 Ian LynaghChange the last few (F)SLIT's into (f)sLit's blob | commitdiff | diff to current
2008-04-22 simonpj@microsoft.comRename WpCo to WpCast blob | commitdiff | diff to current
2008-04-11 simonpj@microsoft.comRejig error reporting in the unifier slightly blob | commitdiff | diff to current
2008-04-10 simonpj@microsoft.comTwo improvements to boxy matching blob | commitdiff | diff to current
2008-03-29 Ian LynaghDon't import FastString in HsVersions.h blob | commitdiff | diff to current
2008-03-29 Ian LynaghDEBUG removal blob | commitdiff | diff to current
2008-03-29 Ian LynaghRemove a DEBUG use blob | commitdiff | diff to current
2008-03-15 Ian LynaghRemove leftover NoteTy/FTVNote bits blob | commitdiff | diff to current
2008-01-17 Twan van LaarhovenMonadify typecheck/TcUnify: use do, return and standard... blob | commitdiff | diff to current
2008-01-07 simonpj@microsoft.comMake the treatment of equalities more uniform blob | commitdiff | diff to current
2007-12-08 Manuel M T ChakravartyCoercions from boxy splitters must be sym'ed in pattern... blob | commitdiff | diff to current
2007-11-21 simonpj@microsoft.comMake rebindable do-notation behave as advertised blob | commitdiff | diff to current
2007-11-01 simonpj@microsoft.comRejig the error messages a bit; fixes a minor bug blob | commitdiff | diff to current
2007-10-19 Manuel M T ChakravartyZonk quantified tyvars with skolems blob | commitdiff | diff to current
2007-10-18 Manuel M T ChakravartyFix deferring on tyvars in TcUnify.subFunTys blob | commitdiff | diff to current
2007-10-17 Manuel M T ChakravartyTcUnify.subFunTys must take type families into account blob | commitdiff | diff to current
2007-09-29 Manuel M T ChakravartySome more traceTcs blob | commitdiff | diff to current
2007-09-28 Manuel M T ChakravartyFIX: Make boxy splitters aware of type families blob | commitdiff | diff to current
2007-09-16 Manuel M T ChakravartyFIX: TypeFamilies: should_compile/Simple12 blob | commitdiff | diff to current
2007-09-15 Manuel M T ChakravartyOverhaul of the rewrite rules blob | commitdiff | diff to current
2007-09-06 Manuel M T ChakravartyEqInst related clean up blob | commitdiff | diff to current
2007-09-04 Ian LynaghFix CodingStyle#Warnings URLs blob | commitdiff | diff to current
2007-09-04 Manuel M T ChakravartyFIX #1651: unBox types when deferring unification 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-07-03 simonpj@microsoft.comImprove formatting of errors, and fix a typo blob | commitdiff | diff to current
2007-06-29 simonpj@microsoft.comRefine printing of names in unification mis-match blob | commitdiff | diff to current
2007-06-29 simonpj@microsoft.comImprove name-printing on unification mis-matches, when... blob | commitdiff | diff to current
2007-06-19 simonpj@microsoft.comComments only blob | commitdiff | diff to current
2007-04-27 simonpj@microsoft.comFix egregious typo in TcUnify blob | commitdiff | diff to current
2007-04-24 simonpj@microsoft.comFix bug in boxySplitTyConApp blob | commitdiff | diff to current
2007-03-14 simonpj@microsoft.comImprove typechecker error messages; see Trac #1221 blob | commitdiff | diff to current
2007-02-19 simonpj@microsoft.comSignature type variables must not be instantiated with... blob | commitdiff | diff to current
2007-02-06 simonpj@microsoft.comCheck for escape when unifying forall-types blob | commitdiff | diff to current
2007-01-10 Manuel M T ChakravartycheckTauTvUpdate: take synonym families into account blob | commitdiff | diff to current
2006-12-13 simonpj@microsoft.comAdd left-to-right impredicative instantiation blob | commitdiff | diff to current
2006-12-11 simonpj@microsoft.comImprove origin of constraints in subsumption checking blob | commitdiff | diff to current
2006-12-11 simonpj@microsoft.comSuggests -fglasgow-exts for contexts-differ-in-length... 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-11-01 simonpj@microsoft.comTrim imports 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-03 simonpj@microsoft.comFix scoped type variables for expression type signatures blob | commitdiff | diff to current
2006-09-29 simonpj@microsoft.comAdd missing case for EqPred blob | commitdiff | diff to current
2006-09-29 simonpj@microsoft.comGlobal renamings in HsSyn blob | commitdiff | diff to current
2006-09-29 simonpj@microsoft.comImprove unification error messages (again) (push to... blob | commitdiff | diff to current
2006-09-23 simonpj@microsoft.comTrim more imports blob | commitdiff | diff to current
2006-09-23 simonpj@microsoft.comAdd TcRnMonad.newSysLocalIds, and use it blob | commitdiff | diff to current
2006-09-23 simonpj@microsoft.comAdd VarSet.disjointVarSet, and use it blob | commitdiff | diff to current
2006-09-20 Manuel M T ChakravartyCorrect substitution into theta types (after merge) After_FC_branch_merge blob | commitdiff | diff to current
2006-09-20 Manuel M T ChakravartyAdapt FC-code in TcUnify to pre-subsumption 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 ChakravartyMassive patch for the first months work adding System... blob | commitdiff | diff to current
2006-09-18 simonpj@microsoft.comFix a bug in subsumption, and tweak error messages blob | commitdiff | diff to current
2006-09-18 simonpj@microsoft.comComments only blob | commitdiff | diff to current
2006-09-06 simonpj@microsoft.comPattern-match warning police blob | commitdiff | diff to current
2006-09-06 simonpj@microsoft.comImprove error reporting for SigTvs, and add comments blob | commitdiff | diff to current
2006-08-11 simonpj@microsoft.comImprove error message layouts blob | commitdiff | diff to current
2006-08-08 simonpj@microsoft.comMore fixes to pre-matching and pre-subsumption blob | commitdiff | diff to current
2006-08-08 simonpj@microsoft.comFix pre-subsumption and pre-matching blob | commitdiff | diff to current
2006-08-08 simonpj@microsoft.comImprove error message blob | commitdiff | diff to current
2006-08-04 simonpj@microsoft.comDo pre-subsumption in the main subsumption check blob | commitdiff | diff to current
2006-08-01 simonpj@microsoft.comMake unification robust to a boxy type variable meeting... blob | commitdiff | diff to current
2006-06-23 Simon Marlowthe unlifted kind blob | commitdiff | diff to current
2006-05-05 simonpj@microsoft.comPreserve type variable names during type inference 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)