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
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.
>
> 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
> 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))
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
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
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
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
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
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
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
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
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:
>
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
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
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
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
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
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
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
20 matches
Mail list logo