mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-23 03:32:51 -06:00
tense update for lib/resource/english
This commit is contained in:
@@ -2,7 +2,7 @@
|
|||||||
|
|
||||||
incomplete concrete DatabaseI of Database = open Prelude, Resource in {
|
incomplete concrete DatabaseI of Database = open Prelude, Resource in {
|
||||||
|
|
||||||
flags lexer=text ; unlexer=text ;
|
flags lexer=text ; unlexer=text ; startcat=Query ;
|
||||||
|
|
||||||
lincat
|
lincat
|
||||||
Query = Phr ;
|
Query = Phr ;
|
||||||
|
|||||||
@@ -609,6 +609,7 @@ pattContext env typ p = case p of
|
|||||||
case typ' of
|
case typ' of
|
||||||
RecType t -> do
|
RecType t -> do
|
||||||
let pts = [(ty,tr) | (l,tr) <- r, Just ty <- [lookup l t]]
|
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
|
mapM (uncurry (pattContext env)) pts >>= return . concat
|
||||||
_ -> prtFail "record type expected for pattern instead of" typ'
|
_ -> prtFail "record type expected for pattern instead of" typ'
|
||||||
PT t p' -> do
|
PT t p' -> do
|
||||||
|
|||||||
Reference in New Issue
Block a user