VLA proposal... one more nit (response) <9302081533.AA25746awillow29.cray.com>

[uunet!netcom.com!segfault!rfg]

  The paper does not address casts specifically because the specification
  of casts does not change.  The description of a cast states that unless
  the type name is `void' then both it and the operand must specify scalars.
  A pointer to a VLA is still a scalar.
  
Some people may not realize that a *generalized* extension of the ability
to specify array types (which would permit the specification of VLA types)
would also have an effect upon casts.  Thus, it is worth mentioning in your
paper.


// Ronald F. Guilmette
//    domain address:	rfgasegfault.uucp
//    uucp address:	...!uunet!netcom.com!segfault!rfg