3 type t1
= F deriving
(Typeable
)
4 type t2
= F deriving
(Typeable
)
6 let eq_types = Typeable.TypeRep.eq
11 (Typeable_t1.type_rep
())
12 (Typeable_t1.type_rep
()));
14 (Typeable_t2.type_rep
())
15 (Typeable_t2.type_rep
()));
17 (Typeable_t1.type_rep
())
18 (Typeable_t2.type_rep
())));
20 (Typeable_t2.type_rep
())
21 (Typeable_t1.type_rep
())));
24 type t3
= int deriving
(Typeable
)
29 (Typeable.Typeable_int.type_rep
())
30 (Typeable_t3.type_rep
()));
34 type t4
= [`T
of int] deriving
(Typeable
)
35 type t5
= [`T
of t3
] deriving
(Typeable
)
40 (Typeable_t4.type_rep
())
41 (Typeable_t5.type_rep
()));
50 (Typeable_t5.type_rep
())
51 (Typeable_t6.type_rep
())));
61 (Typeable_t6.type_rep
())
62 (Typeable_t7.type_rep
())));
66 type t8
= [`A
| `B
] deriving
(Typeable
)
67 type t9
= [`B
| `A
] deriving
(Typeable
)
72 (Typeable_t8.type_rep
())
73 (Typeable_t9.type_rep
()));
77 type ('a
,'r
) openr
= [`Nil
| `Cons
of 'a
* 'r
]
79 type 'a closedr
= [`Nil
| `Cons
of 'a
* 'a closedr
]
81 type l1
= (int, l1
) openr
82 and l2
= int closedr deriving
(Typeable
)
87 (Typeable_l1.type_rep
())
88 (Typeable_l1.type_rep
()));
91 type nil
= [`Nil
] deriving
(Typeable
)
92 type t10
= ([nil
| `Cons
of int * 'a
] as 'a
) list
94 type t11
= l2 list deriving
(Typeable
)
100 (Typeable_t10.type_rep
())
101 (Typeable_t11.type_rep
()));