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

Fix contract.

Browse Source
This commit is contained in:
Vincent St-Amour 2014-09-11 10:42:42 -04:00
parent dcfe7ede67
commit 938dc7d41e
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-app-helper.rkt
View File

@ -320,7 +320,7 @@
;; Wrapper over possible-domains that works on types. ;; Wrapper over possible-domains that works on types.
(provide/cond-contract (provide/cond-contract
[cleanup-type ((Type/c) ((or/c #f Type/c)) . ->* . Type/c)]) [cleanup-type ((Type/c) ((or/c #f Type/c) any/c) . ->* . Type/c)])
(define (cleanup-type t [expected #f] [permissive? #t]) (define (cleanup-type t [expected #f] [permissive? #t])
(match t (match t
;; function type, prune if possible. ;; function type, prune if possible.