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

fix test result

Browse Source 
svn: r16398
This commit is contained in:
Sam Tobin-Hochstadt 2009-10-21 14:46:36 +00:00
parent a5849fb05a
commit a3082cba0b
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
collects/tests/typed-scheme/unit-tests/typecheck-tests.ss
View File

@ -439,7 +439,12 @@
(boolean? x)) (boolean? x))
(if (boolean? x) 1 x) (if (boolean? x) 1 x)
4)) 4))
Univ] #:proc (get-let-name
x 0
(ret Univ
(-FS
null
(list (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))])