From 756ede6179943f4c56cf0a6cc2a1c552452c362d Mon Sep 17 00:00:00 2001
From: Mylloon <kennel.anri@tutanota.com>
Date: Tue, 5 Dec 2023 13:52:18 +0100
Subject: [PATCH] mieux?

---
 flap/src/hopix/hopixTypechecker.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/flap/src/hopix/hopixTypechecker.ml b/flap/src/hopix/hopixTypechecker.ml
index 6982529..37177bc 100644
--- a/flap/src/hopix/hopixTypechecker.ml
+++ b/flap/src/hopix/hopixTypechecker.ml
@@ -128,7 +128,7 @@ and synth_tagged
       (fun x -> HopixTypes.internalize_ty tenv x)
       (match tlist with
        | Some t -> t
-       | None -> HopixTypes.type_error cons.position "No types ??")
+       | None -> HopixTypes.type_error cons.position "No types found")
   in
   let tcons =
     try HopixTypes.instantiate_type_scheme cons_scheme tys with
@@ -181,7 +181,7 @@ and synth_record
   let tlist' =
     match tlist with
     | Some tlist -> List.map (fun t -> HopixTypes.internalize_ty tenv t) tlist
-    | None -> HopixTypes.type_error fl.position "No types ??"
+    | None -> HopixTypes.type_error fl.position "No types found"
   in
   (* Type checking *)
   List.iter