From 289ee4869ec68918b7b1d06a944b473e1fcf53c4 Mon Sep 17 00:00:00 2001 From: bringert Date: Fri, 23 Mar 2007 18:09:22 +0000 Subject: [PATCH] Added test case which demonstrates a bug with implicit left recusion in SRG generation. --- test/srg/srg0002/empty.gf | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 test/srg/srg0002/empty.gf diff --git a/test/srg/srg0002/empty.gf b/test/srg/srg0002/empty.gf new file mode 100644 index 000000000..397ec37e5 --- /dev/null +++ b/test/srg/srg0002/empty.gf @@ -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" } ;