+ (test-f equal? str output)))
+
+(define-syntax test-exception
+ (syntax-rules ()
+ ((_ f)
+ (begin
+ (display (quote f))
+ (newline)
+ (call/cc (lambda (k)
+ (with-exception-handler
+ (lambda (x)
+ (when (eqv? 'no-exception x)
+ (error #f "test failed: no exception thrown"))
+ (k))
+ (lambda ()
+ (begin
+ f
+ (raise 'no-exception))))))))))
+
+(test (data-tors '(A . ((foo Int Bool)
+ (bar Bool))))
+ '((foo (A foo constructor)
+ abs Int (abs Bool A))
+ (foo~0 (A foo 0) abs A Int)
+ (foo~1 (A foo 1) abs A Bool)
+ (bar (A bar constructor) abs Bool A)
+ (bar~0 (A bar 0) abs A Bool)))
+
+(test (data-tors-type-env
+ '(A . ((foo Int Bool)
+ (bar Bool))))
+ '((foo . (abs Int (abs Bool A)))
+ (foo~0 . (abs A Int))
+ (foo~1 . (abs A Bool))
+ (bar . (abs Bool A))
+ (bar~0 . (abs A Bool))))
+
+(test (expand-pattern-matches
+ '((data A (foo Int Int))
+ (let ([(foo x y) (foo 123 234)] [z (f 123)]) x)))
+ '((data A (foo Int Int))
+ (let ([x (foo~0 (foo 123 234))]
+ [y (foo~1 (foo 123 234))]
+ [z (f 123)])
+ x)))
+
+(test-exception
+ (expand-pattern-matches '((data A (foo Int Int))
+ (let ([(foo x) (foo 123 234)])
+ x))))
+
+(test-types (typecheck '((lambda (x) (+ ((lambda (y) (x y 3)) 5) 2))))
+ '(abs (abs Int (abs Int Int)) Int))
+
+ ; recursive types
+
+(test-types (substitute '((t1 . (abs t1 t10))) 't1) '(abs t1 t10))
+
+(test-types (typecheck '((let ([bar (lambda (y) y)]
+ [foo (lambda (x) (foo (bar #t)))])
+ foo)))
+ '(abs Bool a))
+
+(test-types (typecheck '((let ([bar (lambda (y) y)]
+ [foo (lambda (x) (foo (bar #t)))])
+ bar)))
+ '(abs a a))
+
+(test-types (typecheck '((let ([foo 3]
+ [bar (+ foo baz)]
+ [baz (- bar 1)])
+ bar)))
+ 'Int)
+
+(test-types (typecheck '((let ([foo 3]
+ [bar (baz foo)]
+ [baz (lambda (x) x)])
+ baz)))
+ '(abs a a))
+
+(test-types (typecheck '((let ([foo 3]
+ [bar (baz foo)]
+ [baz (lambda (x) x)])
+ bar)))
+ 'Int)