diff options
| author | Escherichia | 2024-03-26 12:14:32 +0100 |
|---|---|---|
| committer | Escherichia | 2024-03-28 15:30:32 +0100 |
| commit | 7a304e990d80dc052f63f66401544040fa0f2728 (patch) | |
| tree | 584a2f38ad0f80601654af0e9fcf9d3b96d901ac /compiler/ExtractBase.ml | |
| parent | d6ea35868e30bbc7542bfa09bb04d5b6cbe93b22 (diff) | |
added a meta option field to norm_ctx and changed the meta used by some assert to the norm_ctx one
Diffstat (limited to 'compiler/ExtractBase.ml')
| -rw-r--r-- | compiler/ExtractBase.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/compiler/ExtractBase.ml b/compiler/ExtractBase.ml index 71717b57..6e799bd9 100644 --- a/compiler/ExtractBase.ml +++ b/compiler/ExtractBase.ml @@ -748,7 +748,6 @@ let ctx_get_local_trait_clause (meta : Meta.meta) (id : TraitClauseId.id) (ctx : let ctx_get_field (meta : Meta.meta) (type_id : type_id) (field_id : FieldId.id) (ctx : extraction_ctx) : string = - (* let meta = (TypeDeclId.Map.find type_id ctx.trans_types).meta in TODO : check how to get meta *) ctx_get ~meta:(Some meta) (FieldId (type_id, field_id)) ctx let ctx_get_struct (meta : Meta.meta) (def_id : type_id) (ctx : extraction_ctx) : string = |