added some notes for use when I get back to this
svn: r10988
This commit is contained in:
parent
9ee96143a4
commit
1338d3d5fe
|
@ -5,6 +5,35 @@
|
||||||
(for-label scheme/base
|
(for-label scheme/base
|
||||||
scheme/contract
|
scheme/contract
|
||||||
redex))
|
redex))
|
||||||
|
|
||||||
|
@;{
|
||||||
|
|
||||||
|
I usually use an `ellipsis' non-terminal to make it more explicit that
|
||||||
|
the "..." (the only production of `ellipsis') is literal.
|
||||||
|
- Hide quoted text -
|
||||||
|
|
||||||
|
At Wed, 30 Jul 2008 12:49:43 -0500, "Robby Findler" wrote:
|
||||||
|
> Also, how have you been notating a literal ellipsis in the docs? That
|
||||||
|
> is, the "c" below should really be a literal ellipsis (as disctinct
|
||||||
|
> from a repetition of "b")?
|
||||||
|
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
@;{
|
||||||
|
|
||||||
|
I use `defidform'. See `else' for an example.
|
||||||
|
- Hide quoted text -
|
||||||
|
|
||||||
|
At Wed, 30 Jul 2008 13:03:07 -0500, "Robby Findler" wrote:
|
||||||
|
> One more question: I export --> and fresh from collects/redex/main.ss
|
||||||
|
> so that I can signal a syntax error if they are used outside of
|
||||||
|
> reduction-relation. But this causes scribble to complain when I don't
|
||||||
|
> document them. Is there a standard way to document them?
|
||||||
|
>
|
||||||
|
> Robby
|
||||||
|
}
|
||||||
|
|
||||||
@(declare-exporting redex)
|
@(declare-exporting redex)
|
||||||
@title{@bold{PLT Redex}: an embedded DSL for debugging operational semantics}
|
@title{@bold{PLT Redex}: an embedded DSL for debugging operational semantics}
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user