summaryrefslogtreecommitdiff
path: root/lib/bio/bio.myr
diff options
context:
space:
mode:
Diffstat (limited to 'lib/bio/bio.myr')
-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)