Thanks, Matthew! I really like this. (And I know it was a lot of work
to wrangle the HTML and CSS in this case.)
It looks good to me as it is, although Robby's suggestion of lowercase
sounds good too.
Neil V.
_
Racket Developers list:
It looks to me like the free-var-list is optional in uses of with-contract
and define/contract. The documentation, though, suggests that this is not the
case. Specifically, free-var-list is defined as:
free-var-list = #:freevars ([id
You're correct about it being optional, so go ahead and add it.
Thanks,
Stevie
On Jun 19, 2012, at 2:48 PM, John Clements wrote:
It looks to me like the free-var-list is optional in uses of with-contract
and define/contract. The documentation, though, suggests that this is not the
case.
About a month ago, Matthew Flatt wrote:
I've pushed a first cut at overhauling error messages from
`racket/base'.
Two very independent things really bug me, so I'll make two posts.
The new messages look more organized but there was something that
bugged me which took a while to realize. I
1. Because of the length of the bitwise operators:
bitwise-and
bitwise-ior
bitwise-xor
bitwise-not
it might be useful for readability in even slightly complicated bit
manipulations to have something like the usual mathematical symbols
as aliases for these operations.
2. Why the names
I tend to put a lot of comments not just at the beginning of
procedures but also in the body of the procedures, usually above lines
of code instead of to the right because the comments can be fairly
long and multi-line. This makes it easier to understand the procedure
on the one hand but because
Machine semantics for real machines (like the JVM or Racket's VM) or
non-standard semantics for an abstract interpretation (like what I end up
getting into) can get up to monstrous numbers of components for each state that
usually don't matter. I and I'm sure many others would appreciate a
Two hours ago, Ryan Culpepper wrote:
I interpret who: msg as meaning who complains that msg,
whereas IIUC you want it to mean there is a who such that msg
or look at who; msg or something like that.
For procedures, it make sense whether the who was application or the
procedure's name,
On 06/19/2012 06:11 PM, Eli Barzilay wrote:
* There are two contexts where error messages are unwieldy: TR and
contract errors. In both of these the error text is huge to the
point of making a useless text that you need to manually grep
through. In TR it got bad enough that
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
11 matches
Mail list logo