ref: c04386762c224c031f679e94df910d699b5931a6
dir: /lib/bio/test/bio-endianrd.myr/
use std
use bio
generic try = {opt : bio.status(@a::(integral,numeric))-> @a::(integral,numeric)
match opt
| `bio.Ok val: -> val
| _: std.fatal("read failed")
;;
}
const main = {
var b : byte
var w : uint16
var l : uint32
var q : uint64
var f
/* use the expected write data as read data */
match bio.open("data/bio-endianwr-expected", bio.Rd)
| `std.Ok bio: f = bio
| `std.Err m: std.fatal("Unable to open data file: {}\n", m)
;;
/* byte */
b = 0xaa
var r = try(bio.getle8(f))
std.assert(r == b, "le byte broken: {x}\n", r)
std.assert(try(bio.getbe8(f)) == b, "be byte broken\n")
/* word */
w = 0xaabb
std.assert(try(bio.getle16(f)) == w, "le word broken\n")
std.assert(try(bio.getbe16(f)) == w, "be word broken\n")
/* long */
l = 0xaabbccdd
std.assert(try(bio.getle32(f)) == l, "le long broken\n")
std.assert(try(bio.getbe32(f)) == l, "be long broken\n")
/* quad */
q = (0x11223344aabbccdd : uint64)
std.assert(try(bio.getle64(f)) == q, "le quad broken\n")
std.assert(try(bio.getbe64(f)) == q, "be quad broken\n")
/* end of file */
match bio.getle64(f)
| `bio.Eof:
| `bio.Err _:
std.die("error on reading file\n")
| `bio.Ok v:
std.die("read past end of file\n")
v = q /* shut up type inference */
;;
bio.close(f);
std.put("success: all reads matched\n")
}