suzanne.soy/datalog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix some tests

Browse Source 
original commit: 1708fb43b476bf7a13f1c2cef3a32f555769cf55
This commit is contained in:
Matthew Flatt 2013-07-21 19:55:10 -06:00
parent 231d318678
commit 4c90222124
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/datalog/tests/racket.rkt
View File

@ -74,7 +74,7 @@
(hasheq 'A 'joseph3 'B 'lucy)
(hasheq 'A 'joseph3 'B 'joseph1))))
(local [(local-require tests/datalog/examples/ancestor)]
(local [(local-require datalog/tests/examples/ancestor)]
(datalog theory
(? (ancestor A B))))
=>
@ -85,7 +85,7 @@
(hasheq 'A 'ebbon 'B 'john)
(hasheq 'A 'ebbon 'B 'douglas))
(local [(local-require tests/datalog/paren-examples/ancestor)]
(local [(local-require datalog/tests/paren-examples/ancestor)]
(datalog theory
(? (ancestor A B))))
=>