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

Remove some debugging code in subtype checker

Browse Source
This commit is contained in:
Asumu Takikawa 2014-02-25 01:21:54 -05:00
parent 7907320733
commit 2d46d430b7
1 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/subtype.rkt
View File

@ -462,13 +462,11 @@
[else [else
(loop l1 (cdr l2))]))] (loop l1 (cdr l2))]))]
[((Union: es) t) [((Union: es) t)
;(set! lengths (cons (length es) lengths))
(and (and
(for/and ([elem (in-list es)]) (for/and ([elem (in-list es)])
(subtype* A0 elem t)) (subtype* A0 elem t))
A0)] A0)]
[(s (Union: es)) [(s (Union: es))
;(set! lengths (cons (length es) lengths))
(and (for/or ([elem (in-list es)]) (and (for/or ([elem (in-list es)])
(subtype* A0 s elem)) (subtype* A0 s elem))
A0)] A0)]
@ -558,7 +556,6 @@
[((Continuation-Mark-Keyof: _) (Continuation-Mark-KeyTop:)) A0] [((Continuation-Mark-Keyof: _) (Continuation-Mark-KeyTop:)) A0]
;; subtyping on structs follows the declared hierarchy ;; subtyping on structs follows the declared hierarchy
[((Struct: nm (? Type/c? parent) _ _ _ _) other) [((Struct: nm (? Type/c? parent) _ _ _ _) other)
;(dprintf "subtype - hierarchy : ~a ~a ~a\n" nm parent other)
(subtype* A0 parent other)] (subtype* A0 parent other)]
;; subtyping on values is pointwise ;; subtyping on values is pointwise
[((Values: vals1) (Values: vals2)) (subtypes* A0 vals1 vals2)] [((Values: vals1) (Values: vals2)) (subtypes* A0 vals1 vals2)]