[racket-dev] New error messages for *SL

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Thu Jul 7 12:44:22 EDT 2011

At Wed, 6 Jul 2011 05:59:30 -0400, Guillaume Marceau wrote:
> [3]    There is a layout problem in my new documentation I need help with.
>  I
>       tried to abstract the common text between the documentation of the
>       different levels. Possibly because I didn't do it correctly, the macro
> I
>       am using confuses the layout engine, and it is now inserting lots of
>       spurious new lines whenever there is a @defform. Look at the
>       documentation for beginner's COND, you'll see what the problem is.

Fix pushed.

Some remaining issues:

 * ISL's "Syntax" section lists syntax that was already in B+SL.

 * ASL incorrectly specifies >= 1 arguments required for functions and
   function calls (i.e., functions and call are not common syntax at
   that point).

 * The order of some things is strange, such as `quote' instead of
   `define' to lead off the BSL syntax section.

 * All contracts for primitives print as lists.

 * Expanding `expr' to `expression' means that the grammar tables don't
   fit in the available width. (Is `expr' as an abbreviation confusing
   to students?)

You were probably aware of many of those and waiting for the formatting
problems to be fixed!

Posted on the dev mailing list.