next up previous contents
Next: Trace Up: Programming Tools and Functions Previous: Return

Specify Unevaluated

Calling Sequence:
specuneval( $t_{1}, t_{2}, \ldots, t_{k}$, newt)
ti : anything
newt : a user defined structured type

Returns: anything

Synopsis: If newt is a user defined structured type, then the specuneval makes the type newt recognizable by the Darwin system. The arguments ti specify the subtypes of newt. The result must be assigned to a variable named newt_type (the name type has special polymorphic status in Darwin).


> x := newt(1);
> newt_type := specuneval(integer, newt);
> type(x, newt);

Gaston Gonnet