I believe the following program is incorrectly rejected by the MLton parser: structure Exn1 = struct exception EX1 of int and EX2 and EX3 of bool end structure Exn2 = struct exception EX4 of bool and EX5 = Exn1.EX1 and EX6 end