>But, no, you can ``do it internally'', if you wanted to write the
>corresponding Caml code. 

Right, I meant for an arbitrary identifier.

Anyway, is there a rationale for this?  Was it just not worth the effort, or did it lead to ambiguities or something?

Chris