1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
File "pr7414_2_bad.ml", line 46, characters 22-35:
46 | let module Ignore = Force(Choose) in
^^^^^^^^^^^^^
Error: Modules do not match:
() -> sig module Choice : T val r : '_weak1 list ref ref end
is not included in () -> S
Modules do not match:
sig module Choice : T val r : '_weak1 list ref ref end
is not included in
S
Values do not match:
val r : '_weak1 list ref ref
is not included in
val r : Choice.t list ref ref
The type '_weak1 list ref ref is not compatible with the type
Choice.t list ref ref
The type constructor Choice.t would escape its scope
File "pr7414_2_bad.ml", line 29, characters 2-31: Expected declaration
File "pr7414_2_bad.ml", line 40, characters 8-9: Actual declaration
|
