summaryrefslogtreecommitdiff
path: root/lib/bio
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2015-12-27 21:15:57 -0800
committerOri Bernstein <ori@eigenstate.org>2015-12-27 21:15:57 -0800
commitd710ee583d7591cfaba91d7ee39676dbcae1a116 (patch)
tree3ac0b2d08a5a525243ea17a22e26edafc104578d /lib/bio
parent79bd9957c85b57f31089719c9715e66e99296bbc (diff)
downloadmc-d710ee583d7591cfaba91d7ee39676dbcae1a116.tar.gz
typo in bio.ensureread()
We should return n if we read exactly n bytes, as well as more than n bytes.
Diffstat (limited to 'lib/bio')
-rw-r--r--lib/bio/bio.myr2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/bio/bio.myr b/lib/bio/bio.myr
index 584f94e..da9b37d 100644
--- a/lib/bio/bio.myr
+++ b/lib/bio/bio.myr
@@ -567,7 +567,7 @@ const ensureread = {f, n
| `Eof: -> `Eof
| `Err e: -> `Err e
| `Ok len:
- if len > n
+ if len >= n
-> `Ok len
else
-> `Eof