77 lines
2.4 KiB
OCaml
77 lines
2.4 KiB
OCaml
(**************************************************************************)
|
|
(* *)
|
|
(* OCaml *)
|
|
(* *)
|
|
(* Pierre Chambart, OCamlPro *)
|
|
(* *)
|
|
(* Copyright 2015 Institut National de Recherche en Informatique et *)
|
|
(* en Automatique. *)
|
|
(* *)
|
|
(* All rights reserved. This file is distributed under the terms of *)
|
|
(* the GNU Lesser General Public License version 2.1, with the *)
|
|
(* special exception on linking described in the file LICENSE. *)
|
|
(* *)
|
|
(**************************************************************************)
|
|
|
|
val check_attribute
|
|
: Typedtree.expression
|
|
-> Parsetree.attribute
|
|
-> unit
|
|
|
|
val check_attribute_on_module
|
|
: Typedtree.module_expr
|
|
-> Parsetree.attribute
|
|
-> unit
|
|
|
|
val add_inline_attribute
|
|
: Lambda.lambda
|
|
-> Location.t
|
|
-> Parsetree.attributes
|
|
-> Lambda.lambda
|
|
|
|
val get_inline_attribute
|
|
: Parsetree.attributes
|
|
-> Lambda.inline_attribute
|
|
|
|
val add_specialise_attribute
|
|
: Lambda.lambda
|
|
-> Location.t
|
|
-> Parsetree.attributes
|
|
-> Lambda.lambda
|
|
|
|
val get_specialise_attribute
|
|
: Parsetree.attributes
|
|
-> Lambda.specialise_attribute
|
|
|
|
val add_local_attribute
|
|
: Lambda.lambda
|
|
-> Location.t
|
|
-> Parsetree.attributes
|
|
-> Lambda.lambda
|
|
|
|
val get_local_attribute
|
|
: Parsetree.attributes
|
|
-> Lambda.local_attribute
|
|
|
|
val get_and_remove_inlined_attribute
|
|
: Typedtree.expression
|
|
-> Lambda.inline_attribute * Typedtree.expression
|
|
|
|
val get_and_remove_inlined_attribute_on_module
|
|
: Typedtree.module_expr
|
|
-> Lambda.inline_attribute * Typedtree.module_expr
|
|
|
|
val get_and_remove_specialised_attribute
|
|
: Typedtree.expression
|
|
-> Lambda.specialise_attribute * Typedtree.expression
|
|
|
|
val get_tailcall_attribute
|
|
: Typedtree.expression
|
|
-> Lambda.tailcall_attribute * Typedtree.expression
|
|
|
|
val add_function_attributes
|
|
: Lambda.lambda
|
|
-> Location.t
|
|
-> Parsetree.attributes
|
|
-> Lambda.lambda
|