[project @ 2001-07-24 09:53:27 by simonpj]

[project @ 2001-07-24 09:53:27 by simonpj]
Keep the printed stuff for Demand and DmdResult separate, else
we can get confused when parsing a strictness signature.  For
example, previously

	LX

could have been parsed as	L  -> X
or as				LX -> T

Urk!  I've taken the simple path of making DmdResults print in
lower case.  Thus

	Lx 	means	L  -> x
	LX	means	LX -> t