diff options
Diffstat (limited to 'examples/test/srg/cyclic-indirect')
| -rw-r--r-- | examples/test/srg/cyclic-indirect/cyclic-indirect.gf | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/examples/test/srg/cyclic-indirect/cyclic-indirect.gf b/examples/test/srg/cyclic-indirect/cyclic-indirect.gf new file mode 100644 index 000000000..316589cd8 --- /dev/null +++ b/examples/test/srg/cyclic-indirect/cyclic-indirect.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; |