diff options
| author | bringert <bringert@cs.chalmers.se> | 2007-03-25 16:42:52 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2007-03-25 16:42:52 +0000 |
| commit | 90ddf726c1be01f6eefec8364f2e65f01c771392 (patch) | |
| tree | c348178b8b7a211328a79668b0bc718824bc5560 /test/srg/srg0002 | |
| parent | de0ca9f533523ee0a815c5f0d06c58053c542f91 (diff) | |
Give SRG test cases human-readable names.
Diffstat (limited to 'test/srg/srg0002')
| -rw-r--r-- | test/srg/srg0002/srg0002.gf | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/test/srg/srg0002/srg0002.gf b/test/srg/srg0002/srg0002.gf deleted file mode 100644 index fc87b893f..000000000 --- a/test/srg/srg0002/srg0002.gf +++ /dev/null @@ -1,9 +0,0 @@ -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 = [] } ; |