mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-06-20 16:56:18 -06:00
add PassVPSlash to May
This commit is contained in:
@@ -101,7 +101,7 @@ concrete ExtendMay of Extend = CatMay
|
||||
|
||||
|
||||
-- PassVPSlash : VPS -> VP ;
|
||||
-- be forced to sleep
|
||||
-- be begged to sleep
|
||||
PassVPSlash vps = vps ** {
|
||||
s = \\vf,pol => vps.s ! Passive ! pol ;
|
||||
};
|
||||
|
||||
Reference in New Issue
Block a user