forked from GitHub/gf-rgl
added ExtendBul.EmptyRelSlash
This commit is contained in:
@@ -2,6 +2,11 @@
|
|||||||
concrete ExtendBul of Extend = CatBul ** open Prelude, ResBul in {
|
concrete ExtendBul of Extend = CatBul ** open Prelude, ResBul in {
|
||||||
|
|
||||||
lin
|
lin
|
||||||
|
EmptyRelSlash slash = {
|
||||||
|
s = \\t,a,p,agr => slash.c2.s ++ whichRP ! agr.gn ++ slash.s ! agr ! t ! a ! p ! Main ;
|
||||||
|
role = RObj Acc
|
||||||
|
} ;
|
||||||
|
|
||||||
CompoundN n1 n2 =
|
CompoundN n1 n2 =
|
||||||
let aform = ASg (case n2.g of {
|
let aform = ASg (case n2.g of {
|
||||||
AMasc _ => Masc ;
|
AMasc _ => Masc ;
|
||||||
|
|||||||
Reference in New Issue
Block a user