diff options
| -rw-r--r-- | grammars/database/DatabaseI.gf | 2 | ||||
| -rw-r--r-- | src/GF/Compile/CheckGrammar.hs | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/grammars/database/DatabaseI.gf b/grammars/database/DatabaseI.gf index 204e43c81..4040de0c1 100644 --- a/grammars/database/DatabaseI.gf +++ b/grammars/database/DatabaseI.gf @@ -2,7 +2,7 @@ incomplete concrete DatabaseI of Database = open Prelude, Resource in { -flags lexer=text ; unlexer=text ; +flags lexer=text ; unlexer=text ; startcat=Query ; lincat Query = Phr ; diff --git a/src/GF/Compile/CheckGrammar.hs b/src/GF/Compile/CheckGrammar.hs index 74256d66b..a14b614b8 100644 --- a/src/GF/Compile/CheckGrammar.hs +++ b/src/GF/Compile/CheckGrammar.hs @@ -609,6 +609,7 @@ pattContext env typ p = case p of case typ' of RecType t -> do let pts = [(ty,tr) | (l,tr) <- r, Just ty <- [lookup l t]] + ----- checkWarn $ prt p ++++ show pts ----- debug mapM (uncurry (pattContext env)) pts >>= return . concat _ -> prtFail "record type expected for pattern instead of" typ' PT t p' -> do |