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

removed ambiguous description of n-ary constructors 

git-svn-id: http://caml.inria.fr/svn/ocamldoc/trunk@10664 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Damien Doligez 2010-09-01 13:49:35 +00:00
parent 9020a1f92c
commit 9e201325fc
1 changed files with 3 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
manual/manual/cmds/intf-c.etex
View File

@ -518,13 +518,10 @@ constant constructors) or by blocks whose tag encode the constructor
non-constant constructors for a given concrete type are numbered
separately, starting from 0, in the order in which they appear in the
concrete type declaration. Constant constructors are represented by
unboxed integers equal to the constructor number. Non-constant
constructors declared with a $n$-tuple as argument are represented by
unboxed integers equal to the constructor number. A non-constant
constructors declared with $n$ arguments is represented by
a block of size $n$, tagged with the constructor number; the $n$
fields contain the components of its tuple argument. Other
non-constant constructors are represented by a block of size~1, tagged
with the constructor number; the field~0 contains the value of the
constructor argument. Example:
fields contain its arguments. Example:
\begin{tableau}{|l|p{8cm}|}{Constructed term}{Representation}
\entree{"()"}{"Val_int(0)"}