diff options
| author | krasimir <krasimir@chalmers.se> | 2011-01-10 10:34:09 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2011-01-10 10:34:09 +0000 |
| commit | 37d0200c7fd022d1d041a5a9bbe178cbfad3ea1e (patch) | |
| tree | 50badc33d7545e3be8209f52ef15fae1aa40bffe /testsuite/runtime/parser/DummyNatCnc.gf | |
| parent | 5d8d1999d8d7920b3e354f2c809d0ac0d6aa59cf (diff) | |
added testsuite for the parser
Diffstat (limited to 'testsuite/runtime/parser/DummyNatCnc.gf')
| -rw-r--r-- | testsuite/runtime/parser/DummyNatCnc.gf | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/testsuite/runtime/parser/DummyNatCnc.gf b/testsuite/runtime/parser/DummyNatCnc.gf new file mode 100644 index 000000000..209c7596f --- /dev/null +++ b/testsuite/runtime/parser/DummyNatCnc.gf @@ -0,0 +1,8 @@ +concrete DummyNatCnc of DummyNat = { + +lincat Nat = Str ; +lin zero = "z" ; + succ n = n ; + plus m n = m ++ n ; + +} |