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

Small changes needed after changes to infer.

Browse Source 
original commit: 89cb3a4b09243dcc3bf292cfd682f226e1f2d326
This commit is contained in:
Sam Tobin-Hochstadt 2008-06-20 14:46:24 -04:00
parent f2b3eadd88
commit b133c45645
3 changed files with 12 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/tests/typed-scheme/succeed/batched-queue.scm
View File

@ -82,5 +82,5 @@
;; TESTS
(= 0 (size (empty)))
(= 0 (size ((inst empty Number))))

10
collects/tests/typed-scheme/succeed/unholy-terror.ss
View File

@ -1,6 +1,6 @@
#lang typed-scheme
#;
(apply (plambda: (a ...) [ys : (a ... a -> Number) *]
(lambda: [zs : a ... a]
(map (lambda: ([y : (a ... a -> Number)])
@ -10,7 +10,7 @@
(lambda: ([x : Number] [y : Number]) (- x y))
(lambda: ([x : Number] [y : Number]) (* x y))
(lambda: ([x : Number] [y : Number]) (/ x y))))
#;
((apply (plambda: (a ...) [ys : (a ... a -> Number) *]
(lambda: [zs : a ... a]
(map (lambda: ([y : (a ... a -> Number)])
@ -22,6 +22,12 @@
(lambda: ([x : Number] [y : Number]) (/ x y))))
3 4)
(plambda: (a ...) [ys : (a ... a -> Number) *]
((inst map Number (a ... a -> Number)) (ann (error 'fail) ((a ... a -> Number) -> Number)) ys))
(plambda: (a ...) [ys : (a ... a -> Number) *]
(map (ann (error 'fail) ((a ... a -> Number) -> Number)) ys))
(apply (plambda: (a ...) [ys : (a ... a -> Number) *]
(lambda: [zs : a ... a]
(map (lambda: ([y : (a ... a -> Number)])

6
collects/tests/typed-scheme/unit-tests/infer-tests.ss
View File

@ -32,16 +32,16 @@
(define-syntax-rule (i2-t t1 t2 (a b) ...)
(test-check (format "~a ~a" t1 t2)
equal?
(infer t1 t2 (fv t1))
(infer t1 t2 (fv t1) (fv t1))
(list (list a b) ...)))
(define-syntax-rule (i2-l t1 t2 fv (a b) ...)
(test-check (format "~a ~a" t1 t2)
equal?
(infer/list t1 t2 fv)
(infer/list t1 t2 fv fv)
(list (list a b) ...)))
(define (f t1 t2) (infer t1 t2 (fv t1)))
(define (f t1 t2) (infer t1 t2 (fv t1) (fv t1)))
(define-syntax-rule (i2-f t1 t2)
(test-false (format "~a ~a" t1 t2)