Fix to previous change to equality handling.  If there is a single nullary constructor equality is always true.  This case was previously handled by inserting a pointer equality test but the last change took it out resulting in equality returning false.
Fix to previous change to equality handling.  If there is a single nullary constructor equality is always true.  This case was previously handled by inserting a pointer equality test but the last change took it out resulting in equality returning false.


git-svn-id: 98787b36aaefbae4b30fa755be920954cd25e1e4@378 ae7d391e-3f74-4a2b-a0db-a8776840fd2a

polyml/polyml,polyml/polyml,mn200/polyml,dcjm/polyml,dcjm/polyml,mn200/polyml,dcjm/polyml,mn200/polyml,polyml/polyml,mn200/polyml,polyml/polyml,dcjm/polyml