forked from GitHub/gf-core
Uncommented troublesome rules in srg0002
This commit is contained in:
@@ -1,13 +1,13 @@
|
||||
cat S; X; E;
|
||||
|
||||
fun s : S ;
|
||||
--fun es : E -> S -> S ;
|
||||
fun es : E -> S -> S ;
|
||||
fun sx : S -> X -> S ;
|
||||
fun x : X ;
|
||||
fun e : E ;
|
||||
|
||||
lin s = { s = "s" } ;
|
||||
--lin es e s = { s = e.s ++ s.s } ;
|
||||
lin es e s = { s = e.s ++ s.s } ;
|
||||
lin sx s x = { s = s.s ++ x.s } ;
|
||||
lin x = { s = "x" } ;
|
||||
lin e = { s = "e" } ;
|
||||
|
||||
Reference in New Issue
Block a user