From 3addf256bcfaaa7748b0159a3dd6f6ce8fcd8b7c Mon Sep 17 00:00:00 2001 From: aarne Date: Thu, 31 Jan 2008 20:56:42 +0000 Subject: GFCC: TM with argument; fixed labels from bindings in gfc --- src/GF/GFCC/CheckGFCC.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/GF/GFCC/CheckGFCC.hs') diff --git a/src/GF/GFCC/CheckGFCC.hs b/src/GF/GFCC/CheckGFCC.hs index 33302ab1b..d59dba1a9 100644 --- a/src/GF/GFCC/CheckGFCC.hs +++ b/src/GF/GFCC/CheckGFCC.hs @@ -91,7 +91,7 @@ inferTerm args trm = case trm of testErr (all (==typ) tys) ("different types in table " ++ show trm) return (P t' u', typ) -- table: types must be same _ -> Bad $ "projection from " ++ show t ++ " : " ++ show tt - FV [] -> returnt TM ---- + FV [] -> returnt tm0 ---- FV (t:ts) -> do (t',ty) <- infer t (ts',tys) <- mapM infer ts >>= return . unzip @@ -120,7 +120,7 @@ eqType :: CType -> CType -> Bool eqType inf exp = case (inf,exp) of (C k, C n) -> k <= n -- only run-time corr. (R rs,R ts) -> length rs == length ts && and [eqType r t | (r,t) <- zip rs ts] - (TM, _) -> True ---- for variants [] ; not safe + (TM _, _) -> True ---- for variants [] ; not safe _ -> inf == exp -- should be in a generic module, but not in the run-time DataGFCC -- cgit v1.2.3