diff options
author | Son Ho | 2024-05-29 01:00:38 +0200 |
---|---|---|
committer | Son Ho | 2024-05-29 01:00:38 +0200 |
commit | 5330a6f728add1525854ad4cedd86b8e1d3a1fa7 (patch) | |
tree | 674356fb329c7646460db6f8d0bdd2798f0f662e /compiler/FunsAnalysis.ml | |
parent | b5eac0384818e1f51fbfd900ab580514e851b0ca (diff) |
Factor out code in ExtractBuiltin.ml
Diffstat (limited to 'compiler/FunsAnalysis.ml')
-rw-r--r-- | compiler/FunsAnalysis.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/FunsAnalysis.ml b/compiler/FunsAnalysis.ml index a11eab87..eadd8f8a 100644 --- a/compiler/FunsAnalysis.ml +++ b/compiler/FunsAnalysis.ml @@ -74,7 +74,8 @@ let analyze_module (m : crate) (funs_map : fun_decl FunDeclId.Map.t) way. *) let get_builtin_info (f : fun_decl) : ExtractBuiltin.effect_info option = let open ExtractBuiltin in - NameMatcherMap.find_opt name_matcher_ctx f.name builtin_fun_effects_map + NameMatcherMap.find_opt name_matcher_ctx f.name + (builtin_fun_effects_map ()) in (* JP: Why not use a reduce visitor here with a tuple of the values to be |