diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/srg/srg0001/srg0001.gf (renamed from test/srg/srg0001/test.gf) | 0 | ||||
| -rw-r--r-- | test/srg/srg0002/srg0002.gf | 9 | ||||
| -rw-r--r-- | test/srg/srg0005/srg0005.gf (renamed from test/srg/srg0002/empty.gf) | 0 |
3 files changed, 9 insertions, 0 deletions
diff --git a/test/srg/srg0001/test.gf b/test/srg/srg0001/srg0001.gf index 6671918ec..6671918ec 100644 --- a/test/srg/srg0001/test.gf +++ b/test/srg/srg0001/srg0001.gf diff --git a/test/srg/srg0002/srg0002.gf b/test/srg/srg0002/srg0002.gf new file mode 100644 index 000000000..fc87b893f --- /dev/null +++ b/test/srg/srg0002/srg0002.gf @@ -0,0 +1,9 @@ +cat S; E; + +fun s : S ; +fun es : E -> S -> S ; +fun e : E ; + +lin s = { s = "s" } ; +lin es e s = { s = e.s ++ s.s } ; +lin e = { s = [] } ; diff --git a/test/srg/srg0002/empty.gf b/test/srg/srg0005/srg0005.gf index 19a9701ca..19a9701ca 100644 --- a/test/srg/srg0002/empty.gf +++ b/test/srg/srg0005/srg0005.gf |