From 498c3019b402812c40fe19a0b6dabf47b3e4a077 Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Thu, 24 Jun 2010 13:56:02 -0600 Subject: [PATCH] Removing some of planet --- collects/datalog/tests/examples/ancestor.rkt | 2 +- collects/datalog/tests/examples/bidipath.rkt | 2 +- collects/datalog/tests/examples/laps.rkt | 2 +- collects/datalog/tests/examples/long.rkt | 2 +- collects/datalog/tests/examples/path.rkt | 2 +- collects/datalog/tests/examples/pq.rkt | 2 +- collects/datalog/tests/examples/revpath.rkt | 2 +- collects/datalog/tests/examples/says.rkt | 2 +- collects/datalog/tests/examples/true.rkt | 2 +- collects/datalog/tool/tool.rkt | 6 +++--- 10 files changed, 12 insertions(+), 12 deletions(-) diff --git a/collects/datalog/tests/examples/ancestor.rkt b/collects/datalog/tests/examples/ancestor.rkt index 63535885fa..1d65f0c919 100644 --- a/collects/datalog/tests/examples/ancestor.rkt +++ b/collects/datalog/tests/examples/ancestor.rkt @@ -1,4 +1,4 @@ -#lang planet jaymccarthy/datalog +#lang eudatalog % Equality test ancestor(A, B) :- parent(A, B). diff --git a/collects/datalog/tests/examples/bidipath.rkt b/collects/datalog/tests/examples/bidipath.rkt index 84fda547a9..cb1393bdc2 100644 --- a/collects/datalog/tests/examples/bidipath.rkt +++ b/collects/datalog/tests/examples/bidipath.rkt @@ -1,4 +1,4 @@ -#lang planet jaymccarthy/datalog +#lang datalog % path test from Chen & Warren edge(a, b). edge(b, c). edge(c, d). edge(d, a). path(X, Y) :- edge(X, Y). diff --git a/collects/datalog/tests/examples/laps.rkt b/collects/datalog/tests/examples/laps.rkt index aef574ecac..56bac6624a 100644 --- a/collects/datalog/tests/examples/laps.rkt +++ b/collects/datalog/tests/examples/laps.rkt @@ -1,4 +1,4 @@ -#lang planet jaymccarthy/datalog +#lang datalog % Laps Test contains(ca, store, rams_couch, rams). contains(rams, fetch, rams_couch, will). diff --git a/collects/datalog/tests/examples/long.rkt b/collects/datalog/tests/examples/long.rkt index 4934818dce..a8b9912662 100644 --- a/collects/datalog/tests/examples/long.rkt +++ b/collects/datalog/tests/examples/long.rkt @@ -1,4 +1,4 @@ -#lang planet jaymccarthy/datalog +#lang datalog abcdefghi(z123456789, z1234567890123456789, z123456789012345678901234567890123456789, diff --git a/collects/datalog/tests/examples/path.rkt b/collects/datalog/tests/examples/path.rkt index eac06a6b9b..694aaab53f 100644 --- a/collects/datalog/tests/examples/path.rkt +++ b/collects/datalog/tests/examples/path.rkt @@ -1,4 +1,4 @@ -#lang planet jaymccarthy/datalog +#lang datalog % path test from Chen & Warren edge(a, b). edge(b, c). edge(c, d). edge(d, a). path(X, Y) :- edge(X, Y). diff --git a/collects/datalog/tests/examples/pq.rkt b/collects/datalog/tests/examples/pq.rkt index 9539c441f5..c5efcec2a0 100644 --- a/collects/datalog/tests/examples/pq.rkt +++ b/collects/datalog/tests/examples/pq.rkt @@ -1,4 +1,4 @@ -#lang planet jaymccarthy/datalog +#lang datalog % p q test from Chen & Warren q(X) :- p(X). q(a). diff --git a/collects/datalog/tests/examples/revpath.rkt b/collects/datalog/tests/examples/revpath.rkt index 15c1f5f444..15d8fe959a 100644 --- a/collects/datalog/tests/examples/revpath.rkt +++ b/collects/datalog/tests/examples/revpath.rkt @@ -1,4 +1,4 @@ -#lang planet jaymccarthy/datalog +#lang datalog % path test from Chen & Warren edge(a, b). edge(b, c). edge(c, d). edge(d, a). path(X, Y) :- edge(X, Y). diff --git a/collects/datalog/tests/examples/says.rkt b/collects/datalog/tests/examples/says.rkt index 9d7906db25..5ee12bb17a 100644 --- a/collects/datalog/tests/examples/says.rkt +++ b/collects/datalog/tests/examples/says.rkt @@ -1,4 +1,4 @@ -#lang planet jaymccarthy/datalog +#lang datalog tpme(tpme1). ms(m1,'TPME',tpme1,ek,tp). says(TPME,M) :- tpme(TPME),ms(M,'TPME',TPME,A,B). diff --git a/collects/datalog/tests/examples/true.rkt b/collects/datalog/tests/examples/true.rkt index ed53d62441..eed11d3683 100644 --- a/collects/datalog/tests/examples/true.rkt +++ b/collects/datalog/tests/examples/true.rkt @@ -1,3 +1,3 @@ -#lang planet jaymccarthy/datalog +#lang datalog true. true? diff --git a/collects/datalog/tool/tool.rkt b/collects/datalog/tool/tool.rkt index 5e066616ab..427889ce91 100644 --- a/collects/datalog/tool/tool.rkt +++ b/collects/datalog/tool/tool.rkt @@ -91,9 +91,9 @@ (define/public (get-language-numbers) (list 1000 42)) (define/public (get-teachpack-names) null) (define/public (on-execute settings run-in-user-thread) - (let ([module-forms `(planet ,(this-package-version-symbol drracket/module-forms))] - [runtime `(planet ,(this-package-version-symbol eval))] - [lang `(planet ,(this-package-version-symbol lang/lang))]) + (let ([module-forms `datalog/tool/module-forms] + [runtime `datalog/eval] + [lang `datalog/lang/lang]) (dynamic-require module-forms #f) (dynamic-require runtime #f) (dynamic-require lang #f)