Commit 1749c262 authored by panne's avatar panne

[project @ 2004-10-01 19:23:47 by panne]

Layout rule again...
parent fc6e8220
......@@ -579,9 +579,9 @@ tcTySig sig1 (L span (Sig (L _ name) ty))
; Just tenv -> do
; case check_tvs tenv tvs of
Nothing -> bale_out
Just tvs' -> do
Just tvs' -> do {
{ let subst = mkTvSubst tenv
let subst = mkTvSubst tenv
theta' = substTheta subst theta
tau' = substTy subst tau
; loc <- getInstLoc (SigOrigin rigid_info)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment