diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-06-20 15:05:22 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-06-20 15:05:22 +0000 |
| commit | a75c3b1907a814e63cdff9cc045bdcaabe055b8f (patch) | |
| tree | 1b8d587c49fb67a41c68e3c4b8ff80e12c327df6 /src/GF/Grammar | |
| parent | 402a113b567a96eef61946552b68df6ac6eb6712 (diff) | |
resource.txt updates ; lock field and lookup book fixes
Diffstat (limited to 'src/GF/Grammar')
| -rw-r--r-- | src/GF/Grammar/Lookup.hs | 4 |
1 files changed, 3 insertions, 1 deletions
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 |