Kevin Reid at 22:27, 25 March 2009

Kevin Reid — Wed, 25 Mar 2009 22:27:18 GMT

New page

<noinclude>Use this template to get a definition of this guard for use in E spec tests. {{XXX|Remove this when Really or some equivalent gets into ELib.}}</noinclude>

? /** Coercion-inhibiting guard wrapper. For example, Really[ConstList] will accept only [[ConstList]]s and not things which coerce to them. */
> def Really {
> to get(guard) {
> return def reallyGuard {
> to coerce(specimen, optEjector) {
> def coerced := guard.coerce(specimen, optEjector)
> if (coerced != specimen) {
> throw.eject(optEjector, E.toQuote(coerced) + " must be same as original specimen " + E.toQuote(specimen))
> }
> return coerced
> }
> }
> }
> }; null

Template:Define Really - Revision history

Kevin Reid at 22:27, 25 March 2009