Re: [racket-users] How to find source file loaded by/relevant for (require )?

2020-03-29 Thread Marc Kaufmann
Awesome, that looks like the right thing. Thanks, Marc On Fri, Mar 27, 2020 at 10:08 AM Alexis King wrote: > I recommend Ryan Culpepper’s whereis package: > https://docs.racket-lang.org/whereis/index.html It provides both a > programmatic interface and a raco command. > > Alexis > > On Mar 27,

Re: [racket-users] Embedding Racket CS

2020-03-29 Thread Matthew Flatt
At Sun, 29 Mar 2020 13:13:08 -0700 (PDT), zeRusski wrote: > First, CS snapshots in Utah and NW mirrors offer no libracketcs.a so I went > ahead and attempted to build CS from the github master. Sadly its `raco` > tool is unaware of the `ctool` subcommand, so I'm guessing snapshots are > built

Re: [racket-users] Embedding Racket CS

2020-03-29 Thread zeRusski
> > It wouldn't work anyway since `declare_modules` also failed to resolve > and I'm guessing I really need the `libracketcs.a` from the snapshot for > that. > Oh ... I see `declare_modules` is produced by `raco ctool`. Why static though? This means I have to #include "hello.c" like in the

Re: [racket-users] Embedding Racket CS

2020-03-29 Thread zeRusski
Failed so far, sigh. First, CS snapshots in Utah and NW mirrors offer no libracketcs.a so I went ahead and attempted to build CS from the github master. Sadly its `raco` tool is unaware of the `ctool` subcommand, so I'm guessing snapshots are built from your own private fork or something. I

[racket-users] Working with JSON using Typed Racket

2020-03-29 Thread epi
Hi everyone, Recently I've been experimenting with Typed Racket and trying to gradually type my code base. One of the functions that I need to write is to extract a list of strings from a JSON object, if it has following form: { "Type": "DTHidden", "Data": { "Type": "CDUsers",