From b1cc807d4542f23bd3884ca850eea69d449020f2 Mon Sep 17 00:00:00 2001 From: Isaac Shoebottom Date: Thu, 10 Apr 2025 08:33:48 -0300 Subject: [PATCH] finally. --- Assignments/04.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Assignments/04.rkt b/Assignments/04.rkt index ccfafae..9b62dfc 100644 --- a/Assignments/04.rkt +++ b/Assignments/04.rkt @@ -130,7 +130,7 @@ (type-case Type (typecheck fn env) [(arrowT arg-type result-type) (let ([actual-type (typecheck arg env)]) - (if (equal? arg-type actual-type) + (if (subtype? actual-type arg-type) ;; Use subtype? to check compatibility result-type (error 'typecheck "argument type")))] [else (error 'typecheck "not function")])]