From e363c4005836964a49d686176751d0247d3a33b3 Mon Sep 17 00:00:00 2001 From: krasimir Date: Sat, 19 Sep 2009 10:21:26 +0000 Subject: [PATCH] bugfix in PGF.TypeCheck --- src/PGF/TypeCheck.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/PGF/TypeCheck.hs b/src/PGF/TypeCheck.hs index b5f6159b8..2683588d4 100644 --- a/src/PGF/TypeCheck.hs +++ b/src/PGF/TypeCheck.hs @@ -358,12 +358,12 @@ eqType scope k i0 tty1@(TTyp delta1 ty1@(DTyp hyps1 cat1 es1)) tty2@(TTyp delta2 eqValue' k (VMeta i env1 vs1) (VMeta j env2 vs2) | i == j = zipWithM_ (eqValue k) vs1 vs2 eqValue' k (VMeta i env1 vs1) v2 = do (MUnbound scopei cs) <- getMeta i e2 <- mkLam i scopei env1 vs1 v2 - sequence_ [c e2 | c <- cs] setMeta i (MBound e2) + sequence_ [c e2 | c <- cs] eqValue' k v1 (VMeta i env2 vs2) = do (MUnbound scopei cs) <- getMeta i e1 <- mkLam i scopei env2 vs2 v1 - sequence_ [c e1 | c <- cs] setMeta i (MBound e1) + sequence_ [c e1 | c <- cs] eqValue' k (VApp f1 vs1) (VApp f2 vs2) | f1 == f2 = zipWithM_ (eqValue k) vs1 vs2 eqValue' k (VLit l1) (VLit l2 ) | l1 == l2 = return () eqValue' k (VGen i vs1) (VGen j vs2) | i == j = zipWithM_ (eqValue k) vs1 vs2