From bd12617f0affb49a6c052804e13a7f672667f637 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Thu, 9 Jan 2025 08:54:01 +0100 Subject: [PATCH] Move a type It was causing type inference problems in visitors. --- charon-ml/src/generated/Generated_Types.ml | 2 +- charon/src/bin/generate-ml/main.rs | 1 - 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/charon-ml/src/generated/Generated_Types.ml b/charon-ml/src/generated/Generated_Types.ml index ea1ec971..0462815a 100644 --- a/charon-ml/src/generated/Generated_Types.ml +++ b/charon-ml/src/generated/Generated_Types.ml @@ -104,7 +104,6 @@ and 'a0 de_bruijn_var = is not used in charon internals, only as a micro-pass before exporting the crate data. *) -and region_id = (RegionId.id[@visitors.opaque]) and type_var_id = (TypeVarId.id[@visitors.opaque]) and const_generic_var_id = (ConstGenericVarId.id[@visitors.opaque]) and trait_clause_id = (TraitClauseId.id[@visitors.opaque]) @@ -201,6 +200,7 @@ and global_decl_ref = { } and trait_item_name = string +and region_id = (RegionId.id[@visitors.opaque]) (** A region variable in a signature or binder. *) and region_var = (region_id, string option) indexed_var diff --git a/charon/src/bin/generate-ml/main.rs b/charon/src/bin/generate-ml/main.rs index 93ace7e5..046c0e7a 100644 --- a/charon/src/bin/generate-ml/main.rs +++ b/charon/src/bin/generate-ml/main.rs @@ -1183,7 +1183,6 @@ fn generate_ml( reduce: true, extra_types: &[], })), &[ - "RegionId", "TypeVarId", "ConstGeneric", "TraitClauseId",