1
0
forked from GitHub/gf-rgl

(Som) add explicit module source to avoid warnings

This commit is contained in:
Inari Listenmaa
2023-03-11 22:39:01 +08:00
parent 8a12362649
commit ea4249752e

View File

@@ -10,9 +10,9 @@ concrete QuestionSom of Question = CatSom ** open
-- : IP -> VP -> QCl ; -- : IP -> VP -> QCl ;
QuestVP ip vp = -- TODO: if we want to contract baa + subj. pronoun, change ResSom.predVP QuestVP ip vp = -- TODO: if we want to contract baa + subj. pronoun, change ResSom.predVP
let cls : ClSlash = predVP ip vp ; let cls : ResSom.ClSlash = predVP ip vp ;
baan : Str = case ip.contractSTM of {True => "aan" ; _ => "baa aan"} ; baan : Str = case ip.contractSTM of {True => "aan" ; _ => "baa aan"} ;
cl : ClSlash = cls ** { cl : ResSom.ClSlash = cls ** {
stm = modSTM "baa" baan cls.stm stm = modSTM "baa" baan cls.stm
} ; } ;
in cl2qcl PolarQuestion (notB ip.contractSTM) cl ; in cl2qcl PolarQuestion (notB ip.contractSTM) cl ;
@@ -33,9 +33,9 @@ concrete QuestionSom of Question = CatSom ** open
-- : IAdv -> Cl -> QCl ; -- why does John walk -- : IAdv -> Cl -> QCl ; -- why does John walk
QuestIAdv iadv cls = QuestIAdv iadv cls =
let clRaw : ClSlash = insertIAdv iadv cls ; let clRaw : ResSom.ClSlash = insertIAdv iadv cls ;
sbj = clRaw.subj ; sbj = clRaw.subj ;
cl : ClSlash = clRaw ** { cl : ResSom.ClSlash = clRaw ** {
stm = \\clt,p => case <clt,p> of { stm = \\clt,p => case <clt,p> of {
-- IAdv is focused with baa, and subject comes after -- IAdv is focused with baa, and subject comes after
<_,Pos> => case iadv.contractSTM of { <_,Pos> => case iadv.contractSTM of {
@@ -117,13 +117,13 @@ oper
} ; } ;
-- Question clauses: subject pronoun not included, STM is -- Question clauses: subject pronoun not included, STM is
cl2qcl : ClType -> Bool -> ClSlash -> Clause = \cltyp -> cl2qcl : ClType -> Bool -> ResSom.ClSlash -> Clause = \cltyp ->
let hasSubjPron : Bool = False ; let hasSubjPron : Bool = False ;
isRel : Bool = False ; isRel : Bool = False ;
in mkClause cltyp isRel hasSubjPron ; in mkClause cltyp isRel hasSubjPron ;
-- Question clause with wh-word as object: subject pronoun is included -- Question clause with wh-word as object: subject pronoun is included
cl2qclslash : Bool -> ClSlash -> Clause = cl2qclslash : Bool -> ResSom.ClSlash -> Clause =
let hasSubjPron : Bool = True ; let hasSubjPron : Bool = True ;
isRel : Bool = False ; isRel : Bool = False ;
in mkClause PolarQuestion isRel hasSubjPron ; in mkClause PolarQuestion isRel hasSubjPron ;