[racket-users] DrRacket crashing, preserved syntax properties, and (exn-message #t) ?

2016-04-23 Thread Alex Knauth
Hello, I'm trying out the new feature for marking syntax properties to be preserved when compiled. It runs perfectly well on the command line, but it crashes DrRacket. If I turn off background expansion, it doesn't crash immediately, but it does crash when I run it or click check-syntax. So th

Re: [racket-users] scribble output redirection

2016-04-23 Thread 'John Clements' via Racket Users
> On Apr 22, 2016, at 5:36 PM, Hendrik Boom wrote: > > It seems scribble likes to put its output where the document source is, > with a different file extension. > > I like to separate my source code from generated files. > > (1) How can I tell scribble to place the generated html into a > dif

Re: [racket-users] One case of rest arguments on Typed Racket

2016-04-23 Thread Alex Knauth
> On Apr 23, 2016, at 11:25 AM, liweijian wrote: > > I was reading the document of Typed > Racket(https://docs.racket-lang.org/ts-guide/types.html#%28part._.Non-.Uniform_.Variable-.Arity_.Functions%29). > > It saids that "Typed Racket can handle some uses of rest arguments". > > I was wonde

[racket-users] One case of rest arguments on Typed Racket

2016-04-23 Thread liweijian
I was reading the document of Typed Racket(https://docs.racket-lang.org/ts-guide/types.html#%28part._.Non-.Uniform_.Variable-.Arity_.Functions%29). It saids that "Typed Racket can handle some uses of rest arguments". I was wondering if maybe Typed Racket could handle the follow case: ``` (def