From cfe8ebc1fbbf60d7d90aaa4776b029b5eb84ae98 Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 3 Oct 2003 06:31:34 +0000 Subject: Restored read term in editor. --- src/GF/Grammar/TypeCheck.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/GF/Grammar') diff --git a/src/GF/Grammar/TypeCheck.hs b/src/GF/Grammar/TypeCheck.hs index 5f16da90e..2445d50ad 100644 --- a/src/GF/Grammar/TypeCheck.hs +++ b/src/GF/Grammar/TypeCheck.hs @@ -121,12 +121,12 @@ possibleConstraint gr (u,v) = errVal True $ do v' <- val2exp v >>= compute gr return $ cts u' v' where - cts t u = case (t,u) of + cts t u = isUnknown t || isUnknown u || case (t,u) of (Q m c, Q n d) -> c == d || notCan (m,c) || notCan (n,d) (App f a, App g b) -> cts f g && cts a b (Abs x b, Abs y c) -> cts b c (Prod x a f, Prod y b g) -> cts a b && cts f g - (_ , _) -> isUnknown t || isUnknown u + (_ , _) -> False isUnknown t = case t of Vr _ -> True -- cgit v1.2.3