From 4f9ba74f726457b82e392e49b2e5d5291e1646a2 Mon Sep 17 00:00:00 2001 From: aarne Date: Mon, 22 May 2006 15:48:59 +0000 Subject: [PATCH] removed automatic lock fields - must be added by hand in places in resource --- src/GF/Grammar/Lookup.hs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/GF/Grammar/Lookup.hs b/src/GF/Grammar/Lookup.hs index a80217cd6..eaa44c1c9 100644 --- a/src/GF/Grammar/Lookup.hs +++ b/src/GF/Grammar/Lookup.hs @@ -45,9 +45,9 @@ lookupResDef gr m c = look True m c where ResOper _ Nope -> return (Q m c) ---- if isTop then lookExt m c ---- else prtBad "cannot find in exts" c - CncCat (Yes ty) _ _ -> lockRecType c $ ty - CncCat _ _ _ -> lockRecType c $ defLinType - CncFun _ (Yes tr) _ -> unlockRecord c tr + CncCat (Yes ty) _ _ -> return ty ---- lockRecType c $ ty + CncCat _ _ _ -> return defLinType ---- lockRecType c $ defLinType + CncFun _ (Yes tr) _ -> return tr ---- unlockRecord c tr AnyInd _ n -> look False n c ResParam _ -> return $ QC m c @@ -70,7 +70,7 @@ lookupResType gr m c = do -- used in reused concrete CncCat _ _ _ -> return typeType CncFun (Just (cat,(cont,val))) _ _ -> do - val' <- lockRecType cat val + val' <- return val ---- lockRecType cat val return $ mkProd (cont, val', []) CncFun _ _ _ -> do a <- abstractOfConcrete gr m