diff options
| author | Son Ho | 2022-09-22 17:44:04 +0200 |
|---|---|---|
| committer | Son Ho | 2022-09-22 17:44:04 +0200 |
| commit | f106fd4ad0a221611c840bf0af0b1c2ff23f3d0f (patch) | |
| tree | 5542040036e571d75e2a42842dc68c628f7618dc /src/PureUtils.ml | |
| parent | 53481c4326c0f3c17b372880a9a19ee2eb45907d (diff) | |
Make minor modifications
Diffstat (limited to '')
| -rw-r--r-- | src/PureUtils.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/PureUtils.ml b/src/PureUtils.ml index 8a1c074d..e72ff9d7 100644 --- a/src/PureUtils.ml +++ b/src/PureUtils.ml @@ -402,7 +402,7 @@ let mk_result_ty (ty : ty) : ty = Adt (Assumed Result, [ ty ]) let unwrap_result_ty (ty : ty) : ty = match ty with | Adt (Assumed Result, [ ty ]) -> ty - | _ -> failwith "not a result" + | _ -> failwith "not a result type" let mk_result_fail_texpression (ty : ty) : texpression = let type_args = [ ty ] in |