Re: [racket-users] More DrRacket binding arrow woes

2018-02-15 Thread Matthias Felleisen
Here is a snippet of code in the language: #lang network-flow ;; sample graph problem: maximize from a to d node a -- 10 --> b node a -- 20 --> c node b -- 30 --> d node c -- 30 --> d Here is a link to the language http://www.ccs.neu.edu/home/matthias/4620-s18/network-syn-lang.rkt

Re: [racket-users] More DrRacket binding arrow woes

2018-02-14 Thread Sorawee Porncharoenwase
Thank you for your advice! If your code is online and you don't mind, could you point me to the project or any other tutorial so that I can see the sample code? Right now I have https://docs.racket-lang.org/guide/hash-reader.html but the grammar is rather simple. It would be nice if there is a

Re: [racket-users] More DrRacket binding arrow woes

2018-02-14 Thread Matthias Felleisen
Instead of parsing the raw strings, you might consider the following alternative: — use read tables to nail down identifier syntax and literal constant syntax — define all keywords and operators and whatever as plain syntax ids that raise a syntax error — all remaining things are your

Re: [racket-users] More DrRacket binding arrow woes

2018-02-14 Thread Sorawee Porncharoenwase
It works now! I think I simply need a `strip-context` and avoid `datum->syntax`. Thank you very much for your help! On Wednesday, February 14, 2018 at 5:15:06 AM UTC-5, Alexis King wrote: > > It is worth pointing out that Check Syntax does not see the result of > your reader, it sees the

Re: [racket-users] More DrRacket binding arrow woes

2016-05-07 Thread Robby Findler
There are bugs in DrRacket's handling of the automatic-zo compilation mechanism that I know about and have been trying to find time to fix. With the current buggy state, you should always be able to get to a non-buggy use if you do a "raco make x.rkt" in the shell (I think). Or, if you disable

Re: [racket-users] More DrRacket binding arrow woes

2016-05-07 Thread Alexis King
> So, the bindings are fine, and the syntax-original? property is fine. Is the > source location good, including the `syntax-source` field? > > I had a similar issue once, and it turned out that it was because the > `syntax-source` part of the source location was wrong. I had been using >

Re: [racket-users] More DrRacket binding arrow woes

2016-05-07 Thread Robby Findler
It's not great, but one of the things I do to try to diagnose issues like this is to put printfs into the check syntax implementation itself. They will show up in the stdout put of DrRacket (so start it from a Terminal window on the mac, say). To test Alex's hypothesis, I suggest putting one that

Re: [racket-users] More DrRacket binding arrow woes

2016-05-07 Thread Alex Knauth
> On May 7, 2016, at 5:18 AM, Alexis King wrote: > However, I am not seeing any of the Check Syntax binding arrows at all. > Neither the arrows from imports nor arrows between definitions show up. > Inspecting the syntax objects at read-time and after expansion in the >

[racket-users] More DrRacket binding arrow woes

2016-05-07 Thread Alexis King
This is not the first time I have asked about the binding arrows on this mailing list, but I seem to have run into a new problem that has me completely stumped. I have written a #lang that uses an entirely custom implementation of read-syntax (it does not wrap Racket’s read-syntax in any way), and