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

typecheck-tests compiles

Browse Source 
original commit: a979bbdbdfbda13d499533d59f6c304575cfb5a1
This commit is contained in:
Sam Tobin-Hochstadt 2010-04-21 15:07:53 -04:00
parent 74aa20fcc0
commit f4bd6d4285
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -12,7 +12,6 @@
(rename-in (types utils union convenience abbrev)
[Un t:Un]
[true-lfilter -true-lfilter]
pecheck-tests.ss
[true-filter -true-filter]
[-> t:->])
(utils tc-utils utils)
@ -485,8 +484,8 @@ pecheck-tests.ss
[tc-e/t (let* ([z 1]
[p? (lambda: ([x : Any]) (number? z))])
(lambda: ([x : Any]) (if (p? x) x 12)))
(t:-> Univ Univ : (-LFS (list (-not-filter (-val #f))) (list (-filter (-val #f)))) : (make-LPath null 0))]
; (make-pred-ty Univ Univ (-val #f) 0 null)]
;(t:-> Univ Univ : (-FS (list (-not-filter (-val #f))) (list (-filter (-val #f)))) : (make-Path null 0))]
(make-pred-ty Univ Univ (-val #f) 0 null)]
[tc-e/t (let* ([z (ann 1 : Any)]
[p? (lambda: ([x : Any]) (not (number? z)))])
(lambda: ([x : Any]) (if (p? x) x 12)))