shithub: MicroHs

Download patch

ref: dc5dfd7af095a366cb43b82bcfa146af2bdd250e
parent: 98c21bcaacdea83a273b248d32f0ccd16970eeb1
author: Lennart Augustsson <lennart@augustsson.net>
date: Sun Nov 5 11:42:17 EST 2023

Add IO.print

--- a/src/MicroHs/Translate.hs
+++ b/src/MicroHs/Translate.hs
@@ -120,6 +120,7 @@
   ("IO.getChar", primitive "IO.getChar"),
   ("IO.getRaw", primitive "IO.getRaw"),
   ("IO.putChar", primitive "IO.putChar"),
+  ("IO.print", primitive "IO.print"),
   ("IO.serialize", primitive "IO.serialize"),
   ("IO.deserialize", primitive "IO.deserialize"),
   ("IO.open", primitive "IO.open"),
--