0004319: Feature request: -dtypes preserve type variables names from annotations

Notes
(0004272) xleroy (administrator) 2007-11-10 15:18	It's an instance of a more general aspect of the OCaml printer for types, namely that it invents names 'a, 'b, etc, for type variables occurring in types. The infrastructure to record and propagate user-provided names is simply not there. I'm afraid it won't change any time soon, but leave this PR as a feature wish.

(0005071) bartjacobs (reporter) 2009-09-07 19:54	Notice that F# does this: it preserves user-provided type variable names in error messages and IDE tooltips. It even issues a warning when it constrains a user-provided type variable, saying something like "the polymorphism of this function is less than what is indicated by the type annotations".

(0007495) garrigue (manager) 2012-06-01 09:38	In the upcoming ocaml 4.00, type names are kept during type inference, and they should also appear in .annot files. Whether we should have a warning when instantiating user-named type variables is an open question. In Standard ML this is an error to instantiate a provided type. In OCaml type variables are handled just as unification variables, which can be freely instantiated, but since 3.12 one can also use explicitly polymorphic type annotations to prohibit instantiation.

Relationships