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

fix handling when subtype doesn't have rest arg

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2010-05-10 17:53:48 -04:00
parent a6e314d367
commit 2d1625336e
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/types/subtype.rkt
View File

@ -144,6 +144,9 @@
(subtypes*/varargs t-dom s-dom s-rest) (subtypes*/varargs t-dom s-dom s-rest)
(kw-subtypes* t-kws s-kws) (kw-subtypes* t-kws s-kws)
(subtype* s-rng t-rng))] (subtype* s-rng t-rng))]
[((arr: s-dom s-rng #f #f s-kws)
(arr: t-dom t-rng t-rest #f t-kws))
(fail! s t)]
[((arr: s-dom s-rng s-rest #f s-kws) [((arr: s-dom s-rng s-rest #f s-kws)
(arr: t-dom t-rng t-rest #f t-kws)) (arr: t-dom t-rng t-rest #f t-kws))
(subtype-seq A0 (subtype-seq A0
@ -352,7 +355,6 @@
;(trace subtype*) ;(trace subtype*)
;(trace supertype-of-one/arr) ;(trace supertype-of-one/arr)
;(trace arr-subtype*/no-fail) ;(trace arr-subtype*/no-fail)
;(trace subtype-of-one)
;(trace subtype*/no-fail) ;(trace subtype*/no-fail)
;(trace subtypes*) ;(trace subtypes*)
;(trace subtype) ;(trace subtype)