[ check-constructors | error ] error: in definition (“hierarchy-tests”,0,0): constructor InterfaceType/3 not declared
Op(“InterfaceType”,[Var(“TypeName_”),Anno(Op(“Id”,[Anno(Str(“Collection”),Wld)]),Wld),Wld])

This pretty-printing is also used in the warnings tool. Maybe it should be in the strc-lib: I think the same code is also used elsewhere.

Submitted on 4 August 2005 at 13:16