[cvs-nhc98] The hat-observe command ":Info" lists data constructors (a

[Malcolm Wallace]

malcolm: Fri Nov  1 18:40:59 CET 2002

Update of /usr/src/master/nhc/src/hat/tools
In directory hinken:/tmp/cvs-serv22299

Modified Files:
	HatObserve.hs 
Log Message:
The hat-observe command ":Info" lists data constructors (and their
counts) rather than top-level function names.

Also, contrary to the previous commit message, qualified names in
patterns *do* work, without alterations to the C back-end.  The reason
is that the pattern-matcher for observed equations rejects any function
symbols returned from C that don't fully match the qualified name.