projects
/
scheme.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Substitute only the variables in the scc
[scheme.git]
/
tests.scm
diff --git
a/tests.scm
b/tests.scm
index 6b66bec1ae3b6de291a2636778fc2656a6c246a6..65b99d9c5a3574e331228c21933528d1a3490e76 100644
(file)
--- a/
tests.scm
+++ b/
tests.scm
@@
-8,7
+8,7
@@
expected actual))))
(define (test . xs) (apply test-f (cons equal? xs)))
expected actual))))
(define (test . xs) (apply test-f (cons equal? xs)))
-(define (test-types . xs) (apply test-f (cons types-
unify
? xs)))
+(define (test-types . xs) (apply test-f (cons types-
equal
? xs)))
(define (read-file file)
(call-with-input-file file
(define (read-file file)
(call-with-input-file file
@@
-43,12
+43,12
@@
(test-types (typecheck '(let ([bar (lambda (y) y)]
[foo (lambda (x) (foo (bar #t)))])
foo))
(test-types (typecheck '(let ([bar (lambda (y) y)]
[foo (lambda (x) (foo (bar #t)))])
foo))
- '(abs bool
t0
))
+ '(abs bool
a
))
(test-types (typecheck '(let ([bar (lambda (y) y)]
[foo (lambda (x) (foo (bar #t)))])
bar))
(test-types (typecheck '(let ([bar (lambda (y) y)]
[foo (lambda (x) (foo (bar #t)))])
bar))
- '(abs
t0 t0
))
+ '(abs
a a
))
(test-prog '(+ 1 2) 3)
(test-prog '((lambda (x) ((lambda (y) (+ x y)) 42)) 100) 142)
(test-prog '(+ 1 2) 3)
(test-prog '((lambda (x) ((lambda (y) (+ x y)) 42)) 100) 142)