[racket] extract text?
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 <ams at cs.uchicago.edu> 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 <jay at cs.byu.edu>
Assistant Professor / Brigham Young University
http://teammccarthy.org/jay
"The glory of God is Intelligence" - D&C 93