diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-05-22 15:48:59 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-05-22 15:48:59 +0000 |
| commit | 4f9ba74f726457b82e392e49b2e5d5291e1646a2 (patch) | |
| tree | 54aa60c948a32402f909195f2940c5683b8adafe /src/GF | |
| parent | 41519ea40bf7a8ab76fb9d00d136789dcda5bb59 (diff) | |
removed automatic lock fields - must be added by hand in places in resource
Diffstat (limited to 'src/GF')
| -rw-r--r-- | src/GF/Grammar/Lookup.hs | 8 |
1 files 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 |