On Tue, Sep 27, 2011 at 7:29 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
Should I change DrRacket's bug report window so it includes the user's
preferences file? It would have been helpful in more than a few bugs
now but I'm not sure if it would bother people to have it put in
there.
I'm confused by the behavior of syntax/parse pattern variables that
come after dots. Sometimes they're bound to lists and sometimes to
syntax objects.
For example, in the following example, the variable `after-ones' gets
bound to a list:
#lang racket/base
(require (for-syntax
On Thu, Sep 15, 2011 at 8:13 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
Yes, certainly! Core files (or just stack traces) are useful, I expect.
I've been seeing a freeze roughly once a day. DrRacket gets
permanently stuck with the OS X rainbow pinwheel as the cursor, and
SIGKILLs
On Fri, Sep 16, 2011 at 4:37 PM, Eli Barzilay e...@barzilay.org wrote:
Two hours ago, Casey Klein wrote:
I did this:
$ gdb path/to/drracket /cores/core.221
saw this message:
This GDB was configured as
i386-apple-darwin.../Users/clklein/git/new-redex-semantics/bin/drracket
On Fri, Sep 9, 2011 at 5:30 AM, Marijn hk...@gentoo.org wrote:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
On 09/09/11 09:33, John Clements wrote:
[*] See earlier thread where the general consensus was that it was
not possible to make a Racket version of this run less than (IIRC)
5x
On Thu, Sep 8, 2011 at 3:56 PM, Matthew Flatt mfl...@cs.utah.edu wrote:
The `begin-for-syntax' form in v5.1.3.7 supports variable and macro
definitions within a module for all phases N = 0 (finally!).
Excellent!
Thanks also for the recent change that lets for-syntax definitions
come after
OK, I'll try it out.
On Fri, Aug 19, 2011 at 3:08 PM, Matthew Flatt mfl...@cs.utah.edu wrote:
Commit d7a996ee0bf393 is relevant. Let me know if you see any change after
updating to the latest.
At Wed, 17 Aug 2011 10:22:32 -0500, Casey Klein wrote:
DrRacket crashes pretty routinely when I'm
I tried 20 times and didn't get a crash.
Thanks!
On Fri, Aug 19, 2011 at 3:11 PM, Casey Klein
clkl...@eecs.northwestern.edu wrote:
OK, I'll try it out.
On Fri, Aug 19, 2011 at 3:08 PM, Matthew Flatt mfl...@cs.utah.edu wrote:
Commit d7a996ee0bf393 is relevant. Let me know if you see any
On Wed, Aug 17, 2011 at 7:23 AM, mfl...@racket-lang.org wrote:
mflatt has updated `master' from a221e4bba2 to dfd58a2cdd.
http://git.racket-lang.org/plt/a221e4bba2..dfd58a2cdd
=[ 1 Commits ]==
Directory summary:
91.2%
]==
Directory summary:
100.0% collects/redex/tests/
~~
cee4566 Casey Klein clkl...@racket-lang.org 2011-08-16 19:17
:
| Makes test work when compilation strips source locations
:
M collects/redex/tests/check-syntax-test.rkt | 43
-
=[ Overall Diff
On Tue, Aug 16, 2011 at 7:48 PM, Casey Klein
clkl...@eecs.northwestern.edu wrote:
No, the build failure is due to this bug:
http://bugs.racket-lang.org/query/?cmd=viewpr=12116
I'd be happy to avoid building redex/tests/compiler temporarily, but I
don't know how to do that, short of removing
On Mon, Aug 8, 2011 at 2:26 AM, Eli Barzilay e...@barzilay.org wrote:
Two days ago, Casey Klein wrote:
Oh, I see. I like that. How do you feel about using the same style
for contracts? For example:
(define-judgment-form nats
#:mode (sum I I O)
#:contract (sum n n n)
Not a party
On Sun, Aug 7, 2011 at 10:50 AM, Matthias Felleisen
matth...@ccs.neu.edu wrote:
Good, now change define-judgment-form to define-judgment.
Did you miss my objection to that name?
_
For list-related administrative tasks:
On Sat, Aug 6, 2011 at 2:47 PM, Casey Klein
clkl...@eecs.northwestern.edu wrote:
On Sat, Aug 6, 2011 at 1:58 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
On Sat, Aug 6, 2011 at 1:53 PM, Casey Klein
clkl...@eecs.northwestern.edu wrote:
On Sat, Aug 6, 2011 at 10:43 AM, Matthias
On Sat, Aug 6, 2011 at 10:43 AM, Matthias Felleisen
matth...@ccs.neu.edu wrote:
1. I like Robby's mode suggestion.
2. I prefer shorter keywords, e.g., define-judgment.
I'm having trouble reconciling these comments. Robby's suggestion, if
I understand it correctly, is to overload the
On Sat, Aug 6, 2011 at 1:58 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
On Sat, Aug 6, 2011 at 1:53 PM, Casey Klein
clkl...@eecs.northwestern.edu wrote:
On Sat, Aug 6, 2011 at 10:43 AM, Matthias Felleisen
matth...@ccs.neu.edu wrote:
1. I like Robby's mode suggestion.
2. I prefer
On Thu, Aug 4, 2011 at 11:13 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
So I wonder if anyone has a
positive experience with this kind of searching in an in anger kind
of setting?
I've had positive experiences searching by type signature in Hoogle.
I've wished I could do the same
On Fri, Aug 5, 2011 at 8:13 AM, clkl...@racket-lang.org wrote:
clklein has updated `master' from 1a65678924 to 576272362b.
http://git.racket-lang.org/plt/1a65678924..576272362b
This push adds a more general way to define relations in Redex,
currently under the name define-judgment-form. For
On Sat, Jul 16, 2011 at 10:52 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
Thanks for fixing the bug!
On Sat, Jul 16, 2011 at 6:40 PM, Casey Klein
clkl...@eecs.northwestern.edu wrote:
I tried to add a test case to
collects/tests/racket/contract-test.rktl, but that file seems broken
On Sat, Jul 16, 2011 at 9:30 AM, Matthias Felleisen
matth...@ccs.neu.edu wrote:
On Jul 16, 2011, at 8:19 AM, Matthew Flatt wrote:
At Fri, 15 Jul 2011 21:53:59 -0500, Casey Klein wrote:
FWIW, the big taints commit also changed the value of this expression:
(let ([s #'x])
(equal? s
Running the following program in DrRacket 5.1.1 highlights the `error'
expression if debugging is enabled:
#lang racket
(syntax-case 'a ()
(_ (error 'boom)))
Running the same program in 4d7584d/g doesn't highlight anything.
Without the `syntax-case' around it, both versions highlight the
...@cs.utah.edu wrote:
This is a bug in errortrace that was introduced with the switch to
taints. I'm fixing it.
At Fri, 15 Jul 2011 16:27:57 -0500, Casey Klein wrote:
Running the following program in DrRacket 5.1.1 highlights the `error'
expression if debugging is enabled:
#lang racket
(syntax
2011/5/5 Stephen Chang stch...@ccs.neu.edu:
So I'm struggling with redex again and I cant figure out a way to
utilize any of the previously mentioned tricks. I just included what I
have below and I described what I'm trying to do. Hopefully someone
will have some time to take a look? :)
I'm
2011/5/5 Stephen Chang stch...@ccs.neu.edu:
So I'm struggling with redex again and I cant figure out a way to
utilize any of the previously mentioned tricks. I just included what I
have below and I described what I'm trying to do. Hopefully someone
will have some time to take a look? :)
I
On Mon, May 2, 2011 at 8:45 PM, Stephen Chang stch...@ccs.neu.edu wrote:
Hmm, or maybe you've found a bug in my model. Either way, thanks for
looking into this.
I couldn't resist taking another look.
Here's how I'd like to define it:
(define-language unfortunate-loop
(L hole
2011/5/2 Stephen Chang stch...@ccs.neu.edu:
Oh, but this simpler definition seems to be equivalent:
(define-language test
(e x (λ x e) (e e))
(x variable-not-otherwise-mentioned)
(A hole
(λ x A)
(A e)))
Yes, you are right. But I left out a part of my grammar, which is that
I
2011/5/2 Casey Klein clkl...@eecs.northwestern.edu:
(define-language test
(e x (λ x e) (e e))
(x variable-not-otherwise-mentioned)
(A hole
(in-hole (A e) (λ x A
(redex-match test A (term hole))
`(,(make-match `(,(make-bind 'A (make-hole)
(redex-match test A (term (((λ y (λ
Thanks, Matthew!
On Sun, Apr 3, 2011 at 11:39 AM, Matthew Flatt mfl...@cs.utah.edu wrote:
The `racket/gui' library now supports horizontal mouse-wheel events,
but I don't have a Windows machine with a mouse that support horizontal
wheel events. As likely as not, I've implemented it backwards
On Sun, Jan 16, 2011 at 10:03 PM, Matthias Felleisen
matth...@ccs.neu.edu wrote:
On Jan 15, 2011, at 5:05 PM, Casey Klein wrote:
On Sat, Jan 15, 2011 at 11:26 AM, Stevie Strickland
sstri...@ccs.neu.edu wrote:
On Jan 15, 2011, at 12:19 PM, Robby Findler wrote:
I think that we are just
On Sat, Jan 15, 2011 at 11:26 AM, Stevie Strickland
sstri...@ccs.neu.edu wrote:
On Jan 15, 2011, at 12:19 PM, Robby Findler wrote:
I think that we are just throwing up stumbling blocks. It is really a
design choice (does a reprovide carry over the contract or does it
put a new one on there?)
The new, nicely formatted blame messages helped me discover that every
single Redex contract has the wrong negative party. (Admittedly, the
commonly used Redex provides are macros.) There are two problems.
I believe the first is a bug. The following program (module
dependencies DAG:
On Fri, Jan 14, 2011 at 3:28 PM, Stevie Strickland sstri...@ccs.neu.edu wrote:
On Jan 14, 2011, at 4:22 PM, Robby Findler wrote:
No, actually in this case the user message is also wrong. If you trace
thru the module dag, you'll see it.
Just to check, are you talking about the second series of
On Fri, Dec 10, 2010 at 7:00 AM, Eli Barzilay e...@barzilay.org wrote:
As for a suggestion, I don't have anything concrete (and I don't have
nearly enough contract experience to say something concrete) -- but in
general I prefer to see those important bits first, and the vague
human text
On Fri, Dec 10, 2010 at 7:34 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote:
On Fri, Dec 10, 2010 at 8:26 AM, Casey Klein
clkl...@eecs.northwestern.edu wrote:
On Fri, Dec 10, 2010 at 7:00 AM, Eli Barzilay e...@barzilay.org wrote:
As for a suggestion, I don't have anything concrete (and I
The documentation for `make-temporary-file' says, The `template'
argument must be a format string suitable for use with `format' and
one additional string argument (where the string contains only
digits).
I take that to mean that the following expression should always produce true:
On Wed, Dec 8, 2010 at 12:23 PM, Casey Klein
clkl...@eecs.northwestern.edu wrote:
The documentation for `make-temporary-file' says, The `template'
argument must be a format string suitable for use with `format' and
one additional string argument (where the string contains only
digits).
I
In light of PR 11469 (http://bit.ly/hvvT90), I'd like to write test
cases to check that Redex sets 'disappeared-use in a way that makes
Check Syntax's renaming work properly.
I was hoping there would be some kind of Check Syntax mixin that I
could apply to an editor to get a class that lets me
I just pushed a fix for a bug that made DrRacket extremely sluggish on
my laptop. Most everything was slow, but typing in the find and
replace fields was particularly bad -- each character would take about
a second to appear on screen.
The problem turned out to be that my framework preferences
updated `master' from 02f301b3b7 to 0d1578cbb1.
http://git.racket-lang.org/plt/02f301b3b7..0d1578cbb1
=[ 1 Commits ]==
Directory summary:
100.0% collects/meta/drdr/graphs/
~~
0d1578c Casey Klein clkl...@racket-lang.org 2010-11
I'm hitting a module mismatch that won't go away no matter how many
times I type raco make or raco setup.
Running the module
#lang racket
(require redex)
variables-not-in
produces
link: module mismatch, probably from old bytecode whose dependencies
have changed: variable not provided (directly
links sometimes; see PR
10685. Of course, these problems may not be directly related even if
this option does fix your program.
Carl Eastlund
On Wed, Nov 3, 2010 at 2:24 PM, Casey Klein
clkl...@eecs.northwestern.edu wrote:
I'm hitting a module mismatch that won't go away no matter how many
No, but I did run the wrong drracket executable after getting a
pristine build. Sorry for the noise!
On Wed, Nov 3, 2010 at 2:06 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
Did you edit files that drracket depends on and then not restart drracket?
On Wed, Nov 3, 2010 at 1:24 PM, Casey
On Thu, Oct 28, 2010 at 1:25 AM, Matthew Flatt mfl...@cs.utah.edu wrote:
More immediately, it's time for you to try out the gr2 branch for
everyday work.
In case there's anyone else who wants to try but (somehow) knows even
less about git than I do, here's what I did to checkout the branch.
$
On Fri, Sep 17, 2010 at 11:52 AM, Robby Findler
ro...@eecs.northwestern.edu wrote:
On Fri, Sep 17, 2010 at 11:50 AM, Casey Klein
clkl...@eecs.northwestern.edu wrote:
On Fri, Sep 17, 2010 at 11:39 AM, ro...@racket-lang.org wrote:
robby has updated `master' from c6fc7137ee to ce211ac364.
http
On Thu, Aug 19, 2010 at 8:44 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote:
On Tue, Aug 17, 2010 at 3:57 PM, Jay McCarthy jay.mccar...@gmail.com wrote:
Please comment.
I think that this:
Your first task when changing old code is to build an adequate test
suite to ensure you do not
On Mon, Jul 19, 2010 at 9:47 AM, Ryan Culpepper ry...@ccs.neu.edu wrote:
* Casey Klein clkl...@eecs.northwestern.edu
- Redex Tests
Done.
Updates:
- Redex Updates: update HISTORY
(updates should show v5.0.1 as the most current version; email me
to pick the changes when they're done
On Wed, Jun 9, 2010 at 6:52 AM, Matthew Flatt mfl...@cs.utah.edu wrote:
At Tue, 8 Jun 2010 12:23:54 -0500, Casey Klein wrote:
`define-for-syntax' doesn't allow optional or keyword arguments,
although the documentation suggests it should.
I tried to fix this myself, but I'm getting
47 matches
Mail list logo
