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

more test errors

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2010-05-10 16:22:41 -04:00
parent 08d0df5256
commit fe10457f4e
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt
View File

@ -1,4 +1,4 @@
#lang scheme/base #lang racket/base
(require "test-utils.ss" (require "test-utils.ss"
(for-syntax scheme/base) (for-syntax scheme/base)
@ -156,9 +156,9 @@
[tc-e/t #(2 3 #t) (make-Vector (t:Un -Pos (-val #t)))] [tc-e/t #(2 3 #t) (make-Vector (t:Un -Pos (-val #t)))]
[tc-e/t '(#t #f) (-lst* (-val #t) (-val #f))] [tc-e/t '(#t #f) (-lst* (-val #t) (-val #f))]
[tc-e/t (plambda: (a) ([l : (Listof a)]) (car l)) [tc-e/t (plambda: (a) ([l : (Listof a)]) (car l))
(make-Poly '(a) (t:-> (make-Listof (-v a)) (-v a)))] (make-Poly '(a) (t:-> (make-Listof (-v a)) (-v a)))]
[tc-e/t (plambda: (a) ([l : (Listof a)]) (car l)) [tc-e/t (plambda: (a) ([l : (Listof a)]) (car l))
(make-Poly '(a) (t:-> (make-Listof (-v a)) (-v a)))] (make-Poly '(a) (t:-> (make-Listof (-v a)) (-v a)))]
[tc-e/t (case-lambda: [([a : Number] [b : Number]) (+ a b)]) (t:-> N N N)] [tc-e/t (case-lambda: [([a : Number] [b : Number]) (+ a b)]) (t:-> N N N)]
[tc-e (let: ([x : Number 5]) x) #:proc (get-let-name x 0 (-path -Number #'x))] [tc-e (let: ([x : Number 5]) x) #:proc (get-let-name x 0 (-path -Number #'x))]
[tc-e (let-values ([(x) 4]) (+ x 1)) -Pos] [tc-e (let-values ([(x) 4]) (+ x 1)) -Pos]
@ -215,8 +215,8 @@
-Pos] -Pos]
[tc-e/t (lambda: ([x : Number] . [y : Number *]) (car y)) (->* (list N) N N)] [tc-e/t (lambda: ([x : Number] . [y : Number *]) (car y)) (->* (list N) N N)]
[tc-e ((lambda: ([x : Number] . [y : Number *]) (car y)) 3) N] [tc-e ((lambda: ([x : Number] . [y : Number *]) (car y)) 3) N]
[tc-e ((lambda: ([x : Number] . [y : Number *]) (car y)) 3 4 5) N] [tc-e/t ((lambda: ([x : Number] . [y : Number *]) (car y)) 3 4 5) N]
[tc-e ((lambda: ([x : Number] . [y : Number *]) (car y)) 3 4) N] [tc-e/t ((lambda: ([x : Number] . [y : Number *]) (car y)) 3 4) N]
[tc-e (apply (lambda: ([x : Number] . [y : Number *]) (car y)) 3 '(4)) N] [tc-e (apply (lambda: ([x : Number] . [y : Number *]) (car y)) 3 '(4)) N]
[tc-e (apply (lambda: ([x : Number] . [y : Number *]) (car y)) 3 '(4 6 7)) N] [tc-e (apply (lambda: ([x : Number] . [y : Number *]) (car y)) 3 '(4 6 7)) N]
[tc-e (apply (lambda: ([x : Number] . [y : Number *]) (car y)) 3 '()) N] [tc-e (apply (lambda: ([x : Number] . [y : Number *]) (car y)) 3 '()) N]
@ -793,7 +793,7 @@
(tc-e (or (string->number "7") 7) (tc-e (or (string->number "7") 7)
#:ret (ret -Number -true-filter)) #:ret (ret -Number -true-filter))
[tc-e (let ([x 1]) (if x x (add1 x))) [tc-e (let ([x 1]) (if x x (add1 x)))
#:ret (ret -Pos -true-filter)] #:ret (ret -Pos (-FS -top -bot))]
[tc-e (let: ([x : (U (Vectorof Number) String) (vector 1 2 3)]) [tc-e (let: ([x : (U (Vectorof Number) String) (vector 1 2 3)])
(if (vector? x) (vector-ref x 0) (string-length x))) (if (vector? x) (vector-ref x 0) (string-length x)))
-Number] -Number]