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

Add todos

Browse Source
This commit is contained in:
Isaac Shoebottom 2025-03-26 14:28:05 -03:00
parent 9a5a5d683f
commit f6ada75b3c
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Assignments/02.rkt
View File

@ -119,10 +119,10 @@
[(leqE l r) (num2 l r (boolT))] [(leqE l r) (num2 l r (boolT))]
[(varE s) (type-lookup s env)] [(varE s) (type-lookup s env)]
[(lamE name te body) (arrowT (interp-te te) (typecheck body (type-extend env name (interp-te te))))] [(lamE name te body) (arrowT (interp-te te) (typecheck body (type-extend env name (interp-te te))))]
[(appE fn arg) (type-case Type (typecheck fn env) [(appE fn arg) (type-case Type (typecheck fn env) ; todo use local to reduce duplicate calls
[(arrowT a b) (typecheck fn env)] [(arrowT a b) (typecheck fn env)]
[else (error 'app "Function application must be a function")])] [else (error 'app "Function application must be a function")])]
[(ifE c t f) (if (equal? (typecheck c env) (boolT)) [(ifE c t f) (if (equal? (typecheck c env) (boolT)) ; todo use type case/local to reduce duplicate calls`
(if (equal? (typecheck t env) (typecheck f env)) (if (equal? (typecheck t env) (typecheck f env))
(typecheck t env) (typecheck t env)
(error 'if "Both if conditions must be of the same type")) (error 'if "Both if conditions must be of the same type"))