diff options
Diffstat (limited to 'testsuite/update/ArrityCheck.gf')
| -rw-r--r-- | testsuite/update/ArrityCheck.gf | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/testsuite/update/ArrityCheck.gf b/testsuite/update/ArrityCheck.gf deleted file mode 100644 index 9ee03ba6e..000000000 --- a/testsuite/update/ArrityCheck.gf +++ /dev/null @@ -1,5 +0,0 @@ -abstract ArrityCheck = {
- fun f : Int -> Int -> Int ;
- def f 0 = \x -> x ;
- f 1 1 = 0 ;
-}
|