the pointers happen to be the same, and only then do a full
Eq comparison ?
Cheers
Frank
- Original Message -
From:
Simon
Peyton-Jones
To: Frank Dellaert ; [EMAIL PROTECTED]
Sent: Monday, December 17, 2001 10:24
AM
Subject: RE: space efficiency
question
Now: if I
Frank Dellaert asks:
test (Instance a1 _) (Instance a2 _) = (a1==a2)
will this be implemented efficiently ? I.e. will it check first whether the
pointers happen to be the same, and only then do a full Eq comparison ?
No, otherwise you might also expect that the following test' function:
Title: Message
Now: if I have a couple of thousand of these
Instances, created with the same Attributes value, as in:
a = Attributes ["a","bc"]
i = Instance a [1,2]
i0001 = Instance a [1,1]
...
i7896 = Instance a [2,1]
can I be assured that there are not
thousands of