Improved temporary internal error message

This commit is contained in:
Suzanne Dupéron 2020-01-30 13:11:56 +00:00
parent 96468bd8ff
commit a6f0d7297c

View File

@ -57,8 +57,8 @@ let type_expression'_of_string = function
| "TC_timestamp" , [] -> ok @@ T_constant(TC_timestamp) | "TC_timestamp" , [] -> ok @@ T_constant(TC_timestamp)
| _, [] -> | _, [] ->
failwith "internal error: wrong number of arguments for type constant" failwith "internal error: wrong number of arguments for type constant"
| _ -> | op, _ ->
failwith "internal error: unknown type operator" failwith (Format.asprintf "internal error: unknown type operator in src/stages/common/misc.ml %s" op)
let string_of_type_operator = function let string_of_type_operator = function
| TC_contract x -> "TC_contract" , [x] | TC_contract x -> "TC_contract" , [x]