At 07:38 PM 10/25/99 , Mark S. Miller wrote:
>We can now define "integer" more simply as
>
>define integerValueGuard coerce(specimen) ^any { integerCoerce(specimen) }
>define integer := settable(integerValueGuard)
Wrong, "integer" must be both a SlotGuard and a ValueGuard, but the above definition creates only a SlotGuard. Oops. Here's a better one:
define integer {
to coerce(specimen) ^any { integerCoerce(specimen) }
to makeSlot(specimen) ^any {
settable(integer) makeSlot(specimen)
}
}
Cheers,
--MarkM