1 files changed, 13 insertions, 0 deletions
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" } ;