From f72e601d12750029f7c90e833e893afb7fa870fb Mon Sep 17 00:00:00 2001 From: aarne Date: Mon, 1 Oct 2007 20:14:23 +0000 Subject: work with GrammarToGFCC, not complete --- src/GF/Canon/GFCC/CheckGFCC.hs | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src/GF/Canon/GFCC/CheckGFCC.hs') diff --git a/src/GF/Canon/GFCC/CheckGFCC.hs b/src/GF/Canon/GFCC/CheckGFCC.hs index b11ca146d..113a1f311 100644 --- a/src/GF/Canon/GFCC/CheckGFCC.hs +++ b/src/GF/Canon/GFCC/CheckGFCC.hs @@ -49,6 +49,9 @@ inferTerm args trm = case trm of P t u -> do R tys <- infer t case u of + R [v] -> infer $ P t v + R (v:vs) -> infer $ P (head tys) (R vs) ----- + C i -> if (i < length tys) then (return $ tys !! i) -- record: index must be known else error ("too few fields in " ++ printTree (R tys)) -- cgit v1.2.3