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

fix

Browse Source
This commit is contained in:
Isaac Shoebottom
2025-04-08 16:56:58 -03:00
parent 36b11904da
commit 89a081770e
2 changed files with 1 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

BIN
Assignments/#03.rkt#1#
View File

Binary file not shown.

4
Assignments/03.rkt
View File

@@ -395,9 +395,7 @@
(define filtered (filter (lambda (x) (equal? (first type-list) x)) type-list)) (define filtered (filter (lambda (x) (equal? (first type-list) x)) type-list))
(define (check-all lst) (define (check-all lst)
(type-case Type (first type-list) (type-case Type (first type-list)
[(varT v t) (if (none? (unbox t)) [(varT v t) (second type-list)]
(second type-list)
(error 'typecheck "no type"))]
[else (error 'typecheck "no type")]))] [else (error 'typecheck "no type")]))]
(if (equal? filtered type-list) (if (equal? filtered type-list)
(listT (first type-list)) (listT (first type-list))