summaryrefslogtreecommitdiff
path: root/lib/bio
diff options
context:
space:
mode:
authorOri Bernstein <ori@markovcorp.com>2017-07-17 15:30:01 -0700
committerOri Bernstein <ori@markovcorp.com>2017-07-17 15:30:01 -0700
commit492aca3ff6f829ee09c52e17c86a808430ee7df4 (patch)
treef97424e14c9d3277c78ff53082daec725e1f4dcb /lib/bio
parent11f79ed8ff75049f6b1866d70bc032c8d18b1463 (diff)
downloadmc-492aca3ff6f829ee09c52e17c86a808430ee7df4.tar.gz
Convert from `in` to `:`.
The winds of change are a-blowin.
Diffstat (limited to 'lib/bio')
-rw-r--r--lib/bio/bio.myr4
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/bio/bio.myr b/lib/bio/bio.myr
index be82867..465cc93 100644
--- a/lib/bio/bio.myr
+++ b/lib/bio/bio.myr
@@ -354,7 +354,7 @@ const getc = {f
}
/* ensures we have enough to read a single codepoint in the buffer */
-const ensurecodepoint : (f : file# -> status(std.size)) = {f
+const ensurecodepoint = {f
var b
var len
@@ -702,7 +702,7 @@ const geterr = {f
-> errtype(e)
}
-const errtype : (e : std.errno -> ioerr )= {e : std.errno -> ioerr
+const errtype = {e : std.errno -> ioerr
var errno
errno = (e : std.errno)