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/DummyNat.gf | |
| parent | 5d8d1999d8d7920b3e354f2c809d0ac0d6aa59cf (diff) | |
added testsuite for the parser
Diffstat (limited to 'testsuite/runtime/parser/DummyNat.gf')
| -rw-r--r-- | testsuite/runtime/parser/DummyNat.gf | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/testsuite/runtime/parser/DummyNat.gf b/testsuite/runtime/parser/DummyNat.gf new file mode 100644 index 000000000..ecbc66358 --- /dev/null +++ b/testsuite/runtime/parser/DummyNat.gf @@ -0,0 +1,8 @@ +abstract DummyNat = { + +cat Nat ; +fun zero : Nat ; + succ : Nat -> Nat ; + plus : Nat -> Nat -> Nat ; + +} |