diff options
| author | JJ | 2024-10-24 00:26:11 +0000 |
|---|---|---|
| committer | JJ | 2024-10-24 00:51:25 +0000 |
| commit | 7e2cb02cb9e846b9502de7f677e69ebcc710cdce (patch) | |
| tree | 28f0437766b404c246422d8d188db6021a16474b /tests/stlc.rkt | |
| parent | 9b1389448b5e29e2baa8a48e5e9c4b24bae207c9 (diff) | |
refactor all implementations to use contracts
Diffstat (limited to 'tests/stlc.rkt')
| -rw-r--r-- | tests/stlc.rkt | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/tests/stlc.rkt b/tests/stlc.rkt index 154e77d..cfec36f 100644 --- a/tests/stlc.rkt +++ b/tests/stlc.rkt @@ -2,7 +2,7 @@ (require (except-in rackunit check)) (require "../stlc.rkt") -(check-equal? (interpret '(λ x x)) '(λ x x #hash())) -(check-equal? (interpret '((λ a a) (x y))) '(x y)) -(check-equal? (interpret '((λ a (x y)) (λ z z))) '(x y)) -(check-equal? (interpret '((λ a (a y)) x)) '(x y)) +(check-equal? (interpret '(λ (x : Foo) x)) '(λ x x #hash())) +(check-equal? (interpret '((λ (a : Bar) a) (x y))) '(x y)) +(check-equal? (interpret '((λ (a : Bat) (x y)) (λ (z : Bingus) z))) '(x y)) +(check-equal? (interpret '((λ (a : Baz) (a y)) x)) '(x y)) |