From d3f52e23ede39c4fd7845b6c5feb29d28b2a2384 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Fri, 21 Jun 2024 15:47:56 +0200
Subject: Update charon

---
 compiler/Translate.ml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'compiler/Translate.ml')

diff --git a/compiler/Translate.ml b/compiler/Translate.ml
index 23c0782a..0474d233 100644
--- a/compiler/Translate.ml
+++ b/compiler/Translate.ml
@@ -820,6 +820,9 @@ let extract_definitions (fmt : Format.formatter) (config : gen_config)
     | TraitImplGroup id ->
         if config.extract_trait_impls && config.extract_transparent then
           export_trait_impl id
+    | MixedGroup _ ->
+        craise_opt_span __FILE__ __LINE__ None
+          "Mixed-recursive declaration groups are not supported"
   in
 
   (* If we need to export the state type: we try to export it after we defined
-- 
cgit v1.2.3