mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-22 19:22:50 -06:00
remove the obsolete testsuite/srg directory
This commit is contained in:
@@ -1,7 +0,0 @@
|
||||
cat S;
|
||||
|
||||
fun f : S -> S ;
|
||||
fun g : S ;
|
||||
|
||||
lin f s = { s = s.s } ;
|
||||
lin g = { s = "g" } ;
|
||||
@@ -1,9 +0,0 @@
|
||||
cat S; E;
|
||||
|
||||
fun s : S ;
|
||||
fun es : E -> S -> S ;
|
||||
fun e : E ;
|
||||
|
||||
lin s = { s = "s" } ;
|
||||
lin es e s = { s = e.s ++ s.s } ;
|
||||
lin e = { s = [] } ;
|
||||
@@ -1,11 +0,0 @@
|
||||
-- a grammar with an indirect cycle
|
||||
|
||||
cat S; G;
|
||||
|
||||
fun f : S ;
|
||||
fun fg : G -> S ;
|
||||
fun gf : S -> G ;
|
||||
|
||||
lin f = { s = "f" } ;
|
||||
lin fg x = x;
|
||||
lin gf x = x;
|
||||
@@ -1,9 +0,0 @@
|
||||
cat S; E;
|
||||
|
||||
fun f : E -> S ;
|
||||
fun g : S -> S ;
|
||||
fun e : E ;
|
||||
|
||||
lin f e = { s = e.s } ;
|
||||
lin g s = { s = s.s ++ "x" } ;
|
||||
lin e = { s = "e" } ;
|
||||
@@ -1,7 +0,0 @@
|
||||
cat S;
|
||||
|
||||
fun f : S -> S ;
|
||||
g : S ;
|
||||
|
||||
lin f x = { s = x.s ++ "f" } ;
|
||||
g = { s = "s" } ;
|
||||
@@ -1,4 +0,0 @@
|
||||
cat S;
|
||||
fun f : S;
|
||||
|
||||
lin f = { s = variants {"a"; "b"} ++ variants {"c"; "d"} ++ variants {"e"; "f"} ++ variants { "g";"h";} } ;
|
||||
Reference in New Issue
Block a user