1 (* This program must fail because the semicolon means that the declarations
2 * must be treated
as two topdecs
, not a single topdec leading to two strdec
's
.
3 * This follows from the restriction on page
14 of the Definition that states
4 * "No topdec may contain as an initial segment, a strdec followed by a