[racket-users] format-id and blue arrows

2015-12-04 Thread Tim Brown
Folks, The following program behaves as I would expect: ;; -- #lang racket (require (for-syntax racket/syntax)) (define-syntax (def-a/boxed-a stx) (syntax-case stx () [(_ base-name base-val) (with-syntax

Re: [racket-users] Redex Engine Internals

2015-12-04 Thread Anton Podkopaev
Thank you for your answer, Robby. Actually at the beginning I planned to implement another version of the semantics in Coq and prove something useful about it. But before spending (a lot of) time with Coq version, it's better to be sure that the semantics is something I want, as you mentioned.

Re: [racket-users] Re: reducing pauses with incremental GC

2015-12-04 Thread JCG
> > It was definitely less jerky from a user standpoint. Interestingly, I tried this yesterday on a Debian desktop running on 2008 2-core iMac. It was definitely feeling better with the PLT_INCREMENTAL_GC. Running the same image on the same machine underneath VMWare Fusion, the

Re: [racket-users] Redex Engine Internals

2015-12-04 Thread Anton Podkopaev
> One thing to check for is ambiguous patterns. Those can cause > exponential blowup internally in Redex. Yes, there are a lot of ambiguous patterns, but it's made intentionally. Most of the rules have such structure: (--> ((in-hole E operation) globalState) ((in-hole E (ret value))

[racket-users] Syntax checker suggestion

2015-12-04 Thread brendan
I was messing around in DrRacket and started writing a macro. When I finished the first draft it gave me an error message saying that I can't use the _ wildcard in an expression context. I figured I had misremembered the format so I went to the syntax-parse docs... well, to shorten the story I

Re: [racket-users] format-id and blue arrows

2015-12-04 Thread Robby Findler
On Fri, Dec 4, 2015 at 8:45 AM, Tim Brown wrote: > These examples seem to work fine without syntax-local-introduce on the > identifiers. What is s-l-i’s role in this code? The syntax-local-introduce compensates for the extra macro-introduction scope that the expander puts on

Re: [racket-users] Redex Engine Internals

2015-12-04 Thread Robby Findler
Well, maybe there is a bug somewhere; if you're trying to run paper-sized examples you should be able to get them to complete reasonably quickly. One thing to check for is ambiguous patterns. Those can cause exponential blowup internally in Redex. But just to double check: when you run one of

Re: [racket-users] format-id and blue arrows

2015-12-04 Thread Tim Brown
Robby, Thanks for that. The following works splendidly for me (and is ripped pretty well straight off from the Check_Syntax page you quoted below): ~ (define-syntax (def-a/boxed-a stx) (syntax-case stx () [(_ base-name

Re: [racket-users] format-id and blue arrows

2015-12-04 Thread Robby Findler
Looking at the implementation of format-id, I see that it doesn't do what would be needed to be done in order to make the arrows in DrRacket show up like they do for define-syntax. I think this would be a great addition, however! It basically needs to set up some properties on the identifier. If

Re: [racket-users] format-id and blue arrows

2015-12-04 Thread Tim Brown
These examples seem to work fine without syntax-local-introduce on the identifiers. What is s-l-i’s role in this code? Tim -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send

Re: [racket-users] Redex Engine Internals

2015-12-04 Thread Jay McCarthy
Hi Anton, It wasn't really designed for general use, but I had a similar problem building a machine for evaluating Java. I made a revised version of Redex (called "Fedex") that removed a lot of features we weren't using (most importantly, evaluation contexts) and I got very good results. I found

Re: [racket-users] Redex Engine Internals

2015-12-04 Thread Robby Findler
It looks like your semantics has a lot of different ways to reach the same term (ie the reduction graph has a lot of sharing in it). In it's default mode, test-->> (and apply-reduction-relation*) will not notice this sharing and explore all of the different paths, which can be very expensive. I

Re: [racket-users] format-id and blue arrows

2015-12-04 Thread Robby Findler
On Fri, Dec 4, 2015 at 10:36 AM, Alex Knauth wrote: > I just happened to run into that exact problem yesterday, and my solution > was to have an `id-append` function that returned two values: >

Re: [racket-users] format-id and blue arrows

2015-12-04 Thread Robby Findler
I've pushed a fix to DrRacket to look for the property on occurrences of binding identifiers. Thanks! Robby On Fri, Dec 4, 2015 at 7:45 AM, Tim Brown wrote: > Robby, > > Thanks for that. > > The following works splendidly for me (and is ripped pretty well > straight off

Re: [racket-users] format-id and blue arrows

2015-12-04 Thread Alex Knauth
I just happened to run into that exact problem yesterday, and my solution was to have an `id-append` function that returned two values: https://github.com/AlexKnauth/lens/blob/0b026923508eabdff241cad861c5e1c4008cfb19/unstable/lens/private/id-append.rkt

[racket-users] Re: racket execution

2015-12-04 Thread Héctor Mc
Hi Asumu, Thanks for reply, the project is in https://github.com/hmcab/anauj.git , and the server run from generacion-datos/codegen.rkt on the bottom the file. Read the readme file before the execution. At this time I have the application on amazon server to prove it, but every time that I

Re: [racket-users] Re: racket execution

2015-12-04 Thread George Neuner
On 12/4/2015 11:47 AM, Héctor Mc wrote: ... the project is in https://github.com/hmcab/anauj.git , and the server run from generacion-datos/codegen.rkt on the bottom the file. Read the readme file before the execution. At this time I have the application on amazon server to prove it, but

Re: [racket-users] Re: racket execution

2015-12-04 Thread Neil Van Dyke
Everything George said. Alternatively, if you are in a prototyping mode right now, you can just run your program from the command line in a detached `tmux` or `screen` session, which you can reattach when you want to mess with the server. You can also combine the tmux/screen with

[racket-users] Re: racket execution

2015-12-04 Thread Héctor Mc
El jueves, 3 de diciembre de 2015, 21:22:01 (UTC-5), Héctor Mc escribió: Finally I could create a subsystem initialization script in /etc/init.d and the symbolic link with update-rc.d, and now this work. Thanks a everyone for your time. -- You received this message because you are subscribed

Re: [racket-users] Syntax checker suggestion

2015-12-04 Thread Asumu Takikawa
On 2015-12-04 08:02:40 -0800, brendan wrote: > ...Y'know, let me concentrated my obvious noobness in one post :) and ask a > silly question: why is "free-identifier=?" so named? It compares identifier > bindings, which obviously implies that the identifiers are not "free" at all. > I only got the