Fix printing bug introduced in 1767.  Treat optimised unary records specially and not as part of the list.
Fix printing bug introduced in 1767.  Treat optimised unary records specially and not as part of the list.

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

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