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

Fix contract on tc-result.

Browse Source 
original commit: 0902fe2fa9376c5bbd7508a9985f9d652e73b5db
This commit is contained in:
Eric Dobson 2014-06-09 23:33:22 -07:00
parent 97371ccfa0
commit 222133ac5d
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/types/tc-result.rkt
View File

@ -152,7 +152,7 @@
(provide tc-result: tc-results: tc-any-results: tc-result1: Result1: Results:
tc-results)
(provide/cond-contract
[tc-result (Type/c Filter/c Object? -> tc-results?)]
[tc-result (Type/c FilterSet/c Object? . c:-> . tc-result?)]
[combine-results ((c:listof tc-results?) . c:-> . tc-results?)]
[tc-any-results ((c:or/c Filter/c NoFilter?) . c:-> . tc-any-results?)]
[tc-result-t (tc-result? . c:-> . Type/c)]