1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
File "pr7414_bad.ml", line 52, characters 16-29:
52 | module Ignore = Force(Choose)
^^^^^^^^^^^^^
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_bad.ml", line 38, characters 2-31: Expected declaration
File "pr7414_bad.ml", line 33, characters 6-7: Actual declaration
|
