Use implication constraints to improve type inference
authorsimonpj@microsoft.com <unknown>
Fri, 10 Nov 2006 13:31:23 +0000 (13:31 +0000)
committersimonpj@microsoft.com <unknown>
Fri, 10 Nov 2006 13:31:23 +0000 (13:31 +0000)
commitf4510d27c5883fe7e8570f4dd49d45a8b0122f2c
tree367c812f9d1e2db4041118b5035fdaf4229461d9
parentd29f86b1fe7daf919e9b47a9003daed74b812790
Use implication constraints to improve type inference
19 files changed:
compiler/typecheck/FamInst.lhs
compiler/typecheck/Inst.lhs
compiler/typecheck/TcArrows.lhs
compiler/typecheck/TcBinds.lhs
compiler/typecheck/TcClassDcl.lhs
compiler/typecheck/TcEnv.lhs
compiler/typecheck/TcGadt.lhs
compiler/typecheck/TcHsType.lhs
compiler/typecheck/TcInstDcls.lhs
compiler/typecheck/TcMType.lhs
compiler/typecheck/TcPat.lhs
compiler/typecheck/TcRnDriver.lhs
compiler/typecheck/TcRnTypes.lhs
compiler/typecheck/TcRules.lhs
compiler/typecheck/TcSimplify.lhs
compiler/typecheck/TcSplice.lhs
compiler/typecheck/TcType.lhs
compiler/typecheck/TcUnify.lhs
compiler/types/FunDeps.lhs