# underlying implementation and that the services are semantically correct.
module primitive_types
-intrude import standard::file
-intrude import standard::text::flat
+intrude import core::file
+intrude import core::text::flat
# Wrapper for `NativeFile`
class PrimitiveNativeFile
return str.length
end
- fun io_write(buf: NativeString, len: Int): Int do
- if file isa FileStream then return file.as(FileStream)._file.io_write(buf, len)
- file.as(Writer).write(buf.to_s_with_length(len))
+ fun io_write(buf: NativeString, from, len: Int): Int do
+ if file isa FileStream then return file.as(FileStream)._file.io_write(buf, from, len)
+ file.as(Writer).write(buf.to_s_with_length(len).substring_from(from))
return len
end