diff options
| author | JJ | 2024-10-24 01:10:03 +0000 |
|---|---|---|
| committer | JJ | 2024-10-24 01:10:03 +0000 |
| commit | ad19de6be6b9a9d620d94e3f162dcee1bfda2cf7 (patch) | |
| tree | 3efdad9dd4efd9b5cfae70d81997d8eeb54688a0 /tests | |
| parent | 7e2cb02cb9e846b9502de7f677e69ebcc710cdce (diff) | |
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/stlc-dll.rkt | 2 | ||||
| -rw-r--r-- | tests/stlc-ext.rkt | 2 | ||||
| -rw-r--r-- | tests/stlc.rkt | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/tests/stlc-dll.rkt b/tests/stlc-dll.rkt index 87034ab..4063abe 100644 --- a/tests/stlc-dll.rkt +++ b/tests/stlc-dll.rkt @@ -1,6 +1,6 @@ #lang racket (require (except-in rackunit check)) -(require "../stlc-dll.rkt") +(require "../research/dll.rkt") (define-test-suite let-set-inc-case (check-exn diff --git a/tests/stlc-ext.rkt b/tests/stlc-ext.rkt index ee39145..9cae9a7 100644 --- a/tests/stlc-ext.rkt +++ b/tests/stlc-ext.rkt @@ -1,6 +1,6 @@ #lang racket (require (except-in rackunit check)) -(require "../stlc-ext.rkt") +(require "../simple/ext.rkt") (check-true (equiv-term '(λ a a) '(λ b b) #hash())) (check-true (equiv-term '(λ a (λ b a)) '(λ b (λ a b)) #hash())) diff --git a/tests/stlc.rkt b/tests/stlc.rkt index cfec36f..f387999 100644 --- a/tests/stlc.rkt +++ b/tests/stlc.rkt @@ -1,6 +1,6 @@ #lang racket (require (except-in rackunit check)) -(require "../stlc.rkt") +(require "../simple/stlc.rkt") (check-equal? (interpret '(λ (x : Foo) x)) '(λ x x #hash())) (check-equal? (interpret '((λ (a : Bar) a) (x y))) '(x y)) |