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

Add support for poly dotted types below tc-any-results.

Browse Source 
original commit: beb981e2af31b0ad6e9ca51e2a29f54a755ae8ad
This commit is contained in:
Eric Dobson 2014-04-02 22:35:50 -07:00
parent bb45c93b71
commit 0dee5c804f
2 changed files with 4 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/check-below.rkt
View File

@ -117,7 +117,7 @@
;; These two cases have to be first so that bottom (exceptions, etc.) can be allowed in cases
;; where multiple values are expected.
;; We can ignore the filters and objects in the actual value because they would never be about a value
[((or (tc-any-results:) (tc-results: _)) (tc-any-results:)) tr1]
[((or (tc-any-results:) (tc-results: _) (tc-results: _ _ _ _ _)) (tc-any-results:)) tr1]
[((tc-result1: (? (lambda (t) (type-equal? t (Un))))) _)
(fix-results expected)]

3
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/check-below-tests.rkt
View File

@ -162,6 +162,9 @@
(ret -Symbol -top-filter -empty-obj Univ 'B)
(ret (list -Symbol -Symbol) (list -top-filter -top-filter) (list -empty-obj -empty-obj) Univ 'B))
(test-below (ret -Symbol -true-filter -empty-obj Univ 'B) tc-any-results
#:result (ret -Symbol -true-filter -empty-obj Univ 'B))
;; Enable these once check-below is fixed
;; Currently does not fail