diff options
Diffstat (limited to 'asmcomp/asmgen.mli')
| -rw-r--r-- | asmcomp/asmgen.mli | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/asmcomp/asmgen.mli b/asmcomp/asmgen.mli index f71cba8f7c..cc249a9e9d 100644 --- a/asmcomp/asmgen.mli +++ b/asmcomp/asmgen.mli @@ -23,3 +23,15 @@ val compile_phrase : type error = Assembler_error of string exception Error of error val report_error: Format.formatter -> error -> unit + +type 'a hook = ('a -> 'a) + +val add_typedtree_hook : + (Typedtree.structure * Typedtree.module_coercion) hook -> unit +val add_lambda_hook : (int * Lambda.lambda) hook -> unit +val add_clambda_hook : Clambda.ulambda hook -> unit +val add_cmm_hook : Cmm.fundecl hook -> unit + +val eval_typedtree_hooks : + (Typedtree.structure * Typedtree.module_coercion) hook +val eval_lambda_hooks : (int * Lambda.lambda) hook |