lincat typecheck and abstract-interface extension fixed

2026-05-10 11:42:51 -06:00 · 2006-05-30 12:19:19 +00:00
parent e9ce09cb45
commit 5dc1edf50f
3 changed files with 16 additions and 8 deletions
--- a/src/GF/Compile/CheckGrammar.hs
+++ b/src/GF/Compile/CheckGrammar.hs
@@ -214,6 +214,7 @@ checkCncInfo gr m (a,abs) (c,info) = do
                                                   -- cat for cf, typ for pe

    CncCat (Yes typ) mdef mpr -> chIn "linearization type of" $ do
+      checkErr $ lookupCatContextSrc gr a c
      typ'  <- checkIfLinType gr typ
      mdef' <- case mdef of
        Yes def -> do