Darren (>): > All this being said, I really do *not* like the idea of saying Bool is just > a subset of Int as it seems to be. Bool should be disjoint from every other > common type like Int/Str/etc instead.
I don't know whence you got the impression that Bool is a subtype. Bool is an enumeration type, which makes True and False distinct objects both of which aren't (but instead wrap) their corresponding Int values. > Asking "False eqv 0" should be false, though either "False eqv ?0" or > "+False eqv 0" being true is okay. All those are as you want them. // Carl
