diff options
author | Son Ho | 2023-09-17 05:15:18 +0200 |
---|---|---|
committer | Son Ho | 2023-09-17 05:15:18 +0200 |
commit | 47bc2ba74c90c1a29a081b8950022f74408f037e (patch) | |
tree | f33aa9ec176637c6311686360ce113a186272078 /compiler/Contexts.ml | |
parent | 296f97bb6a768ffd85f35db2762f2db4f7a357ad (diff) |
Merge trans_ctx and decls_ctx
Diffstat (limited to '')
-rw-r--r-- | compiler/Contexts.ml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/compiler/Contexts.ml b/compiler/Contexts.ml index 65760d94..a5bc7dc0 100644 --- a/compiler/Contexts.ml +++ b/compiler/Contexts.ml @@ -255,7 +255,11 @@ type type_context = { } [@@deriving show] -type fun_context = { fun_decls : fun_decl FunDeclId.Map.t } [@@deriving show] +type fun_context = { + fun_decls : fun_decl FunDeclId.Map.t; + fun_infos : FunsAnalysis.fun_info FunDeclId.Map.t; +} +[@@deriving show] type global_context = { global_decls : global_decl GlobalDeclId.Map.t } [@@deriving show] |