From a6f0d7297cdfcb611716d628763164202a834b43 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Suzanne=20Dup=C3=A9ron?= Date: Thu, 30 Jan 2020 13:11:56 +0000 Subject: [PATCH] Improved temporary internal error message --- src/stages/common/misc.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/stages/common/misc.ml b/src/stages/common/misc.ml index 794a36e7c..c753d7f3b 100644 --- a/src/stages/common/misc.ml +++ b/src/stages/common/misc.ml @@ -57,8 +57,8 @@ let type_expression'_of_string = function | "TC_timestamp" , [] -> ok @@ T_constant(TC_timestamp) | _, [] -> failwith "internal error: wrong number of arguments for type constant" - | _ -> - failwith "internal error: unknown type operator" + | op, _ -> + failwith (Format.asprintf "internal error: unknown type operator in src/stages/common/misc.ml %s" op) let string_of_type_operator = function | TC_contract x -> "TC_contract" , [x]