[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]


> Date: Tue, 14 Mar 89 16:37 EST
> From: David A. Moon <Moon@STONY-BROOK.SCRC.Symbolics.COM>
> This means that either the compiletime or the runtime definition
> will prevail, but nothing else can happen.  It must also be
> permissible to signal an error complaining about the discrepancy.

The very first version of this proposal said "it is an error" here,
back before we had started talking seriously about adopting new error
terminology.  There was some discussion about it after that, the
consensus of which seemed to be that the right behavior should really
be "one or the other".  

I personally don't see anything wrong with allowing (but not
requiring) an error to be signalled, now that we seem to have agreed
that isn't inconsistent with the term "unspecified".