diff options
Diffstat (limited to 'example.txt')
-rw-r--r-- | example.txt | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/example.txt b/example.txt index 5aa858a..33d4dab 100644 --- a/example.txt +++ b/example.txt @@ -73,7 +73,7 @@ (Cons _ xs -> length_acc (+ n 1) xs))) #) -(fun testb ((x : Int) (y : Int)) : Int : - Tuple 37 'a') -(fun test () : Int : - testb 37 42) +(fun testb ((x : Int) (y : Char)) : Tuple Int Char : + Tuple x y) +(fun test () : Tuple Int Char : + testb 37 'a') |