[Caml-list] crazy ocaml compiler implementation question

["Matej Košík" <5764c029b688c1c0d24a2e97cd764f@gmail.com>]

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.