From 1338d3d5fecc0a98e27e642ee5816c4c6e996f78 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Wed, 30 Jul 2008 19:43:17 +0000
Subject: [PATCH] added some notes for use when I get back to this

svn: r10988
---
 collects/redex/redex.scrbl | 29 +++++++++++++++++++++++++++++
 1 file changed, 29 insertions(+)

diff --git a/collects/redex/redex.scrbl b/collects/redex/redex.scrbl
index 220a65d994..bb99fb4965 100644
--- a/collects/redex/redex.scrbl
+++ b/collects/redex/redex.scrbl
@@ -5,6 +5,35 @@
           (for-label scheme/base
                      scheme/contract
 		     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)
 @title{@bold{PLT Redex}: an embedded DSL for debugging operational semantics}