[eeps] Commit: r52 - eeps/trunk

[Richard O'Keefe]

On 31 Oct 2008, at 3:20 am, <raimo+eeps@REDACTED> wrote:
> Users are not allowed to define types with the same names as the
> -predefined or built-in ones.  This is checked by the compiler and its
> -violation results in a compilation error.
> +predefined or built-in ones. This is checked by the compiler and its
> +violation results in a compilation error. (For bootstrapping  
> purposes,
                      vv
>
> +it can also result to just a warning if this involves a built-in type
                      ^^
>
> +which has just been introduced.)

Change "to" to "in".

> where the type name is an atom (``'my_type'`` in the above) followed  
> by
> parenthesis. Type is a type as defined in the previous section. A
  ^^^^^^^^^^^
Parenthesis is singular.  If this means "()", change it to
"parentheses".