diff options
Diffstat (limited to 'lib/bio/bio.myr')
-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) |