From a75c3b1907a814e63cdff9cc045bdcaabe055b8f Mon Sep 17 00:00:00 2001 From: aarne Date: Tue, 20 Jun 2006 15:05:22 +0000 Subject: resource.txt updates ; lock field and lookup book fixes --- src/GF/Grammar/Lookup.hs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src/GF/Grammar') diff --git a/src/GF/Grammar/Lookup.hs b/src/GF/Grammar/Lookup.hs index 337329d44..f0032f09f 100644 --- a/src/GF/Grammar/Lookup.hs +++ b/src/GF/Grammar/Lookup.hs @@ -51,6 +51,8 @@ lookupResDef gr m c = look True m c where CncCat (Yes ty) _ _ -> lock c ty CncCat _ _ _ -> lock c defLinType + CncFun (Just (cat,_)) (Yes tr) _ -> unlock cat tr + CncFun _ (Yes tr) _ -> unlock c tr AnyInd _ n -> look False n c @@ -73,7 +75,7 @@ lookupResType gr m c = do -- used in reused concrete CncCat _ _ _ -> return typeType - CncFun (Just (cat,(cont,val))) _ _ -> do + CncFun (Just (cat,(cont@(_:_),val))) _ _ -> do val' <- lock cat val return $ mkProd (cont, val', []) CncFun _ _ _ -> lookFunType m m c -- cgit v1.2.3