From d8a7500f03b0d5c7eb8caba0042ffcefdfec87c2 Mon Sep 17 00:00:00 2001 From: Grégoire Duchêne Date: Mon, 29 Sep 2014 14:18:13 +0200 Subject: Clarified a few helper functions --- src/Common.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Common.ml b/src/Common.ml index a477b58..6f7c5f4 100644 --- a/src/Common.ml +++ b/src/Common.ml @@ -167,10 +167,10 @@ let module_name = let pp = Format.formatter_of_out_channel stdout let id_not_found id = - failwith (sprintf "unknown ID ``%s''" (Ident.name id)) + failwith @$ sprintf "unknown ID ``%s''" @$ Ident.name id let unsupported_arity expected got = - failwith (sprintf "unsupported arity (expected %d, got %d)" expected got) + failwith @$ sprintf "unsupported arity (expected %d, got %d)" expected got let unsupported_lambda_term t = failwith "unsupported lambda term" -- cgit v1.2.3-70-g09d2