diff options
Diffstat (limited to 'src/GF/Canon/GFCC/CheckGFCC.hs')
| -rw-r--r-- | src/GF/Canon/GFCC/CheckGFCC.hs | 3 |
1 files changed, 3 insertions, 0 deletions
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)) |