summaryrefslogtreecommitdiff
path: root/examples/test/srg/cyclic-indirect
diff options
context:
space:
mode:
authorkrasimir <krasimir@chalmers.se>2008-10-20 11:11:59 +0000
committerkrasimir <krasimir@chalmers.se>2008-10-20 11:11:59 +0000
commit3d92897a944fef8f201b3ced837156b50c415106 (patch)
treed55a62441c12630f246905f17d2b852d9ddb507b /examples/test/srg/cyclic-indirect
parent6f7d0ab08d5eaf1edae09ffaeda59e459d3d6266 (diff)
more test/srg to examples/test/srg
Diffstat (limited to 'examples/test/srg/cyclic-indirect')
-rw-r--r--examples/test/srg/cyclic-indirect/cyclic-indirect.gf11
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;