I've pushed the changes; syntax/modcode now exports get-module-path, which
returns the path of the most up-to-date file for a module, along with a
symbol indicating whether that is a source file, bytecode file, or native
library. It also exports get-metadata-path, which constructs derived path
nam
It looks like get-module-code from syntax/modcode does what I want
internally. I've submitted a pull request on github in which I've split
out the two extra functions I need using the functionality that exists. I
"modernized" the Racket style in that file before making the changes --
turning let
I'm trying to make a "raco make"-like command for ACL2 certification of
Dracula programs. Given a Racket program written using the Dracula
language, the command extracts a proof obligation, saves it as a .lisp
file, and runs ACL2 on it. There are a couple pieces of the Racket build
system that I
3 matches
Mail list logo
