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