viewcvs.cgi/tests/stress_opt_arg.cd

type T = 
      { a =? `A; b =? `A; c =? `A;
        d =? `A; e =? `A; f =? `A;
        g =? `A; h =? `A; i =? `A;
        j =? `A; k =? `A; l =? `A;
        m =? `A; n =? `A; o =? `A;
        p =? `A; q =? `A; r =? `A };;   


(*
debug compile Any T;;
*)
debug compile T 
   ({ a = a } | ( a := `B)) &
   ({ b = b } | ( b := `B)) &
   ({ c = c } | ( c := `B)) &
   ({ d = d } | ( d := `B)) &
   ({ e = e } | ( e := `B)) &
   ({ f = f } | ( f := `B)) &
   ({ g = g } | ( g := `B)) &
   ({ h = h } | ( h := `B)) &
   ({ i = i } | ( i := `B)) &
(*   ({ j = j } | ( j := `B)) &
   ({ k = k } | ( k := `B)) &
   ({ l = l } | ( l := `B)) &
   ({ m = m } | ( m := `B)) &
   ({ n = n } | ( n := `B)) &
   ({ o = o } | ( o := `B)) &
   ({ p = p } | ( p := `B)) &
   ({ q = q } | ( q := `B)) & *)
   ({ r = r } | ( r := `B)) 
;;
                 
      
1	type T =
2	{ a =? `A; b =? `A; c =? `A;
3	d =? `A; e =? `A; f =? `A;
4	g =? `A; h =? `A; i =? `A;
5	j =? `A; k =? `A; l =? `A;
6	m =? `A; n =? `A; o =? `A;
7	p =? `A; q =? `A; r =? `A };;
8
9
10	(*
11	debug compile Any T;;
12	*)
13	debug compile T
14	({ a = a } \| ( a := `B)) &
15	({ b = b } \| ( b := `B)) &
16	({ c = c } \| ( c := `B)) &
17	({ d = d } \| ( d := `B)) &
18	({ e = e } \| ( e := `B)) &
19	({ f = f } \| ( f := `B)) &
20	({ g = g } \| ( g := `B)) &
21	({ h = h } \| ( h := `B)) &
22	({ i = i } \| ( i := `B)) &
23	(* ({ j = j } \| ( j := `B)) &
24	({ k = k } \| ( k := `B)) &
25	({ l = l } \| ( l := `B)) &
26	({ m = m } \| ( m := `B)) &
27	({ n = n } \| ( n := `B)) &
28	({ o = o } \| ( o := `B)) &
29	({ p = p } \| ( p := `B)) &
30	({ q = q } \| ( q := `B)) & *)
31	({ r = r } \| ( r := `B))
32	;;
33
34