mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-21 00:52:51 -06:00
Added test case which demonstrates a bug with implicit left recusion in SRG generation.
This commit is contained in:
13
test/srg/srg0002/empty.gf
Normal file
13
test/srg/srg0002/empty.gf
Normal file
@@ -0,0 +1,13 @@
|
|||||||
|
cat S; X; E;
|
||||||
|
|
||||||
|
fun 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 sx s x = { s = s.s ++ x.s } ;
|
||||||
|
lin x = { s = "x" } ;
|
||||||
|
lin e = { s = "e" } ;
|
||||||
Reference in New Issue
Block a user