Martin Bravenboer [2004-04-23 08:28] Possible solution: rename one of the constructors in sdf-ppfix.

Martin Bravenboer [2004-04-25 08:19] The basic problem is that a seq needs to know its type. This type is based on the context of the seq. As a general solution interpretation of the ATerm against an abstract syntax can be considered. In this case the ATerm should then be interpreted against an RTG for SDF. These tools are available in stratego-regular. Type-based pretty-printing and rewriting can in some cases be very useful. IRTG can currently just be imploded to an ATerm, loosing the type information. Maybe I should add an option to preserve the type in annotations.