IsaacShoebottom/CS4613
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Passes all tests

Browse Source
This commit is contained in:
Isaac Shoebottom 2025-04-08 16:03:00 -03:00
parent e5b13e035a
commit 5f36bf97e6
1 changed files with 9 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
Assignments/03.rkt
View File

@ -390,10 +390,15 @@
(let* ([arg-type (parse-type te)] (let* ([arg-type (parse-type te)]
[res-type (typecheck body (BindType name arg-type env))]) [res-type (typecheck body (BindType name arg-type env))])
(arrowT arg-type res-type))] (arrowT arg-type res-type))]
[(listE elements) (begin [(listE elements) (local [(define type-list (map (lambda (x) (typecheck x env)) elements))
(define type-list (map (lambda (x) (typecheck x env)) elements)) (define filtered (filter (lambda (x) (equal? (first type-list) x)) type-list))]
(if (equal? filtered type-list)
(listT )] (listT (first type-list))
(type-case Type (first type-list)
[(varT v t) (if (none? (unbox t))
(listT (second type-list))
(error 'typecheck "no type"))]
[else (error 'typecheck "no type")])))]
)) ))
;; ---------------------------------------- ;; ----------------------------------------