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

fix wrong quotes for polymorphic variants 

git-svn-id: http://caml.inria.fr/svn/ocamldoc/trunk@13712 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Damien Doligez 2013-05-29 11:23:48 +00:00
parent 1c99069365
commit 0958cf1cbd
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
manual/manual/refman/expr.etex
View File

@ -187,10 +187,10 @@ Arguments and parameters are matched according to their respective
labels. Argument order is irrelevant, except among arguments with the labels. Argument order is irrelevant, except among arguments with the
same label, or no label. same label, or no label.
If a parameter is specified as optional (label prefixed by "?") in the If a parameter is specified as optional (label prefixed by @"?"@) in the
type of @expr@, the corresponding argument will be automatically type of @expr@, the corresponding argument will be automatically
wrapped with the constructor "Some", except if the argument itself is wrapped with the constructor "Some", except if the argument itself is
also prefixed by "?", in which case it is passed as is. also prefixed by @"?"@, in which case it is passed as is.
% %
If a non-labeled argument is passed, and its corresponding parameter If a non-labeled argument is passed, and its corresponding parameter
is preceded by one or several optional parameters, then these is preceded by one or several optional parameters, then these
@ -795,12 +795,12 @@ is included in the lower bound of @typ@$'$, and the types of arguments
for the constructors of @typ@ are subtypes of those in for the constructors of @typ@ are subtypes of those in
@typ@$'$. Namely, @typ@$'$. Namely,
\begin{center} \begin{center}
@ "["["<"] "'"C_1 "of" typ_1 "|" \dots "|" "'"C_n "of" typ_n "]" @ @ "["["<"] "`"C_1 "of" typ_1 "|" \dots "|" "`"C_n "of" typ_n "]" @
\end{center} \end{center}
which may be a shrinkable type, is a subtype of which may be a shrinkable type, is a subtype of
\begin{center} \begin{center}
@ "["[">"] "'"C_1 "of" typ@$'_1$@ "|" \dots "|" "'"C_n "of" typ@$'_n$@ @ "["[">"] "`"C_1 "of" typ@$'_1$@ "|" \dots "|" "`"C_n "of" typ@$'_n$@
"|" "'"C@$_{n+1}$@ "of" typ@$'_{n+1}$@ "|" \dots "|" "'"C@$_{n+m}$@ "of" "|" "`"C@$_{n+1}$@ "of" typ@$'_{n+1}$@ "|" \dots "|" "`"C@$_{n+m}$@ "of"
typ@$'_{n+m}$@ "]" @ typ@$'_{n+m}$@ "]" @
\end{center} \end{center}
which may be an extensible type, if every @typ_i@ is a subtype of @typ@$'_i$. which may be an extensible type, if every @typ_i@ is a subtype of @typ@$'_i$.