diff options
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 |