Term browser/printer

[Warwick Harvey]

Just thought I'd toss in my 2c.

I happen to think a utility/facility for the browsing or "pretty printing" 
of Mercury terms is a pointless waste of time.  I find output like the 
following perfectly comprehensible as it stands:

golf.m:143:   Final instantiatedness of `HeadVar__3' was 
`unique(list:'.'(any, b
ound(list:'.'(bound(list:'.'(any, $unify(dead, $typed_inst((list:list((cint:c
int
))), (hal_modes:list_of_old)), $typed_inst((list:list((cint:cint))), 
(hal_modes:
list_of_old)), fake)) ; (list:[])), $unify(dead, $typed_inst((list:list((list
:li
st((cint:cint))))), list:list_skel((hal_modes:list_of_old))), 
$typed_inst((list:
list((list:list((cint:cint))))), list:list_skel((hal_modes:list_of_old))), 
fake)
) ; (list:[]))) ; (list:[]))',

:-)

Warwick