Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Forward reference to pattern extensions

master
octachron 2017-02-04 19:03:51 +01:00
parent 2efa86e408
commit 94c0a5b38b
2 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
manual/manual/refman/exten.etex
View File

@ -381,7 +381,7 @@ is not inferred, and must be given explicitly.
\section{Local opens}
\ikwd{let\@\texttt{let}}
\ikwd{open\@\texttt{open}}
\ikwd{open\@\texttt{open}} \label{s:local-opens}
(Introduced in OCaml 3.12, extended to patterns in 4.04)

6
manual/manual/refman/patterns.etex
View File

@ -22,6 +22,12 @@ pattern:
| '[|' pattern { ';' pattern } [ ';' ] '|]'
| char-literal '..' char-literal
\end{syntax}
See also the following language extensions: \hyperref[s:lazypat]{lazy patterns},
\hyperref[s:local-opens]{local opens},
\hyperref[s-first-class-modules]{first-class modules},
\hyperref[s:attributes]{attributes},
\hyperref[s:extension-nodes]{extension nodes} and
\hyperref[s:exception-match]{exception cases in pattern matching}.
The table below shows the relative precedences and associativity of
operators and non-closed pattern constructions. The constructions with