diff options
author | Ori Bernstein <ori@markovcorp.com> | 2017-07-17 15:30:01 -0700 |
---|---|---|
committer | Ori Bernstein <ori@markovcorp.com> | 2017-07-17 15:30:01 -0700 |
commit | 492aca3ff6f829ee09c52e17c86a808430ee7df4 (patch) | |
tree | f97424e14c9d3277c78ff53082daec725e1f4dcb /lib/bio | |
parent | 11f79ed8ff75049f6b1866d70bc032c8d18b1463 (diff) | |
download | mc-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.myr | 4 |
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) |