Глава 12. Расширения языка

9 Переопределение в инструкциях open

(Добавлено в OCaml 4.01)

definition	::=	...
	∣	open! module-path

specification	::=	...
	∣	open! module-path

expr	::=	...
	∣	let open! module-path in expr

class-body-type	::=	...
	∣	let open! module-path in class-body-type

class-expr	::=	...
	∣	let open! module-path in class-expr

Начиная с OCaml 4.01, инструкции open, затеняющие существующий идентификатор, который используется позднее, вызывают предупреждение 44. Добавление символа ! после ключевого слова open указывает, что такое затенение сделано намеренно и не должно вызывать предупреждение.

Начиная с OCaml 4.06 эта возможность также доступна для локальных открытий в выражениях классов и выражениях типов классов.