def file.unsized

snap@1.4.0.0 · src/file.bend:50

import Base

50# the reads a file with no size to go by may take: a pipe, a device or a
51# /proc file reports 0 bytes and a file past 4 GiB fails to report, so these
52# are read until they end, up to 100000 reads of 64 KiB
53def file.unsized() -> Nat:
54  U32.to_nat(100000)