Walter Bright wrote: > If they are part of the type signature, then it can be enforced. For this one would have to ensure that the prerequisites of Rice's Theorem [http://en.wikipedia.org/wiki/Rice's_theorem] do not hold. How to do that? -manfred