OCaml Attribute

Question

Ich schaute auf das Handbuch und fand, dass es in OCaml Attribute gibt, Dinge als veraltet zu deklarieren (siehe http://caml.inria.fr/pub/docs/manual-ocaml/extn.html), aber ich kann nicht herausfinden, wie sie vom Compiler erkannt werden.

Hier ist das Programm, das ich schrieb:

let x = 1 [@@ocaml.deprecated "don't use this"] 

type t = X | Y [@@ocaml.deprecated "don't use this"] 

let _ = 
    let y = Y in 
    match y with 
    | X -> 
    print_string (string_of_int x) 
    | Y -> assert false 

(Ich habe auch versucht [@@deprecated ...] anstatt [@@ocaml.deprecated ...] mit dem gleichen Ergebnis). Ich erhalte keine Warnungen, wenn ich laufe:

ocamlbuild src/trial.byte 

Gibt es etwas, das ich in meiner _tags Datei einrichten müssen? Gibt es noch etwas, das mir hier fehlt?

Answer 1

Die veraltete Annotation ist nur für Werte (nicht für Typen) und meist in Signaturen verfügbar. In Ihrem Fall hier, wie es getan werden soll:

module M : sig 
    val x : int [@@deprecated "don't use this"] 
    type t = 
    | X [@deprecated "don't use this"] 
    | Y [@deprecated "don't use this"] 
end = struct 
    let x = 1 
    type t = X | Y 
end 
open M 

let _ = 
    let y = Y in 
    match y with 
    | X -> 
    print_string (string_of_int x) 
    | Y -> assert false 

Answer 2

Scheint von 4.02.3, für diese Version, #require "ppx_jane";; vor Ihrem Code zu arbeiten. Mit 4.03.0 funktioniert es nativ.