mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-09-18 08:16:05 -06:00
added a type annotation to make ExtendGer compile with v. 3.12 type checker
This commit is contained in:
@@ -389,7 +389,7 @@ concrete ExtendGer of Extend =
|
|||||||
in ap ** { s = \\af => ap.s ! af ++ adv } ; -- e.g. unknown in one's youth
|
in ap ** { s = \\af => ap.s ! af ++ adv } ; -- e.g. unknown in one's youth
|
||||||
|
|
||||||
AdvRVP vp prep rnp =
|
AdvRVP vp prep rnp =
|
||||||
insertAdv (appPrep prep (\\c => rnp.s ! agrP3 Sg ! Obj c) ++ rnp.ext ++ rnp.rc) vp ;
|
insertAdv (appPrep prep (table ObjCase {c => rnp.s ! agrP3 Sg ! Obj c}) ++ rnp.ext ++ rnp.rc) vp ;
|
||||||
|
|
||||||
ReflA2RNP adj rnp = -- would need AP.c : Agr => Str*Str, not AP.c : Str*Str
|
ReflA2RNP adj rnp = -- would need AP.c : Agr => Str*Str, not AP.c : Str*Str
|
||||||
let -- as we have no reflexive AP,
|
let -- as we have no reflexive AP,
|
||||||
|
|||||||
Reference in New Issue
Block a user