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

Remove unnecessary #:proc forms in TR unit tests.

Browse Source
This commit is contained in:
Eric Dobson 2013-08-29 04:30:10 -07:00
parent 864cc28341
commit b7e4af92ff
1 changed files with 12 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -275,7 +275,7 @@
[tc-e (let: ([x : Number 5]) x) N] [tc-e (let: ([x : Number 5]) x) N]
[tc-e (let-values ([(x) 4]) (+ x 1)) -PosIndex] [tc-e (let-values ([(x) 4]) (+ x 1)) -PosIndex]
[tc-e (let-values ([(#{x : Number} #{y : Boolean}) (values 3 #t)]) (and (= x 1) (not y))) [tc-e (let-values ([(#{x : Number} #{y : Boolean}) (values 3 #t)]) (and (= x 1) (not y)))
#:proc (syntax-parser [(_ ([(_ y) . _]) . _) (ret -Boolean (-FS -top -top))])] -Boolean]
[tc-e/t (values 3) -PosByte] [tc-e/t (values 3) -PosByte]
[tc-e (values) #:ret (ret null)] [tc-e (values) #:ret (ret null)]
[tc-e (values 3 #f) #:ret (ret (list -PosByte (-val #f)) (list (-FS -top -bot) (-FS -bot -top)))] [tc-e (values 3 #f) #:ret (ret (list -PosByte (-val #f)) (list (-FS -top -bot) (-FS -bot -top)))]
@ -296,7 +296,7 @@
N] N]
[tc-e (let: ([v : (Un Number Boolean) #f]) [tc-e (let: ([v : (Un Number Boolean) #f])
(if (boolean? v) 5 (+ v 1))) (if (boolean? v) 5 (+ v 1)))
#:proc (get-let-name v 0 (ret N (-FS -top -top)))] N]
[tc-e (let: ([f : (Number Number -> Number) +]) (f 3 4)) N] [tc-e (let: ([f : (Number Number -> Number) +]) (f 3 4)) N]
[tc-e (let: ([+ : (Boolean -> Number) (lambda: ([x : Boolean]) 3)]) (+ #f)) N] [tc-e (let: ([+ : (Boolean -> Number) (lambda: ([x : Boolean]) 3)]) (+ #f)) N]
[tc-e (when #f #t) -Void] [tc-e (when #f #t) -Void]
@ -452,10 +452,10 @@
;; eq? as predicate ;; eq? as predicate
[tc-e (let: ([x : (Un 'foo Number) 'foo]) [tc-e (let: ([x : (Un 'foo Number) 'foo])
(if (eq? x 'foo) 3 x)) (if (eq? x 'foo) 3 x))
#:proc (get-let-name x 0 (ret N (-FS -top -top)))] N]
[tc-e (let: ([x : (Un 'foo Number) 'foo]) [tc-e (let: ([x : (Un 'foo Number) 'foo])
(if (eq? 'foo x) 3 x)) (if (eq? 'foo x) 3 x))
#:proc (get-let-name x 0 (ret N (-FS -top -top)))] N]
[tc-err (let: ([x : (U String 'foo) 'foo]) [tc-err (let: ([x : (U String 'foo) 'foo])
(if (string=? x 'foo) (if (string=? x 'foo)
@ -471,31 +471,27 @@
[tc-e (let* ([sym 'squarf] [tc-e (let* ([sym 'squarf]
[x (if (= 1 2) 3 sym)]) [x (if (= 1 2) 3 sym)])
(if (eq? x sym) 3 x)) (if (eq? x sym) 3 x))
#:proc (syntax-parser [(_ _ (_ ([(x) _]) _)) -PosByte]
(ret -PosByte (-FS -top -top))])]
[tc-e (let* ([sym 'squarf] [tc-e (let* ([sym 'squarf]
[x (if (= 1 2) 3 sym)]) [x (if (= 1 2) 3 sym)])
(if (eq? sym x) 3 x)) (if (eq? sym x) 3 x))
#:proc (syntax-parser [(_ _ (_ ([(x) _]) _)) -PosByte]
(ret -PosByte (-FS -top -top))])]
;; equal? as predicate for symbols ;; equal? as predicate for symbols
[tc-e (let: ([x : (Un 'foo Number) 'foo]) [tc-e (let: ([x : (Un 'foo Number) 'foo])
(if (equal? x 'foo) 3 x)) (if (equal? x 'foo) 3 x))
#:proc (get-let-name x 0 (ret N (-FS -top -top)))] N]
[tc-e (let: ([x : (Un 'foo Number) 'foo]) [tc-e (let: ([x : (Un 'foo Number) 'foo])
(if (equal? 'foo x) 3 x)) (if (equal? 'foo x) 3 x))
#:proc (get-let-name x 0 (ret N (-FS -top -top)))] N]
[tc-e (let* ([sym 'squarf] [tc-e (let* ([sym 'squarf]
[x (if (= 1 2) 3 sym)]) [x (if (= 1 2) 3 sym)])
(if (equal? x sym) 3 x)) (if (equal? x sym) 3 x))
#:proc (syntax-parser [(_ _ (_ ([(x) _]) _)) -PosByte]
(ret -PosByte (-FS -top -top))])]
[tc-e (let* ([sym 'squarf] [tc-e (let* ([sym 'squarf]
[x (if (= 1 2) 3 sym)]) [x (if (= 1 2) 3 sym)])
(if (equal? sym x) 3 x)) (if (equal? sym x) 3 x))
#:proc (syntax-parser [(_ _ (_ ([(x) _]) _)) -PosByte]
(ret -PosByte (-FS -top -top))])]
[tc-e (let: ([x : (Listof Symbol)'(a b c)]) [tc-e (let: ([x : (Listof Symbol)'(a b c)])
(cond [(memq 'a x) => car] (cond [(memq 'a x) => car]
@ -532,9 +528,9 @@
[tc-e (let: ([x : Any 1]) (and (number? x) (boolean? x))) [tc-e (let: ([x : Any 1]) (and (number? x) (boolean? x)))
#:ret (ret B (-FS -bot -top))] #:ret (ret B (-FS -bot -top))]
[tc-e (let: ([x : Any 1]) (and (number? x) x)) [tc-e (let: ([x : Any 1]) (and (number? x) x))
#:proc (get-let-name x 0 (ret (t:Un N (-val #f)) (-FS -top -top)))] (t:Un N (-val #f))]
[tc-e (let: ([x : Any 1]) (and x (boolean? x))) [tc-e (let: ([x : Any 1]) (and x (boolean? x)))
#:proc (get-let-name x 0 (ret -Boolean (-FS -top -top)))] -Boolean]
[tc-e/t (let: ([x : Any 3]) [tc-e/t (let: ([x : Any 3])
(if (and (list? x) (not (null? x))) (if (and (list? x) (not (null? x)))