Merge pull request #480 from savi-lang/add/env-out-flush

jemc · web-flow · commit 5fff3e05e731 · 2024-06-13T17:40:07.000-07:00
Add `Env.OutStream.flush` behavior.
diff --git a/core/Env.savi b/core/Env.savi
@@ -90,3 +90,7 @@
     chunks.each -> (data |
       _FFI.pony_os_std_write(@_stream, data.cpointer, data.size)
     )
+
+  :: Ensure that all buffered data is flushed to the output stream.
+  :be flush
+    _FFI.pony_os_std_flush(@_stream)
diff --git a/core/_FFI.savi b/core/_FFI.savi
@@ -13,6 +13,7 @@
   :ffi pony_os_std_write(
     fp CPointer(None)'ref, buffer CPointer(U8), length USize
   ) None
+  :ffi pony_os_std_flush(fp CPointer(None)'ref) None
 
 :module _FFI.Cast(A, B)
   :: An FFI-only utility function for bit-casting type A to B.

Original file line number	Diff line number	Diff line change
`@@ -90,3 +90,7 @@`
`90`	`90`	`chunks.each -> (data \|`
`91`	`91`	`_FFI.pony_os_std_write(@_stream, data.cpointer, data.size)`
`92`	`92`	`)`
	`93`	`+`
	`94`	`+ :: Ensure that all buffered data is flushed to the output stream.`
	`95`	`+ :be flush`
	`96`	`+ _FFI.pony_os_std_flush(@_stream)`