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

Make Bottom not a special case for tc-any-results.

Browse Source 
original commit: fcedc4ab59e4d6f21d396cf3ed1979155b75a337
This commit is contained in:
Eric Dobson 2014-03-24 20:27:54 -07:00
parent 82050c3b40
commit 6a4eeea99f
2 changed files with 3 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

@ -101,9 +101,9 @@
;; 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]
[((tc-result1: (? (lambda (t) (type-equal? t (Un))))) _)
(fix-results expected)]
[((or (tc-any-results:) (tc-results: _)) (tc-any-results:)) tr1]
[((tc-results: ts fs os) (tc-results: ts2 (NoFilter:) (NoObject:)))
(unless (= (length ts) (length ts2))

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

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