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

typo+whitespace 

git-svn-id: http://caml.inria.fr/svn/ocamldoc/trunk@12576 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Damien Doligez 2012-06-06 15:39:13 +00:00
parent 17efba5d00
commit c84a8c8f98
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -726,13 +726,13 @@ It is only possible to coerce an expression @expr@ from type
@typexpr_1@ (like for a type annotation), and @typexpr_1@ is a subtype
of @typexpr_2@. The type of the coerced expression is an
instance of @typexpr_2@. If the types contain variables,
they may be instanciated by the subtyping algorithm, but this is only
they may be instantiated by the subtyping algorithm, but this is only
done after determining whether @typexpr_1@ is a potential subtype of
@typexpr_2@. This means that typing may fail during this latter
unification step, even if some instance of @typexpr_1@ is a subtype of
some instance of @typexpr_2@.
%
In the following paragraphs we describe the subtyping relation used.
In the following paragraphs we describe the subtyping relation used.
\subsubsection*{Object types}