From 3c30abe0ac7e85f3867e7353d77e0a79feff0152 Mon Sep 17 00:00:00 2001
From: Mylloon <kennel.anri@tutanota.com>
Date: Mon, 4 Dec 2023 23:50:20 +0100
Subject: [PATCH] correct error msg

---
 flap/src/hopix/hopixTypechecker.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/flap/src/hopix/hopixTypechecker.ml b/flap/src/hopix/hopixTypechecker.ml
index 2d7918a..5abe051 100644
--- a/flap/src/hopix/hopixTypechecker.ml
+++ b/flap/src/hopix/hopixTypechecker.ml
@@ -102,7 +102,7 @@ and synth_variable
   let ty =
     try HopixTypes.lookup_type_scheme_of_identifier id.position id.value tenv with
     | HopixTypes.Unbound (pos, Identifier (Id i)) ->
-      HopixTypes.type_error pos (Printf.sprintf "%s unbound" i)
+      HopixTypes.type_error pos (Printf.sprintf "Unbound identifier `%s'." i)
   in
   match tlist with
   | None -> HopixTypes.instantiate_type_scheme ty []