tests/modules/pass_iter_key_union.aug

   1 module Pass_iter_key_union =
   2
   3   (* We used to typecheck the atype of this as (a|b/)*               *)
   4   (* which is wrong and leads to spurious ambiguous iteration errors *)
   5   (* The right atype is ((a|b)/)*                                    *)
   6   let l1 = [ key /a|b/ . store /x/ ]
   7   let l2 = [ key /ab/ . store /y/ ]
   8
   9   let lns = (l1 | l2)*
  10
  11 (* Local Variables: *)
  12 (* mode: caml       *)
  13 (* End:             *)