Eric van der Vlist scripsit:
> If by "type" you mean both "parameterized" and predefined type, then it
> would be clearer to note that RNG doesn't let you ask the second
> question ("Are these two strings equal according to your definition of
> equality?") to parameterized versions of a type.
You're right. The Datatype Library interface, however, does permit it.
So for purely RNG purposes we can say that the only two things permitted
are to ask a predefined type:
1) Given these parameters (possibly none), is this string an instance of you?
2) Are these two strings equal according to your criteria?
--
But you, Wormtongue, you have done what you could for your true master. Some
reward you have earned at least. Yet Saruman is apt to overlook his bargains.
I should advise you to go quickly and remind him, lest he forget your faithful
service. --Gandalf John Cowan <[EMAIL PROTECTED]>
------------------------ Yahoo! Groups Sponsor --------------------~-->
Get Bzzzy! (real tools to help you find a job). Welcome to the Sweet Life.
http://us.click.yahoo.com/A77XvD/vlQLAA/TtwFAA/2U_rlB/TM
--------------------------------------------------------------------~->
Yahoo! Groups Links
<*> To visit your group on the web, go to:
http://groups.yahoo.com/group/rng-users/
<*> To unsubscribe from this group, send an email to:
[EMAIL PROTECTED]
<*> Your use of Yahoo! Groups is subject to:
http://docs.yahoo.com/info/terms/