I think wxme-port->text-port
http://docs.racket-lang.org/gui/WXME_Decoding.html?q=wxme&q=snip&q=snip#(def._((lib._wxme/main..rkt)._wxme-port-~3etext-port)) is what you want On 11/01/2010 10:25 AM, Adam Shaw wrote: > Hi all -- > > I'm grading a lot of racket files this quarter. A question: is there a > widget to extract the text from a .rkt file? > > In other words, we'd like less of this > >> 0 0 14 3 3 #"num" >> 0 0 22 3 1 #")" >> 0 0 128 3 1 #" " >> 0 0 14 3 3 #"num" >> 0 0 22 3 1 #"]" >> 0 0 128 29 1 #"\n" >> 0 0 128 3 4 #" " >> 0 0 22 3 1 #"[" > > and more of this > >> (if (foo x) y z) > > at least for grepping and other such occasional tasks. > > Regards, > > Adam > > > > > > _________________________________________________ > For list-related administrative tasks: > http://lists.racket-lang.org/listinfo/users
_________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
