Skip to content

Commit 4389149

Browse files
committed
Fix problem with exceptions and type extensions in extended opens
This is related to issue #1066, which was partially fixed by #1082. This PR sorts the remaining two instances of the problem: exceptions and type extensions. Fixes #1095
1 parent 0b1e129 commit 4389149

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

src/loader/ident_env.cppo.ml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -131,11 +131,11 @@ let rec extract_signature_type_items vis items =
131131
`ClassType (id, obj_id, None, vis'=Hidden, None) :: extract_signature_type_items vis rest
132132
#endif
133133

134-
| Sig_typext (id, constr, Text_exception, Exported) :: rest ->
134+
| Sig_typext (id, constr, Text_exception, vis') :: rest when vis=vis' ->
135135
`Exception (id, Some constr.ext_loc)
136136
:: extract_signature_type_items vis rest
137137

138-
| Sig_typext (id, constr, _, Exported) :: rest ->
138+
| Sig_typext (id, constr, _, vis') :: rest when vis=vis'->
139139
`Extension (id, Some constr.ext_loc)
140140
:: extract_signature_type_items vis rest
141141

0 commit comments

Comments
 (0)