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

Simplify type expression

Browse Source 
original commit: 80d21e106c8aeed582de2bedfd4fbd586a3a16c4
This commit is contained in:
Asumu Takikawa 2013-08-26 14:19:24 -04:00
parent 6d6bf8f553
commit 546a52843d
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/check-class-unit.rkt
View File

@ -639,11 +639,11 @@
(dict-ref internal-external-mapping f)))
(define maybe-type (dict-ref type-map external #f))
(values
(->* (list (make-Univ)) (or (and maybe-type (car maybe-type))
(make-Univ)))
(->* (list (make-Univ) (or (and maybe-type (car maybe-type))
-Bottom))
-Void))))
(-> (make-Univ) (or (and maybe-type (car maybe-type))
(make-Univ)))
(-> (make-Univ) (or (and maybe-type (car maybe-type))
-Bottom)
-Void))))
(define-values (field-get-types field-set-types)
(make-field-types (hash-ref parse-info 'field-internals) fields))