diff --git a/collects/datalog/tests/ast.rkt b/collects/datalog/tests/ast.rkt index 46b1361386..e586947c00 100644 --- a/collects/datalog/tests/ast.rkt +++ b/collects/datalog/tests/ast.rkt @@ -1,5 +1,5 @@ #lang racket -(require racketunit +(require rackunit "../ast.rkt") (provide ast-tests) diff --git a/collects/datalog/tests/eval.rkt b/collects/datalog/tests/eval.rkt index 706eddc0cc..6caa151cb1 100644 --- a/collects/datalog/tests/eval.rkt +++ b/collects/datalog/tests/eval.rkt @@ -1,5 +1,5 @@ #lang racket -(require racketunit +(require rackunit racket/runtime-path "../parse.rkt" "../eval.rkt") diff --git a/collects/datalog/tests/examples/tutorial.rkt b/collects/datalog/tests/examples/tutorial.rkt index 12f79c5c82..5981f22c80 100644 --- a/collects/datalog/tests/examples/tutorial.rkt +++ b/collects/datalog/tests/examples/tutorial.rkt @@ -1,4 +1,4 @@ -#lang palsdatalog +#lang datalog parent(john,douglas). parent(john,douglas)? diff --git a/collects/datalog/tests/main.rkt b/collects/datalog/tests/main.rkt index 1d782574c6..739863082c 100644 --- a/collects/datalog/tests/main.rkt +++ b/collects/datalog/tests/main.rkt @@ -1,6 +1,6 @@ #lang racket -(require racketunit - racketunit/text-ui +(require rackunit + rackunit/text-ui "ast.rkt" "private/lex.rkt" diff --git a/collects/datalog/tests/parse.rkt b/collects/datalog/tests/parse.rkt index dd05630b8c..ff54659cdd 100644 --- a/collects/datalog/tests/parse.rkt +++ b/collects/datalog/tests/parse.rkt @@ -1,5 +1,5 @@ #lang racket -(require racketunit +(require rackunit "../ast.rkt" "util.rkt" "../parse.rkt") diff --git a/collects/datalog/tests/pretty.rkt b/collects/datalog/tests/pretty.rkt index ff3a053f1f..8a3c388eec 100644 --- a/collects/datalog/tests/pretty.rkt +++ b/collects/datalog/tests/pretty.rkt @@ -1,5 +1,5 @@ #lang racket -(require racketunit +(require rackunit (planet dherman/pprint:4) "../parse.rkt" "../pretty.rkt") diff --git a/collects/datalog/tests/private/compiler.rkt b/collects/datalog/tests/private/compiler.rkt index 052e616568..5de4a22886 100644 --- a/collects/datalog/tests/private/compiler.rkt +++ b/collects/datalog/tests/private/compiler.rkt @@ -1,5 +1,5 @@ #lang racket -(require racketunit +(require rackunit (for-template "../../eval.rkt") "../../parse.rkt" "../../private/compiler.rkt") diff --git a/collects/datalog/tests/private/env.rkt b/collects/datalog/tests/private/env.rkt index 8a86e50faf..768ea05c4b 100644 --- a/collects/datalog/tests/private/env.rkt +++ b/collects/datalog/tests/private/env.rkt @@ -1,5 +1,5 @@ #lang racket -(require racketunit +(require rackunit "../../ast.rkt" "../../private/env.rkt") diff --git a/collects/datalog/tests/private/lex.rkt b/collects/datalog/tests/private/lex.rkt index 72776c8db9..d16f18de3d 100644 --- a/collects/datalog/tests/private/lex.rkt +++ b/collects/datalog/tests/private/lex.rkt @@ -1,5 +1,5 @@ #lang racket -(require racketunit +(require rackunit parser-tools/lex "../../private/lex.rkt") diff --git a/collects/datalog/tests/private/subst.rkt b/collects/datalog/tests/private/subst.rkt index d475348645..aee5a3ad79 100644 --- a/collects/datalog/tests/private/subst.rkt +++ b/collects/datalog/tests/private/subst.rkt @@ -1,5 +1,5 @@ #lang racket -(require racketunit +(require rackunit "../../private/subst.rkt" "../../ast.rkt" "../../private/env.rkt") diff --git a/collects/datalog/tests/private/unify.rkt b/collects/datalog/tests/private/unify.rkt index db37e61589..5121bbfbe1 100644 --- a/collects/datalog/tests/private/unify.rkt +++ b/collects/datalog/tests/private/unify.rkt @@ -1,5 +1,5 @@ #lang racket -(require racketunit +(require rackunit "../../ast.rkt" "../../private/env.rkt" "../../private/unify.rkt") diff --git a/collects/datalog/tests/private/variant.rkt b/collects/datalog/tests/private/variant.rkt index 1c28fbd597..ddcdaf5cb3 100644 --- a/collects/datalog/tests/private/variant.rkt +++ b/collects/datalog/tests/private/variant.rkt @@ -1,5 +1,5 @@ #lang racket -(require racketunit +(require rackunit "../../ast.rkt" "../../private/variant.rkt") (require/expose "../../private/variant.rkt" (variant-terms variant-term variant-var variant? term-hash mk-literal-hash)) diff --git a/collects/datalog/tests/runtime.rkt b/collects/datalog/tests/runtime.rkt index 0727dd5d78..bf1389989a 100644 --- a/collects/datalog/tests/runtime.rkt +++ b/collects/datalog/tests/runtime.rkt @@ -1,5 +1,5 @@ #lang racket -(require racketunit +(require rackunit "../parse.rkt" "util.rkt" "../runtime.rkt") diff --git a/collects/datalog/tests/sexp.rkt b/collects/datalog/tests/sexp.rkt index 64e34807f7..06df0c51f4 100644 --- a/collects/datalog/tests/sexp.rkt +++ b/collects/datalog/tests/sexp.rkt @@ -1,5 +1,5 @@ #lang racket -(require racketunit +(require rackunit "../ast.rkt" "util.rkt" "../sexp.rkt") diff --git a/collects/datalog/tests/tool/syntax-color.rkt b/collects/datalog/tests/tool/syntax-color.rkt index 3d251d65b0..16b05f98d0 100644 --- a/collects/datalog/tests/tool/syntax-color.rkt +++ b/collects/datalog/tests/tool/syntax-color.rkt @@ -1,5 +1,5 @@ #lang racket -(require racketunit +(require rackunit "../../tool/syntax-color.rkt") (provide syntax-color-tests) diff --git a/collects/datalog/tests/util.rkt b/collects/datalog/tests/util.rkt index 6787d94264..0702e1ad06 100644 --- a/collects/datalog/tests/util.rkt +++ b/collects/datalog/tests/util.rkt @@ -1,5 +1,5 @@ #lang racket -(require racketunit +(require rackunit "../ast.rkt") (provide test-literal test-clause)