From 5d2f367ea59f5813b95800fcaab1e4d5e16d4a88 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Wed, 1 Feb 2023 21:24:05 +0100
Subject: Implement basic uses of locals

---
 example.txt | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'example.txt')

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')
-- 
cgit v1.2.3