diff options
| author | Camil Staps | 2023-03-05 19:47:49 +0100 |
|---|---|---|
| committer | Camil Staps | 2023-03-05 19:47:49 +0100 |
| commit | 4349838a315de8ac9ad51ca2e0fa6f80f24f9241 (patch) | |
| tree | d030b1fee063cdef58c1e4cf294e3444f167e721 /example.snug | |
| parent | Refactor, return MaybeError from lookupFunction and lookupConstructor (diff) | |
Implement ap
Diffstat (limited to 'example.snug')
| -rw-r--r-- | example.snug | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/example.snug b/example.snug index 33d4dab..035934d 100644 --- a/example.snug +++ b/example.snug @@ -73,7 +73,10 @@ (Cons _ xs -> length_acc (+ n 1) xs))) #) -(fun testb ((x : Int) (y : Char)) : Tuple Int Char : + +(fun unary ((x : Int)) : Tuple Int Int : + binary x) +(fun binary ((x : Int) (y : Int)) : Tuple Int Int : Tuple x y) -(fun test () : Tuple Int Char : - testb 37 'a') +(fun test () : Tuple Int Int : + unary 37 42) |