Re: [Caml-list] How to rename a record field

[Alain Frisch <alain.frisch@lexifi.com>]

On 07/09/2018 12:13, Jacques Garrigue wrote:
> On 2018/09/07 17:36, Alain Frisch wrote:
>> Or indeed allow adding attributes on (labeled?) arguments, or interpret attributes on their types.  But internally, the information could always be attached to the value binding, which should be simpler than storing it in the type.
> 
> This is not so clear.
> The binding information could be hard to bring to the application type inference, while if it is contained in the label, it is already available where it is needed.

Do you have in mind really tracking the annotation during type 
inference?  For instance, to support binding a partial application of a 
function, and still track the deprecation of arguments of the resulting 
function?

I was thinking about a much more limited approach: the deprecation of 
arguments is checked when the functional value is referenced and 
immediately applied.

Quick POC to track the discussion on this topic: 
https://github.com/ocaml/ocaml/pull/2027


Alain

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs