You want wxme-port->text-port: http://docs.racket-lang.org/gui/WXME_Decoding.html?q=wxme#(def._((lib._wxme/main..rkt)._wxme-port-~3etext-port))
On Mon, Nov 1, 2010 at 10:25 AM, Adam Shaw <[email protected]> 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 > -- Jay McCarthy <[email protected]> Assistant Professor / Brigham Young University http://teammccarthy.org/jay "The glory of God is Intelligence" - D&C 93 _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
