Re: [racket] Format problem of dumping reduction relations to file using render-reduction-relation

Solved. (using the add the #:style 'compact-vertical prints out perfect format.) Sorry for the junk， Thanks On Mon, Jul 15, 2013 at 6:22 PM, Monica Tomson wrote: > Hi, > > I want to dump the reduction relations to a ps or pdf file > using render-reduction-relation, but it is

[racket] Format problem of dumping reduction relations to file using render-reduction-relation

Hi, I want to dump the reduction relations to a ps or pdf file using render-reduction-relation, but it is not as pretty as what's dumped in REPL, *especially*, texts are out of pdf margins (tags are unseenable, etc.) Is there anyway to print out relations as what is in the REPL? or ways to adjus

Re: [racket] Where to put the ellipsis?

ul! Good learning experience so far! Appreciated! Doing wait/notifyall now, in addition to the join/spawn. :) Hopefully I can test out some simple cases when it is done.. Thanks again, --Monica > On Jul 15, 2013, at 2:57 PM, Monica Tomson > wrote: > > > Ahhh!! Your sugg

Re: [racket] Where to put the ellipsis?

egisters C through > K and you can keep n and T opaque. > > Thread switches swap in/out the relevant C E Ks. > > No ellipses needed to single out the current thread. > > > > On Jul 15, 2013, at 12:40 PM, Monica Tomson > wrote: > > > > > > > > > On Mon

Re: [racket] Where to put the ellipsis?

ome exercise of using PLT-Redex... Thanks, --Monica > > On Jul 15, 2013, at 4:28 AM, Monica Tomson wrote: > > > Hi, > > > > I have the following reduction rule, it keeps on throwing the compiling > error:missing ellipsis with pattern variable in templat

[racket] Where to put the ellipsis?

Hi, I have the following reduction rule, it keeps on throwing the compiling error:missing ellipsis with pattern variable in template in: V I am confused where to put the ellipsis? (--> ;((V ε) S (fn ((λ X M) ε_f) κ)) ;((M (update ε_f X σ_n)) S κ) ((tid (V ε (fn ((λ X M) ε_f) κ)))

[racket] PLT-Redex modeling side effects and thread?

Hi, I am not sure whether it is the right place to ask the questions, but I didn't find the PLT-Redex mailing list or something like that: My questions are (quoted from stack overflow: http://stackoverflow.com/questions/17642316/can-plt-redex-model-these-features ) Just starting to learn PLT-Re

Re: [racket] How can I unsplice a list of expression into code?

On Sat, Nov 17, 2012 at 10:48 PM, John Clements wrote: > > On Nov 16, 2012, at 10:05 PM, Monica Tomson wrote: > > > Hi, > > > > I have an experiment for my project, basically, I need to embedded some > s-expression into the code and make it run, like t

Re: [racket] How can I unsplice a list of expression into code?

I think I am going to take that route, thanks for the tip. On Sat, Nov 17, 2012 at 6:36 AM, Matthias Felleisen wrote: > > You could just call lst with num as a parameter. Or you might be looking > for define-syntax not define. Is that possible? > > > On Nov 17, 2012, at 1:05

Re: [racket] Why this code snippet from document does not work?

ve 5.3 added support for submodules and 5.3.1 was released recently. > > What version of racket are you running? Running (version) will tell you. > > > On Fri, Nov 16, 2012 at 10:43 PM, Monica Tomson > wrote: > >> Hi, >> >> I want to use some quoted module

[racket] Why this code snippet from document does not work?

Hi, I want to use some quoted module name, and read this page in Racket documentation: http://docs.racket-lang.org/guide/Module_Syntax.html In the section 6.2.3, submodules, the code is: #lang racket (module

[racket] How to make eval work on define?

Hi, When I use eval on an S-Expression, where there are something like (define len (...)), racket screams at me define: not allowed in an expression context in: (define len (make-length 10)) My questions are: - How to make eval work on definition? - If eval is not designed to work on defin

[racket] How can I unsplice a list of expression into code?

Hi, I have an experiment for my project, basically, I need to *embedded* some s-expression into the code and make it run, like this, (define (test lst) (define num 1) (define l (list)) `@lst) ; oh, this is not the right way to go. (define lst `( (define num2 (add1 num)) (