GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-21 09:02:50 -06:00
Code Issues Packages Projects Releases Wiki Activity

removed automatic lock fields - must be added by hand in places in resource

Browse Source
This commit is contained in:
aarne
2006-05-22 15:48:59 +00:00
parent 41519ea40b
commit 4f9ba74f72
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/GF/Grammar/Lookup.hs
View File

@@ -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 ResOper _ Nope -> return (Q m c) ---- if isTop then lookExt m c
---- else prtBad "cannot find in exts" c ---- else prtBad "cannot find in exts" c
CncCat (Yes ty) _ _ -> lockRecType c $ ty CncCat (Yes ty) _ _ -> return ty ---- lockRecType c $ ty
CncCat _ _ _ -> lockRecType c $ defLinType CncCat _ _ _ -> return defLinType ---- lockRecType c $ defLinType
CncFun _ (Yes tr) _ -> unlockRecord c tr CncFun _ (Yes tr) _ -> return tr ---- unlockRecord c tr
AnyInd _ n -> look False n c AnyInd _ n -> look False n c
ResParam _ -> return $ QC m c ResParam _ -> return $ QC m c
@@ -70,7 +70,7 @@ lookupResType gr m c = do
-- used in reused concrete -- used in reused concrete
CncCat _ _ _ -> return typeType CncCat _ _ _ -> return typeType
CncFun (Just (cat,(cont,val))) _ _ -> do CncFun (Just (cat,(cont,val))) _ _ -> do
val' <- lockRecType cat val val' <- return val ---- lockRecType cat val
return $ mkProd (cont, val', []) return $ mkProd (cont, val', [])
CncFun _ _ _ -> do CncFun _ _ _ -> do
a <- abstractOfConcrete gr m a <- abstractOfConcrete gr m