mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-23 19:42:50 -06:00
*** empty log message ***
This commit is contained in:
@@ -5,7 +5,7 @@ cat
|
||||
S; VP; NP; V; N; D; P; PP;
|
||||
|
||||
fun
|
||||
cyclic : S -> S;
|
||||
-- cyclic : S -> S;
|
||||
mkS : NP -> VP -> S;
|
||||
mkVP : V -> NP -> VP;
|
||||
mkNP1 : D -> N -> NP;
|
||||
|
||||
@@ -12,7 +12,7 @@ PP = {s : Str};
|
||||
P = {s : Str};
|
||||
|
||||
lin
|
||||
cyclic x = x;
|
||||
-- cyclic x = x;
|
||||
mkS x y = {s = x.s ++ y.s};
|
||||
mkVP x y = {s = x.s ++ y.s};
|
||||
mkNP1 x y = {s = x.s ! y.g ++ y.s ! x.n};
|
||||
|
||||
@@ -27,7 +27,8 @@ concrete TestVars of TestVarsA = open TestVarsR in {
|
||||
lincat S = { s : Str };
|
||||
lin
|
||||
--s = { s = variants { "a" ; "b" ; "c" } };
|
||||
e = { s = variants { "e" ; "f" } };
|
||||
--e = { s = variants { "e" ; "f" } };
|
||||
e = { s = "e" };
|
||||
ee x = { s = x.s ++ x.s };
|
||||
f = { s = "g" };
|
||||
ff x = { s = "e" ++ x.s };
|
||||
|
||||
Reference in New Issue
Block a user