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

Simplify tc-expr testcase.

Browse Source
This commit is contained in:
Eric Dobson 2014-03-19 21:08:31 -07:00
parent 7c4012bbd4
commit aa6a04fd46
1 changed files with 1 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt
View File

@ -735,13 +735,7 @@
(boolean? x)) (boolean? x))
(if (boolean? x) 1 x) (if (boolean? x) 1 x)
4)) 4))
#:proc (get-let-name #:ret (ret Univ -true-filter)]
x 0
(ret Univ
(-FS
-top
(-and (make-NotTypeFilter -Boolean null #'x) (make-TypeFilter (-val #f) null #'x)))))]
;; T-AbsPred ;; T-AbsPred
[tc-e/t (let ([p? (lambda: ([x : Any]) (number? x))]) [tc-e/t (let ([p? (lambda: ([x : Any]) (number? x))])
(lambda: ([x : Any]) (if (p? x) (add1 x) (add1 12)))) (lambda: ([x : Any]) (if (p? x) (add1 x) (add1 12))))