diff options
| author | Escherichia | 2024-03-22 15:59:22 +0100 |
|---|---|---|
| committer | Escherichia | 2024-03-28 15:25:52 +0100 |
| commit | 76fda6b5d205a4422c2360b676227690714c9ac5 (patch) | |
| tree | 3e1a69d896afd9ff2277c83d9d8926d3864ff882 /compiler/InterpreterPaths.ml | |
| parent | 5209cea7012cfa3b39a5a289e65e2ea5e166d730 (diff) | |
Still need to fill the TODO: error message and check some meta but it builds
Diffstat (limited to 'compiler/InterpreterPaths.ml')
| -rw-r--r-- | compiler/InterpreterPaths.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/InterpreterPaths.ml b/compiler/InterpreterPaths.ml index c6db7f2e..c7141064 100644 --- a/compiler/InterpreterPaths.ml +++ b/compiler/InterpreterPaths.ml @@ -354,7 +354,7 @@ let compute_expanded_bottom_adt_value (meta : Meta.meta) (ctx : eval_ctx) (def_i should be an enumeration if and only if the projection element is a field projection with *some* variant id. Retrieve the list of fields at the same time. *) - let def = ctx_lookup_type_decl ctx def_id in (*TODO: check if can be moved before assert ?*) + let def = ctx_lookup_type_decl ctx def_id in cassert (List.length generics.regions = List.length def.generics.regions) meta "TODO: Error message"; (* Compute the field types *) let field_types = |