TS fails when trying to print desugared code in the presence of relation rules. The first line it complains it cannot pp is

cannot pp RelationMatch(VarRef("Ta"),"<:",VarRef("Tf"))

Using current master (140b0c7).

Submitted by Augusto on 24 July 2014 at 17:40