syntax/PP.sdf3 abuses template rules to generate signatures and pretty-printing strategies for additional sorts and constructors. These should be replaced with a proper signature and an ensugaring strategy, which is applied before pretty-printing.

Submitted by Guido Wachsmuth on 11 July 2014 at 15:59