X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcGadt.lhs;h=3761c68fada484fa600e215005bb306fbcaf7f36;hb=72e37dedee9e8a109ebda4b13e49b7133b530591;hp=987a4c66e785ebaf8fb9d776019419bc4c6fcb9d;hpb=f4510d27c5883fe7e8570f4dd49d45a8b0122f2c;p=ghc-hetmet.git diff --git a/compiler/typecheck/TcGadt.lhs b/compiler/typecheck/TcGadt.lhs index 987a4c6..3761c68 100644 --- a/compiler/typecheck/TcGadt.lhs +++ b/compiler/typecheck/TcGadt.lhs @@ -184,7 +184,7 @@ gadtRefine (Reft in_scope env1) do_one reft co_var = unify reft (TyVarTy co_var) ty1 ty2 where (ty1,ty2) = splitCoercionKind (tyVarKind co_var) -\end{code} +\end{code} %************************************************************************ %* *