diff --git a/test/srg/srg0003/cyclic.gf b/test/srg/srg0003/cyclic.gf new file mode 100644 index 000000000..316589cd8 --- /dev/null +++ b/test/srg/srg0003/cyclic.gf @@ -0,0 +1,11 @@ +-- 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;