Hello,
In the file:
typing/path.mli
contains the following definition:
type t =
Pident of Ident.t
| Pdot of t * string * int
| Papply of t * t
What is the semantics of third parameter?
In the implementation I see it either ignored or passed verbatime around
but I have failed to spot a place where it is actually used for
something so I failed to figure out its meaning.
(ocaml{c,opt,opt.opt} can perhaps even implement a warning option for
detecting defined variant parameters that are either ignored or only
uselessly passed around in this way. :-) )
More precisely, when constructing Pdot variant value, when should one
use anything other than Path.nopos?
Thanks in advance for any help.
--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
