Type Information

MrSpidey provides an inferred type for each program expression. To view the type of an expression, select the Show Value Set option of the expression's menu. Mrspidey then computes the expression's type and displays it in a box inserted to the right of the expression, as illustrated in figure 2.3. See Section 5 for a complete description of the type language. The type box is deleted by selecting the Close Value Set option from the popup menu. Alternatively, selecting Clear|Types deletes all type boxes in the buffer.

Figure 2.3: Displaying type information