diff options
author | Son Ho | 2023-11-15 22:03:21 +0100 |
---|---|---|
committer | Son Ho | 2023-11-15 22:03:21 +0100 |
commit | 21e3b719f2338f4d4a65c91edc0eb83d0b22393e (patch) | |
tree | d3cf2a846a2c5a767090dc0c418026ea8a239cad /compiler/FunsAnalysis.ml | |
parent | 4192258b7e5e3ed034ac16a326c455fe75fe6df4 (diff) |
Start updating the name type, cleanup the names and the module abbrevs
Diffstat (limited to '')
-rw-r--r-- | compiler/FunsAnalysis.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/compiler/FunsAnalysis.ml b/compiler/FunsAnalysis.ml index 1f17c1aa..d6898e96 100644 --- a/compiler/FunsAnalysis.ml +++ b/compiler/FunsAnalysis.ml @@ -175,15 +175,15 @@ let analyze_module (m : crate) (funs_map : fun_decl FunDeclId.Map.t) let rec analyze_decl_groups (decls : declaration_group list) : unit = match decls with | [] -> () - | (Type _ | TraitDecl _ | TraitImpl _) :: decls' -> + | (TypeGroup _ | TraitDeclGroup _ | TraitImplGroup _) :: decls' -> analyze_decl_groups decls' - | Fun decl :: decls' -> + | FunGroup decl :: decls' -> analyze_fun_decl_group decl; analyze_decl_groups decls' - | Global id :: decls' -> + | GlobalGroup id :: decls' -> (* Analyze a global by analyzing its body function *) let global = GlobalDeclId.Map.find id globals_map in - analyze_fun_decl_group (NonRec global.body_id); + analyze_fun_decl_group (NonRec global.body); analyze_decl_groups decls' in |