diff options
| author | Grégoire Duchêne <gduchene@awhk.org> | 2014-09-29 14:18:13 +0200 |
|---|---|---|
| committer | Grégoire Duchêne <gduchene@awhk.org> | 2014-09-29 14:18:13 +0200 |
| commit | d8a7500f03b0d5c7eb8caba0042ffcefdfec87c2 (patch) | |
| tree | 98b158ad76f5b81936edb9d4af03ca45b8812123 | |
| parent | 187dcd089f8a86e8d8e769769496f791d69ec09d (diff) | |
Clarified a few helper functions
| -rw-r--r-- | src/Common.ml | 4 |
1 files 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" |