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/
 



Reply via email to