diff options
| author | Camil Staps | 2023-02-01 21:24:05 +0100 |
|---|---|---|
| committer | Camil Staps | 2023-02-01 21:31:07 +0100 |
| commit | 5d2f367ea59f5813b95800fcaab1e4d5e16d4a88 (patch) | |
| tree | 97069353db5f6b8e2ed8f8020e64166b2d137287 /example.txt | |
| parent | Fix argument order in function calls (diff) | |
Implement basic uses of locals
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') |