diff options
| author | bringert <bringert@cs.chalmers.se> | 2007-03-24 15:34:33 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2007-03-24 15:34:33 +0000 |
| commit | 407b4bea9c6a843d37efb2aba762b44f6fccd36b (patch) | |
| tree | 3cc65039cda3f4a63a36469f06223aff83343075 /test | |
| parent | e52adbde2eab1989e20656c7278fb098a7aab189 (diff) | |
More srg test cases.
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 |