Re: [racket-users] Retrieving some data from a module without evaluating it

At Sat, 16 Dec 2017 18:55:15 +, Laurent wrote: > From the second file "loader.rkt" (which interacts with the user), I would > like to retrieve the property-s of each form declared with 'my-define' in > "my-file.rkt", *without* running the file (not even sandboxed, that is, it > must be fast). [

[racket-users] Retrieving some data from a module without evaluating it

Consider the following setup: The file "my-file.rkt" is a #lang racket module which contains some definitions of some procedures. Running this file may have some side effects. In particular it contains some definitions like: (my-define my-proc ([property1 "some value"] ; some properties of my