On Fri, Apr 23, 2004 at 12:46:07PM -0700, Dave Whipp wrote:
: I'm not sure how much of this is relevant to C<undef>, but it might be nice
: to have the ability to have an undef that says "if used, then trap" (using
: the current "use fail" mode -- if that still exists)
I suppose one could give a typed undef whatever semantics you like with an
appropriate AUTOMETH definition.
: ps. as an aside, it would be really nice to have support for
: getting/handling numeric exceptions -- even for things like an overflow
: ("carry") on a primitive "int". As a bonus, an "int" with saturation
: semantics (cf the normal modulo semantics) would be nice, too. I think that
: would need parrot-level support to be efficient.
I expect so. Low-level types tend to be rather, well, low-level.
Larry