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

add missing ->i well-formedness check

Browse Source
This commit is contained in:
Robby Findler 2015-11-07 15:06:32 -06:00
parent 0beee9cd6a
commit 657cda6e12
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
racket/collects/racket/contract/private/arr-i-parse.rkt
View File

@ -142,6 +142,7 @@ code does the parsing and validation of the syntax.
;; no dups in the rest var ;; no dups in the rest var
(when (istx-rst istx) (when (istx-rst istx)
(when (arg/res-vars (istx-rst istx)) (when (arg/res-vars (istx-rst istx))
(ensure-bound (arg/res-vars (istx-rst istx)))
(not-range-bound (arg/res-vars (istx-rst istx)) #t)) (not-range-bound (arg/res-vars (istx-rst istx)) #t))
(no-var-dups (arg/res-var (istx-rst istx)))) (no-var-dups (arg/res-var (istx-rst istx))))