From 89f82c504b377f92541b2313256adf525d7b20da Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 6 May 2024 12:26:57 +0200
Subject: Catch new literal variants

---
 compiler/ExtractTypes.ml | 3 +++
 compiler/PureUtils.ml    | 3 +++
 2 files changed, 6 insertions(+)

(limited to 'compiler')

diff --git a/compiler/ExtractTypes.ml b/compiler/ExtractTypes.ml
index 947eceff..6a6067de 100644
--- a/compiler/ExtractTypes.ml
+++ b/compiler/ExtractTypes.ml
@@ -70,6 +70,9 @@ let extract_literal (meta : Meta.meta) (fmt : F.formatter) (inside : bool)
           in
           F.pp_print_string fmt c;
           if inside then F.pp_print_string fmt ")")
+  | VStr _ | VByteStr _ ->
+      craise __FILE__ __LINE__ meta
+        "String and byte string literals are unsupported"
 
 (** Format a unary operation
 
diff --git a/compiler/PureUtils.ml b/compiler/PureUtils.ml
index fdd14eba..82a578d9 100644
--- a/compiler/PureUtils.ml
+++ b/compiler/PureUtils.ml
@@ -90,6 +90,9 @@ let compute_literal_type (cv : literal) : literal_type =
   | VScalar sv -> TInteger sv.int_ty
   | VBool _ -> TBool
   | VChar _ -> TChar
+  | VStr _ | VByteStr _ ->
+      craise_opt_meta __FILE__ __LINE__ None
+        "String and byte string literals are unsupported"
 
 let var_get_id (v : var) : VarId.id = v.id
 
-- 
cgit v1.2.3