suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Have letrec build unions in canonical form.

Browse Source 
original commit: 27d7ad1e87da6007a4a1123941114802a74615c3
This commit is contained in:
Vincent St-Amour 2011-07-01 15:36:03 -04:00
parent 27265fe60e
commit c891702954
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/typed-scheme/typecheck/tc-let-unit.rkt
View File

@ -166,7 +166,9 @@
(s:member x safe-bindings bound-identifier=?))
l)
types-from-user
(map (λ (x) (make-Union (list x -Undefined)))
(map (λ (x) (make-Union (if (type<? x -Undefined)
(list x -Undefined)
(list -Undefined x))))
types-from-user)))))
names))
;; types the user gave. check against that to error if we could get undefined