10 Sep
2002
10 Sep
'02
9:30 p.m.
Wolfram Kahl suggested to add functions isNullPtr and isNullFunPtr (with the expected semantics) to the Ptr module. Opinions?
Ptr and FunPtr are already instances of Eq, so which is easier to type? isNullPtr x or x==nullPtr So I don't see the motivation for the new predicates, but I don't have any objections either. Regards, Malcolm