Re: [racket] Installing a reader macro in Scribble

2013-01-08 Thread Grant Rettke
On Tue, Jan 8, 2013 at 5:05 PM, Matthew Flatt wrote: > The `#' character is not an escape character in Scribble. It's treated > as literal text, just like the letter "a" or a comma. > Oh I see. > Does simply adding the escape character `@' in front of `#reader' do > what you want? Yes that i

Re: [racket] Installing a reader macro in Scribble

2013-01-08 Thread Matthew Flatt
At Tue, 8 Jan 2013 16:02:28 -0600, Grant Rettke wrote: > Hi, > > I have a first goal of loading a file into an @interaction block in > side of Scribble. > > The language to evaluate those values is another story, I just want to > get the contents of a file in there. Here is what I have done: > >

[racket] Installing a reader macro in Scribble

2013-01-08 Thread Grant Rettke
Hi, I have a first goal of loading a file into an @interaction block in side of Scribble. The language to evaluate those values is another story, I just want to get the contents of a file in there. Here is what I have done: ; the file to load ; cat 04-02.clp (watch all) (reset) (defrule do-anyth