Sorry.
On Thu, Jun 28, 2012 at 3:51 PM, Matthias Felleisen
matth...@ccs.neu.edu wrote:
On Jun 28, 2012, at 3:52 PM, Robby Findler wrote:
well, I want to limit access to this because I know that X writes this code
and thus can I can be sure that things work
This is of course a caricature
In this case, the contract could turn into a dependent one with the
same semantics. Does it make sense for TR to allow a user to declare
the equivalent contract?
Robby
On Tue, Jun 26, 2012 at 7:17 PM, Neil Toronto neil.toro...@gmail.com wrote:
Ten minutes in, I've hit a snag. I'd like the stuff
between a type and its contract?
Types, like theorem provers, are addictive. The more expressivity
they provide, the more programmers want to play with them.
Use Real - Real and you'll be fine. -- Matthias
On Jun 26, 2012, at 8:37 PM, Robby Findler wrote:
In this case, the contract could
This sounds like a terrible solution.
There are lots of places in our system where we just declare facts and
don't prove them and then use them for lots of things (often
optimizations). Why should this one be special?
Robby
On Tue, Jun 26, 2012 at 8:16 PM, Matthias Felleisen
I'm saying that people can make mistakes in Racket currently that
undermine the guarantees of the type system. But lets continue the
other line first.
On Tue, Jun 26, 2012 at 8:28 PM, Matthias Felleisen
matth...@ccs.neu.edu wrote:
Huh?
On Jun 26, 2012, at 9:27 PM, Robby Findler wrote:
Well
bugs in the currently untested/unproven ones!
(random testing uber alles :)
Robby
On Tue, Jun 26, 2012 at 8:29 PM, Matthias Felleisen
matth...@ccs.neu.edu wrote:
Because the point of types is to have something proven.
On Jun 26, 2012, at 9:29 PM, Robby Findler wrote:
This sounds like
decision I made concerning such loopholes. (If we base
optimizations on them, we might descend into the C++ pit.)
-- Matthias
On Jun 26, 2012, at 9:34 PM, Robby Findler wrote:
I agree with that, to a point. Here were are now considering a very
concrete tradeoff, however: asking the user to cope
On Tue, Jun 26, 2012 at 9:25 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote:
On Tue, Jun 26, 2012 at 9:29 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
This sounds like a terrible solution.
There are lots of places in our system where we just declare facts and
don't prove them
On Tue, Jun 26, 2012 at 10:08 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote:
On Tue, Jun 26, 2012 at 10:44 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
On Tue, Jun 26, 2012 at 9:25 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu
wrote:
On Tue, Jun 26, 2012 at 9:29 PM, Robby Findler
ro
do. That would be nice.
;)
Neil ⊥
On 06/26/2012 09:23 PM, Robby Findler wrote:
On Tue, Jun 26, 2012 at 10:08 PM, Sam Tobin-Hochstadtsa...@ccs.neu.edu
wrote:
On Tue, Jun 26, 2012 at 10:44 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
On Tue, Jun 26, 2012 at 9:25 PM, Sam Tobin
The contract-test.rktl file has evolved over a long time and needs to
be rewritten in a module and split up into pieces. If you wanted to
take that on, that'd be great! Otherwise, probably the right thing is
to start a new file (as the way it is set up is overly complicated,
compared to what we'd
This is not directly related to your particular commit, but if I make
a make-prime-dict, does apply a contract at that point (using
'contract')? If so, who are the parties that get blamed?
Robby
On Mon, Jun 25, 2012 at 7:57 PM, Asumu Takikawa as...@ccs.neu.edu wrote:
On 2012-06-25 20:35:21
What do you mean by made opaque by key/c?
Robby
On Mon, Jun 25, 2012 at 9:05 PM, Asumu Takikawa as...@ccs.neu.edu wrote:
On 2012-06-25 21:28:52 -0400, Asumu Takikawa wrote:
(provide/contract
[make-int-dict
(- key-value-list?
(simple-dict/c
[dict-ref (-*
Great, thanks!
Robby
On Mon, Jun 25, 2012 at 8:28 PM, Asumu Takikawa as...@ccs.neu.edu wrote:
On 2012-06-25 20:15:49 -0500, Robby Findler wrote:
This is not directly related to your particular commit, but if I make
a make-prime-dict, does apply a contract at that point (using
'contract
21:19:33 -0500, Robby Findler wrote:
What do you mean by made opaque by key/c?
The prototype I wrote would bind the parameters provided in the
`#:params` argument to contracts produced by `new-∀/c`. If `key/c` is
one of the parameters, then `dict-ref` with a key argument wraps it in
an opaque
I usually in-naturals and zero? to do this.
I see that one example (that I didn't write is in base-render.rkt
(define/public (render-nested-flow i part ri starting-item?)
(for/list ([b (in-list (nested-flow-blocks i))]
[pos (in-naturals)])
(render-block b part
On Thu, Jun 21, 2012 at 4:21 AM, Eli Barzilay e...@barzilay.org wrote:
Three hours ago, Matthew Flatt wrote:
I think you're asking for two changes to the error-message syntax:
* Move srcloc back to the front of error messages.
* Support multi-line messages: the first line is supposed to be
I'll try to do something along these lines. It shouldn't be hard to
make it a tooltip.
Robby
On Thu, Jun 21, 2012 at 11:03 AM, John Clements
cleme...@brinckerhoff.org wrote:
On Jun 21, 2012, at 8:58 AM, Matthias Felleisen wrote:
+a lot; I'd like that
Robby, what's the nastiness threshold
I think we should give people warnings; we cannot just remove stuff.
Robby
On Thu, Jun 21, 2012 at 12:58 PM, Asumu Takikawa as...@ccs.neu.edu wrote:
On 2012-06-21 13:03:18 -0400, Eli Barzilay wrote:
Nice. How about adding a big deprecated to the class100 docs, and
make a note to remove it in
said it wasn't.
Robby
-Ian
- Original Message -
From: Robby Findler ro...@eecs.northwestern.edu
To: J. Ian Johnson i...@ccs.neu.edu
Cc: dev dev@racket-lang.org, n...@ccs.neu.edu
Sent: Wed, 20 Jun 2012 01:27:18 -0400 (EDT)
Subject: Re: [racket-dev] Redex for abstract machines
I don't know if it is intended, but these messages come across as just
disliking the idea of putting more (and structured) information into
the error messages. I'm guessing Eli does not intend that, but since I
got that feeling, I wanted to say that I strongly support the current
trend towards
I have thought about adding something that would solve this problem to
Redex off and on for a few years and am circling something I think is
reasonable. (The main thing I think you've not considered below is how
to typeset things, but that said I have in mind something similar in
spirit to what
[ moved to dev ]
This looks really great! Playing around with the CSS a little, I think
that it would be better if the words were all lowercase (delete
text-transform: capitalize; from plt/doc/racket.css to try it out).
Robby
On Sat, Jun 16, 2012 at 8:21 PM, Matthew Flatt mfl...@cs.utah.edu
:
[Setting followups to the dev list.]
20 minutes ago, Robby Findler wrote:
On Mon, Jun 11, 2012 at 11:37 AM, Eli Barzilay e...@barzilay.org wrote:
So the bottom line is that there's no need to extend `sort' for
this kind of functionality. What would be nice to have though
I'd love to see something that at least handles the case of 2 levels
of nesting (if we consider the current situation to be one level of
nesting), absolutely.
Robby
On Mon, Jun 11, 2012 at 2:19 PM, Eli Barzilay e...@barzilay.org wrote:
A few minutes ago, Robby Findler wrote:
How about
Did you turn out port-count-lines! on the port?
Robby
On Mon, Jun 11, 2012 at 6:57 PM, Stephen Chang stch...@ccs.neu.edu wrote:
I have a drracket plugin that reads the contents of the definitions
window as syntax and then traverses that syntax object so that for
each subexpression e it prints
, Stephen Chang stch...@ccs.neu.edu wrote:
Do you mean turn off? I didn't but I will try it. Would it affect some
programs but not others though?
On Jun 11, 2012 8:01 PM, Robby Findler ro...@eecs.northwestern.edu
wrote:
Did you turn out port-count-lines! on the port?
Robby
On Mon, Jun 11
I've pushed a fix for this. Thanks for pointing it out.
Robby
On Wed, May 23, 2012 at 4:42 PM, Asumu Takikawa as...@ccs.neu.edu wrote:
Hi all,
In the Guide entry on control[1], there's a section detailing prompts
and abort. Here's an example from that section:
(define (escape v)
Did you consider an optional argument to string-trim?
Robby
On Fri, May 11, 2012 at 6:53 AM, Eli Barzilay e...@barzilay.org wrote:
Should (string-trim str sep) remove any number of `sep' matches or
just one? (This makes no difference for the default `sep' since it's
#px\\s+.) Possible
Oh, man. Now I wish that Emacs temporary files didn't end with ~
(because seeing that makes me want to delete it) otherwise, I love
this idea for a naming convention for parameters. (To fit in with
other naming conventions, we should probably use a suffix, tho, and
@, ^, %, and % have all been
Would it be possible to base a meta-q like binding on this and be able
to use it when editing scribble files in DrRacket? (That would be
totally awesome if it were!)
Robby
On Sun, May 6, 2012 at 7:26 AM, Eli Barzilay e...@barzilay.org wrote:
JFYI, I have added a function for wrapping text,
I'm not seeing why a notion of opaque like this is valuable, but
maybe I don't understand what s going on. Specifically, it seems like
I can add the contract (unconstrained-domain- any) to each method to
get it to be opaque without actually contributing anything of value.
It seems better to let
On Fri, Apr 27, 2012 at 1:27 PM, Asumu Takikawa as...@ccs.neu.edu wrote:
On 2012-04-27 13:17:36 -0500, Robby Findler wrote:
Specifically, it seems like I can add the contract
(unconstrained-domain- any) to each method to get it to be opaque
without actually contributing anything of value
Oh, I see. Yes, this seems like a fine thing to me (making class
contracts be opaque).
Robby
On Fri, Apr 27, 2012 at 1:51 PM, Asumu Takikawa as...@ccs.neu.edu wrote:
On 2012-04-27 13:37:02 -0500, Robby Findler wrote:
I think that maybe I still misunderstand? Specifically, if I put an
opaque
If you run raco make bar.rkt you see the same error (and DrRacket is
doing that for you automatically). So probably the bug lies there if
anyone wants to investigate further.
Robby
On Thu, Apr 26, 2012 at 3:54 PM, John Clements
cleme...@brinckerhoff.org wrote:
I'm seeing an inconsistency in the
.)
Robby
On Thu, Apr 26, 2012 at 8:25 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
If you run raco make bar.rkt you see the same error (and DrRacket is
doing that for you automatically). So probably the bug lies there if
anyone wants to investigate further.
Robby
On Thu, Apr 26, 2012
On Sun, Apr 22, 2012 at 7:32 AM, Stephen Bloch bl...@adelphi.edu wrote:
For example, I start DrRacket from the command line: the window opens, then
spends 15 seconds gc-ing before showing the Welcome message. Memory usage
162.50 MB.
Open
Do you get a button that lets you get a stacktrace?
Robby
On Sat, Apr 21, 2012 at 7:54 PM, Doug Williams
m.douglas.willi...@gmail.com wrote:
I downloaded Saturday's build and get the same Seg Fault (the address is
different) when I run my large app under DrRacket. However, the application
.
Robby
On Thursday, April 19, 2012, Eli Barzilay wrote:
An hour ago, Danny Yoo wrote:
On Thu, Apr 12, 2012 at 5:26 PM, Robby Findler
ro...@eecs.northwestern.edu javascript:; wrote:
Yes, normalization doesn't deal with those spaces. It does change
the text in ways that are unfriendly
On Thu, Apr 12, 2012 at 4:24 PM, Eli Barzilay e...@barzilay.org wrote:
20 minutes ago, Robby Findler wrote:
I'm not sure of the right answer, but there is also a notion of
normalization of unicode characters that probably fits into whatever
solution you come up with here (ie the thing DrRacket
I'm not sure I'm quite getting this. Is the idea that, if there is a
#lang line present, DrRacket would always use that language. If there
is no #lang line present, then DrRacket would use some other language,
based on what was recently chosen in the language dialog?
Robby
On Wed, Mar 21, 2012
Because it was changed to be based on #lang racket instead of the
(old) #lang mzscheme not too long ago. I think there was a post here
(or on the users's list) about this, but I'm not sure that this
particular point was mentioned there, so I can see how you'd be
surprised.
Is this causing you
On Sat, Mar 31, 2012 at 4:49 PM, Eli Barzilay e...@barzilay.org wrote:
Yesterday, Robby Findler wrote:
On Fri, Mar 30, 2012 at 9:28 AM, Eli Barzilay e...@barzilay.org wrote:
It's cute that it's running `main' and `test' -- but I can see
uses for disabling either, or wanting to run something
On Fri, Mar 30, 2012 at 10:02 AM, Eli Barzilay e...@barzilay.org wrote:
Yesterday, Robby Findler wrote:
This has caused me some trouble and I'm not sure it is a good way to
go, in general. Specifically, I'd like to think that our newer tests
will more and more be things we'd want to compile
On Fri, Mar 30, 2012 at 10:30 AM, Eli Barzilay e...@barzilay.org wrote:
Two days ago, Robby Findler wrote:
Eli, I think your comments generally make sense here, but I don't
see how they help us make concrete resolving what to do with
string-url and the commit.
As things stand, my inclination
On Fri, Mar 30, 2012 at 10:27 AM, Eli Barzilay e...@barzilay.org wrote:
A few minutes ago, Robby Findler wrote:
On Fri, Mar 30, 2012 at 10:02 AM, Eli Barzilay e...@barzilay.org wrote:
Yesterday, Robby Findler wrote:
This has caused me some trouble and I'm not sure it is a good way to
go
On Fri, Mar 30, 2012 at 10:34 AM, Eli Barzilay e...@barzilay.org wrote:
Just now, Robby Findler wrote:
On Fri, Mar 30, 2012 at 10:30 AM, Eli Barzilay e...@barzilay.org wrote:
I'm fine with that (and with the push that does it), as long as
it's clear that this would change if it grows
On Fri, Mar 30, 2012 at 9:28 AM, Eli Barzilay e...@barzilay.org wrote:
11 hours ago, ro...@racket-lang.org wrote:
5c7a299 Robby Findler ro...@racket-lang.org 2012-03-29 22:11
:
| make DrRacket run test submodules (in the module language) by default.
| Add an option in the language dialog
This has caused me some trouble and I'm not sure it is a good way to go, in
general. Specifically, I'd like to think that our newer tests will more and
more be things we'd want to compile.
My desire to compile the tests is the same reason I want to compile any
Racket file: so it loads faster.
Dear António (and your colleagues),
My apologies.
I will build better automated testing support for the various easter
eggs and we are working on an short-term fix. I know it is not
possible to repair lost credibility, and for that I'm deeply
disappointed with myself.
Robby
On Mon, Mar 26,
It comes from the way syntax properties are propagated through macro
transformers. There is some explanation of this in the docs; search
for syntax-property and scroll up.
Robby
On Sun, Mar 25, 2012 at 7:05 PM, Danny Yoo d...@cs.wpi.edu wrote:
I'm getting confused by some behavior with regards
On Sun, Mar 25, 2012 at 7:18 PM, Danny Yoo d...@cs.wpi.edu wrote:
I'm still somewhat confused, because of the following: Compare:
(syntax/loc #'foo [app op ...])
vs:
(syntax [app op ...])
The first does not have paren-shape defined, while the second does.
Is this intentional?
You can turn any 2htdp/image into a pict by using the 'dc' slideshow
function and mrlib/image-core's render-image function.
Robby
On Thu, Mar 22, 2012 at 2:26 PM, Stephen Chang stch...@ccs.neu.edu wrote:
Would anyone find it useful to have a triangle primitive in
slideshow/pict? How easy would
I think the only place we encourage users to not use that is the
teaching languages, right?
Robby
On Wed, Mar 21, 2012 at 7:05 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote:
The below email transcript indicates that we're still having problems
communicating how to use the language dialog to
Unfortunately, we're not quite there yet. We do have the pane (but
with the #lang present), but the lack of the other things is mostly a
concession to the fact that it isn't yet the case that every source
file in DrRacket should begin with #lang. Only most.
Robby
On Wed, Mar 21, 2012 at 8:12 AM,
On Wed, Mar 21, 2012 at 7:47 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote:
On Wed, Mar 21, 2012 at 8:44 AM, Robby Findler
ro...@eecs.northwestern.edu wrote:
I think the only place we encourage users to not use that is the
teaching languages, right?
Yes, that's right, but people who've
I don't know if it is worth going this route, but SirMail can pull out
attachments already, so the libraries are there.
Robby
On Mon, Mar 19, 2012 at 12:41 AM, Eli Barzilay e...@barzilay.org wrote:
Three hours ago, Sam Tobin-Hochstadt wrote:
On Sat, Mar 17, 2012 at 10:55 AM, Eli Barzilay
[ re-added the dev mailing list ]
On Mon, Mar 19, 2012 at 7:44 AM, Antonio Menezes Leitao
antonio.menezes.lei...@ist.utl.pt wrote:
Hi Robby,
On Mon, Mar 19, 2012 at 12:00 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
I'm not able to reproduce this problem. I created a file, copied
He's saying that there is no easy way to, without expanding the code
(and perhaps without going one step further beyond a fully expanded
program, but nevermind that detail), split apart the submodules that
come from a single module. You just cannot tell, without expanding
everything, which of the
that. But we could consider the pruning step as part of compilation.
On Mar 12, 2012, at 2:57 PM, Robby Findler wrote:
He's saying that there is no easy way to, without expanding the code
(and perhaps without going one step further beyond a fully expanded
program, but nevermind that detail
Mar 2012 15:02:58 -0400, Matthias Felleisen wrote:
Or you make the pruning step a part of the compiler.
On Mar 12, 2012, at 3:01 PM, Robby Findler wrote:
Yes, I think the point that Jay's making is that the thing you'd
distribute wouldn't be rkt code, but some low-level thing. Well
:(
Robby
On Mon, Mar 12, 2012 at 2:15 PM, Matthias Felleisen
matth...@ccs.neu.edu wrote:
I think Jay is expressing an Eli-concern: we need to distribute
the full source to determine whether something can be thrown away.
On Mar 12, 2012, at 3:13 PM, Robby Findler wrote:
Oh, I get it now. Thanks
Just in case: if you use gmail, make sure your encoding is set to UTF-8.
Thanks, Eli!
Robby
On Fri, Mar 9, 2012 at 2:46 AM, Eli Barzilay e...@barzilay.org wrote:
In preparation for a move to github, I've finished a very long and
tedious[*] scan of the complete gnats db, and everything is now
I think you want 'inflate'. IIUC, .zip files contain 'pkzip'-format
compressed stuff.
Robby
On Thu, Mar 8, 2012 at 11:26 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote:
On Thu, Mar 8, 2012 at 11:52 AM, Robby Findler
ro...@eecs.northwestern.edu wrote:
Doesn't file/gunzip do that?
From
Oh, but I see that this doesn't actually create the files. Probably
something needs to be added to the library.
Sorry.
Robby
On Thu, Mar 8, 2012 at 11:29 AM, Robby Findler
ro...@eecs.northwestern.edu wrote:
I think you want 'inflate'. IIUC, .zip files contain 'pkzip'-format
compressed stuff
I think that the issue probably does not predate Kevin's recent push
(distributed places).
If you'd like to audit the push security concerns, I'm sure that'd be welcome.
Robby
On Thu, Mar 8, 2012 at 5:32 PM, Neil Van Dyke n...@neilvandyke.org wrote:
Robby Findler wrote at 03/08/2012 05:45 PM
On Wed, Feb 29, 2012 at 12:44 AM, Eli Barzilay e...@barzilay.org wrote:
9 hours ago, Robby Findler wrote:
Speaking of which, I've suggested trying out randomly sorting the
list before. Maybe I'll give that a try next.
The original reason to use an alphabetical order is to get
deterministic
On Tue, Feb 28, 2012 at 7:16 AM, Matthias Felleisen
matth...@ccs.neu.edu wrote:
On Feb 28, 2012, at 7:45 AM, ry...@racket-lang.org wrote:
This change cuts real time of raco setup -D almost in half
| on a 4-core machine
Nice. Now I need two more cores.
It probably speeds up a 2 core
On Tue, Feb 28, 2012 at 7:40 AM, Matthew Flatt mfl...@cs.utah.edu wrote:
At Tue, 28 Feb 2012 07:21:24 -0600, Robby Findler wrote:
Last I heard, Eli was saying that there was something seriously wrong
with 'raco setup' on two cores. Did that ever get resolved?
Commits 012ef60cd545ba
Oh, and just in case, I'm pretty sure this is a 64 bit build (I forget
the official way to check, but I think that this counts)
(fixnum? (expt 2 40))
#t
Robby
On Tue, Feb 28, 2012 at 12:22 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
On Tue, Feb 28, 2012 at 7:40 AM, Matthew Flatt mfl
On Tue, Feb 28, 2012 at 2:43 PM, Ryan Culpepper r...@cs.utah.edu wrote:
On my machine before the change, raco setup -D took 8m13s real, 13m52s
user; after the change, it takes 4m0s real, 9m3s user.
I guess you have a faster machine than I do. (Are you running the 64
bit build or 32?)
FWIW, the
On Sat, Feb 25, 2012 at 5:23 PM, Neil Toronto neil.toro...@gmail.com wrote:
This is nifty. What do you plan to do with it?
A simpler version of it was already being used internally to do the
preview that you see in the print dialog (at least under mac os x you
see it).
I'm now going to be using
No, just make them draw a little bit better than they do now (avoiding
going thru a bitmap).
On Sat, Feb 25, 2012 at 5:37 PM, Asumu Takikawa as...@ccs.neu.edu wrote:
On 2012-02-25 17:27:31 -0600, Robby Findler wrote:
I'm now going to be using it in DrRacket to do a better job with picts
I'm hoping that there will be some backlash from this and we'll not
actually see a high setting being the default in 10.8
Robby
On Tue, Feb 21, 2012 at 3:56 PM, John Clements
cleme...@brinckerhoff.org wrote:
In a move that I find not even slightly surprising, the new Apple operating
This is just fantastic.
Robby
On Sun, Feb 19, 2012 at 7:06 PM, Neil Toronto neil.toro...@gmail.com wrote:
Beat me to it.
+2
On 02/19/2012 01:26 PM, Jay McCarthy wrote:
Awesome
On Sun, Feb 19, 2012 at 10:47 AM, Eli Barzilaye...@barzilay.org wrote:
Just now, Matthias Felleisen wrote:
How about:
Not enough languages in your life?
Download Racket and add a few hundred more.
We could go the self-deprecating route:
Not enough parens in your life?
(((Download Racket)))
Or the aggressive route:
Tired of small, beautiful languages?
Download Racket and get something
On Sat, Feb 18, 2012 at 10:23 AM, Neil Toronto neil.toro...@gmail.com wrote:
Another angle: what aspects of
Racket do we want to advertise?
Language building.
I think it would be good to pick a specific formula for the messages
(and also to keep a similar style in the pictures).
I don't think
On Fri, Feb 17, 2012 at 7:43 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote:
- eopl
Various people have changed this collection in the past few years
(robby, eli, mflatt). Who should I assign bugs to?
If no one is maintaining this code, would it be better for EOPL to
distribute a PLT
Do we have any bugs in category 2.?
Robby
On Fri, Feb 17, 2012 at 4:38 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote:
On Fri, Feb 17, 2012 at 9:00 AM, Robby Findler
ro...@eecs.northwestern.edu wrote:
On Fri, Feb 17, 2012 at 7:43 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu
wrote:
- eopl
If I'm reading the expansion right, it looks like 'match' is keeping
only one of the 'foo's in the output (it seems to put one of them in
the disappeared use property on the 'foo?' in the (if (foo? x) ...)
that it generates).
In other words, looks like a bug in match.
Robby
On Wed, Feb 15, 2012
+1
Robby
On Fri, Feb 10, 2012 at 4:52 PM, Matthias Felleisen
matth...@ccs.neu.edu wrote:
Yes, and it was submitted in some form as a bug before. Why don't you modify
teach.rkt and see whether you like the result better. Then submit.
On Feb 10, 2012, at 5:43 PM, Danny Yoo wrote:
Ho
FWIW, I think it is hard to tell what John sees by just reading a
paragraph. So, how about holding off on the naysaying until you see
what he actually produces?
Robby
On Sun, Feb 12, 2012 at 1:34 PM, Vincent St-Amour stamo...@ccs.neu.edu wrote:
At Sun, 12 Feb 2012 11:01:44 -0800,
John Clements
On Sat, Feb 11, 2012 at 6:49 PM, Neil Toronto neil.toro...@gmail.com wrote:
(Robby already said no to animations, but he has to do what you say,
right? :p)
For the record, I don't oppose animations. I said that privately in a
series of messages to John and Neil to get the r logo (that John
sent
Hi Stephen: I've added define-union-language to Redex now. For the
example below, you'd write this:
#lang racket
(require redex)
(define-language L1
(e 1))
(define-language L2
(f 2))
(define-union-language L L1 L2)
(define-metafunction L
L1-L2 : e - f
[(L1-L2 1) 2])
or you could also write
On Sat, Feb 11, 2012 at 12:27 PM, John Clements
cleme...@brinckerhoff.org wrote:
On Feb 11, 2012, at 10:23 AM, Matthias Felleisen wrote:
John and Neil,
we seem to have lost momentum on this discussion.
For the record, I like the idea of changing our logo a bit.
I like the direction in
On Sat, Feb 11, 2012 at 2:25 PM, Eli Barzilay e...@barzilay.org wrote:
(They also have a bunch of additional features that are needed for
making a good logo, which the r doesn't have.)
I realize this is a judgment call, but the link with 5 bullets you
sent seem to all be met by the current
On Thu, Feb 9, 2012 at 10:04 PM, Eli Barzilay e...@barzilay.org wrote:
Apparently I was confused, and didn't realize that this wasn't a
discussion but a change that is already the default.
I put it there to make easy for people to see it in one of the more
prominent places where it will appear,
John Clements and Neil Toronto have put together a new Racket logo
that I've just put on the DrRacket splash screen. See what you think.
Robby
_
Racket Developers list:
http://lists.racket-lang.org/dev
On Tue, Feb 7, 2012 at 10:21 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote:
On Mon, Feb 6, 2012 at 9:18 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
Actually, on second thought, I'm not yet sure how the typesetting is
going to go. Say you have something like this:
(define-language
On Tue, Feb 7, 2012 at 12:14 PM, Asumu Takikawa as...@ccs.neu.edu wrote:
One other abstract classe in the framework come to mind: the
frame:editor-mixin produces abstract classes.
Creating abstract classes at runtime is a neat use-case.
What would you do with this information if you had it?
On Tue, Feb 7, 2012 at 12:24 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote:
On Tue, Feb 7, 2012 at 12:18 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
On Tue, Feb 7, 2012 at 10:21 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu
wrote:
On Mon, Feb 6, 2012 at 9:18 PM, Robby Findler
ro
On Tue, Feb 7, 2012 at 12:50 PM, Matthias Felleisen
matth...@ccs.neu.edu wrote:
On Feb 7, 2012, at 1:28 PM, Robby Findler wrote:
One other design question: would having the same non-terminal name in
both languages be allowed
Yes, absolutely, it's critical.
Just to be clear, I'm asking
On Tue, Feb 7, 2012 at 12:54 PM, Matthias Felleisen
matth...@ccs.neu.edu wrote:
On Feb 7, 2012, at 1:17 PM, Robby Findler wrote:
I don't see too much value in the former if it is just a hint.
Seems useful to have that information in the documentation, tho.
The implementation
Do you get a stacktrace?
Robby
On Tue, Feb 7, 2012 at 1:01 PM, Neil Toronto neil.toro...@gmail.com wrote:
This is from the latest release. On Redex errors and some Typed Racket
errors (so far), I get something like
exception raised by error display handler: normalize-path:
On Tue, Feb 7, 2012 at 2:15 PM, Eli Barzilay e...@barzilay.org wrote:
The two bugs that I've just filed makes me think that there are two
things that should be done:
1. In rendering of errors, find strings that look like paths to the
racket installation, and replace them with racket. This
doesn't.
The first-order language has an outer `let' while the higher-order language
has no `let'. Every other kind of expression is the same and has the same
reduction rules in each language.
Neil ⊥
On 02/05/2012 03:58 PM, Robby Findler wrote:
Yes, you guys are right
such as
(define-metafunction L
translate : e.L1 - e.L2
...)
On Feb 6, 2012, at 7:59 AM, Robby Findler wrote:
How will you disambiguate them on the printed page for readers of your paper?
Robby
On Sun, Feb 5, 2012 at 9:36 PM, Neil Toronto neil.toro...@gmail.com wrote:
I think in my case I
languages in a tagged manner (disjoint union):
(define-language-union L = (Lambda #:tag L1) (CPS #:tag L2))
It would then be possible to write contracts such as
(define-metafunction L
translate : e.L1 - e.L2
...)
On Feb 6, 2012, at 7:59 AM, Robby Findler wrote:
How will you
Yes, you guys are right-- this is not supported. You'd have to put
everything into a single language to make it work.
I've shied away from this because it seems overly complicated, but
also because the language names (L1 and L2 in Stephen's example)
don't show up anywhere in the typeset version
I think that a horizontal line buttons, each labelled with
file/line/col could be a good way to display the stack of the
bookmark history. (I still favor just a set of these, as I don't think
that I navigate code in back/forward button kind of a way, but this
horizontal bar seems useful
601 - 700 of 1296 matches
Mail list logo
