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

Fix for new ->i syntax.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2010-09-10 18:38:02 -04:00
parent 979561354d
commit d1835175d7
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-scheme/rep/filter-rep.rkt
View File

@ -49,7 +49,7 @@
[#:contract (->i ([t any/c] [#:contract (->i ([t any/c]
[e any/c]) [e any/c])
(#:syntax [stx #f]) (#:syntax [stx #f])
#:pre-cond (t e) #:pre (t e)
(and (cond [(Bot? t) #t] (and (cond [(Bot? t) #t]
[(Bot? e) (Top? t)] [(Bot? e) (Top? t)]
[else (Filter/c-predicate? t)]) [else (Filter/c-predicate? t)])