X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcGadt.lhs;h=3761c68fada484fa600e215005bb306fbcaf7f36;hp=987a4c66e785ebaf8fb9d776019419bc4c6fcb9d;hb=e68a891932d615590d9b1ab5752ada8142db5053;hpb=62c79599b7f5ae052309e22e0c188f2770e16c67 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} %************************************************************************ %* *