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

Remove duplicate top-filter empty case.

Browse Source
This commit is contained in:
Eric Dobson 2014-03-14 18:38:49 -07:00
parent ca082c2176
commit 94a5f215b1
2 changed files with 4 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/check-below.rkt
View File

@ -113,11 +113,6 @@
(if (= (length ts) (length ts2)) (if (= (length ts) (length ts2))
(ret ts2 fs os) (ret ts2 fs os)
(ret ts2))] (ret ts2))]
[((tc-result1: t1 f1 o1) (tc-result1: t2 (FilterSet: (Top:) (Top:)) (Empty:)))
(cond
[(not (subtype t1 t2))
(expected-but-got t2 t1)])
expected]
[((tc-result1: t1 f1 o1) (tc-result1: t2 f2 o2)) [((tc-result1: t1 f1 o1) (tc-result1: t2 f2 o2))
(cond (cond
[(not (subtype t1 t2)) [(not (subtype t1 t2))

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

@ -78,6 +78,10 @@
(ret (list Univ) (list -no-filter) (list -no-obj)) (ret (list Univ) (list -no-filter) (list -no-obj))
#:result (ret (list Univ) (list -top-filter) (list -empty-obj))) #:result (ret (list Univ) (list -top-filter) (list -empty-obj)))
(test-below
(ret (list -Symbol) (list -true-filter) (list -empty-obj))
(ret (list Univ) (list -top-filter) (list -empty-obj)))
(test-below #:fail (test-below #:fail
(ret (list -Symbol) (list -top-filter) (list -empty-obj)) (ret (list -Symbol) (list -top-filter) (list -empty-obj))
(ret (list Univ) (list -true-filter) (list -no-obj)) (ret (list Univ) (list -true-filter) (list -no-obj))