diff options
Diffstat (limited to 'compiler/FunsAnalysis.ml')
-rw-r--r-- | compiler/FunsAnalysis.ml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/compiler/FunsAnalysis.ml b/compiler/FunsAnalysis.ml index 248ad8b3..39f85581 100644 --- a/compiler/FunsAnalysis.ml +++ b/compiler/FunsAnalysis.ml @@ -11,6 +11,10 @@ open LlbcAst open Crates module EU = ExpressionsUtils +(** Various information about a function. + + Note that not all this information is used yet to adjust the extraction yet. + *) type fun_info = { can_fail : bool; (* Not used yet: all the extracted functions use an error monad *) @@ -18,13 +22,9 @@ type fun_info = { divergent : bool; (* Not used yet *) } [@@deriving show] -(** Various information about a function. - Note that not all this information is used yet to adjust the extraction yet. - *) - -type modules_funs_info = fun_info FunDeclId.Map.t (** Various information about a module's functions *) +type modules_funs_info = fun_info FunDeclId.Map.t let analyze_module (m : llbc_crate) (funs_map : fun_decl FunDeclId.Map.t) (globals_map : global_decl GlobalDeclId.Map.t) (use_state : bool) : |