The datalog language works in the DrRacket REPL, but not (as far as I can tell) interactively from the command line (or in emacs racket-mode). There is an old thread on this (REPL does not work · Issue #13 · racket/datalog · GitHub), but my error message is different from the one there.
I thought I would install a local copy and attempt to debug. (This thought is perhaps misguided as I suspect that in fact I will not be able to understand the error.) However, raco pkg install --clone objects that datalog is already installed in installation scope. I thought I would simply delete the current installed version, but it appears to be required by main-distribution and I didn't want to attempt to delete that!
Is there a known fix for my real problem (using interactive datalog at the command line)? If not, what's the right way to work on a local copy?
1 Like
Someone replied to a topic you are Watching.
| jamesgeddes
May 18 |
The datalog language works in the DrRacket REPL, but not (as far as I can tell) interactively from the command line (or in emacs racket-mode). There is an old thread on this (REPL does not work · Issue #13 · racket/datalog · GitHub), but my error message is different from the one there.
I thought I would install a local copy and attempt to debug. (This thought is perhaps misguided as I suspect that in fact I will not be able to understand the error.) However, raco pkg install --clone objects that datalog is already installed in installation scope. I thought I would simply delete the current installed version, but it appears to be required by main-distribution and I didn't want to attempt to delete that!
I think you want raco pkg update --clone <stuff> 
2 Likes
Fantastic! Not only did that solve my update problem, but the update somehow means that datalog is now working in Emacs, so you have solved my actual problem as well.
(I still can't figure out the command-line version, but this is great.)