This commit is contained in:
Simon Cruanes 2022-07-21 11:54:46 -04:00
parent 249dc3596e
commit d535cfe677
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -216,8 +216,9 @@ let decode_exn (s : string) : t =
| 28 | 29 | 30 -> failwith "cbor: malformed" | 28 | 29 | 30 -> failwith "cbor: malformed"
| 31 -> failwith "uncaught 'break' stop code" | 31 -> failwith "uncaught 'break' stop code"
| _ -> assert false (* unreachable *)) | _ -> assert false (* unreachable *))
| _ -> assert false | _ ->
(* unreachable *) (* unreachable *)
assert false
and read_bytes ~ty low = and read_bytes ~ty low =
match read_int ~allow_indefinite:true low |> i64_to_int with match read_int ~allow_indefinite:true low |> i64_to_int with
| exception Indefinite -> | exception Indefinite ->