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

9 Переопределение в операторах open

(Введено в OCaml 4.01)

определение	::=	...
	∣	open! путь_к_модулю

спецификация	::=	...
	∣	open! путь_к_модулю

выражение	::=	...
	∣	let open! путь_к_модулю in выражение

тип_тела_класса	::=	...
	∣	let open! путь_к_модулю in тип_тела_класса

выражение_класса	::=	...
	∣	let open! путь_к_модулю in выражение_класса

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

Это также доступно (начиная с OCaml 4.06) для локальных открытий в выражениях классов и выражениях типов классов.