- | EGet (x1, x2, e) => parenIf pn [dBox [exp x1, space 1, punct "<-",
- space 1, exp x2, punct ";", space 1],
- p_exp e]
+ | EGet (x1, NONE, x2, e) => parenIf pn [dBox [exp x1, space 1, punct "<-",
+ space 1, exp x2, punct ";", space 1],
+ p_exp e]
+ | EGet (x1, SOME t, x2, e) => parenIf pn [dBox [exp x1, space 1, punct ":", space 1, p_typ t,
+ space 1, punct "<-",
+ space 1, exp x2, punct ";", space 1],
+ p_exp e]