WLP4 Typed Intermediate (.wlp4ti) Format

A .wlp4ti file (pronounced woolpty?) is a text file containing a representation of a parse tree for a WLP4 program. It has the same structure as a .wlp4i file, except that lines corresponding to expression nodes in the parse tree are annotated with the type of the expressions. Once a parse tree for a WLP4 program has been annotated with type information during semantic analysis, this format can be produced by performing a preorder traversal of the tree: