Change type of TcGadt.refineType, plus consequences
authorsimonpj@microsoft.com <unknown>
Fri, 13 Oct 2006 11:58:01 +0000 (11:58 +0000)
committersimonpj@microsoft.com <unknown>
Fri, 13 Oct 2006 11:58:01 +0000 (11:58 +0000)
commit1166c7d62f3fa9acd2084c90df6585cbbf868ceb
treec343a479e6194b3c9852ef11794ad7b21b69a733
parent5ad61e1470db6dbc8279569c5ad1cc093f753ac0
Change type of TcGadt.refineType, plus consequences
compiler/basicTypes/MkId.lhs
compiler/typecheck/TcEnv.lhs
compiler/typecheck/TcGadt.lhs
compiler/typecheck/TcPat.lhs