@grain/stdlib 0.4.4 → 0.5.0

package/runtime/unsafe/wasmi64.md

@@ -0,0 +1,300 @@
+### Wasmi64.**load**
+
+```grain
+load : (WasmI32, WasmI32) -> WasmI64
+```
+
+### Wasmi64.**load8S**
+
+```grain
+load8S : (WasmI32, WasmI32) -> WasmI64
+```
+
+### Wasmi64.**load8U**
+
+```grain
+load8U : (WasmI32, WasmI32) -> WasmI64
+```
+
+### Wasmi64.**load16S**
+
+```grain
+load16S : (WasmI32, WasmI32) -> WasmI64
+```
+
+### Wasmi64.**load16U**
+
+```grain
+load16U : (WasmI32, WasmI32) -> WasmI64
+```
+
+### Wasmi64.**load32S**
+
+```grain
+load32S : (WasmI32, WasmI32) -> WasmI64
+```
+
+### Wasmi64.**load32U**
+
+```grain
+load32U : (WasmI32, WasmI32) -> WasmI64
+```
+
+### Wasmi64.**store**
+
+```grain
+store : (WasmI32, WasmI64, WasmI32) -> Void
+```
+
+### Wasmi64.**store8**
+
+```grain
+store8 : (WasmI32, WasmI64, WasmI32) -> Void
+```
+
+### Wasmi64.**store16**
+
+```grain
+store16 : (WasmI32, WasmI64, WasmI32) -> Void
+```
+
+### Wasmi64.**store32**
+
+```grain
+store32 : (WasmI32, WasmI64, WasmI32) -> Void
+```
+
+### Wasmi64.**clz**
+
+```grain
+clz : WasmI64 -> WasmI64
+```
+
+### Wasmi64.**ctz**
+
+```grain
+ctz : WasmI64 -> WasmI64
+```
+
+### Wasmi64.**popcnt**
+
+```grain
+popcnt : WasmI64 -> WasmI64
+```
+
+### Wasmi64.**eqz**
+
+```grain
+eqz : WasmI64 -> Bool
+```
+
+### Wasmi64.**add**
+
+```grain
+add : (WasmI64, WasmI64) -> WasmI64
+```
+
+### Wasmi64.**sub**
+
+```grain
+sub : (WasmI64, WasmI64) -> WasmI64
+```
+
+### Wasmi64.**mul**
+
+```grain
+mul : (WasmI64, WasmI64) -> WasmI64
+```
+
+### Wasmi64.**divS**
+
+```grain
+divS : (WasmI64, WasmI64) -> WasmI64
+```
+
+### Wasmi64.**divU**
+
+```grain
+divU : (WasmI64, WasmI64) -> WasmI64
+```
+
+### Wasmi64.**remS**
+
+```grain
+remS : (WasmI64, WasmI64) -> WasmI64
+```
+
+### Wasmi64.**remU**
+
+```grain
+remU : (WasmI64, WasmI64) -> WasmI64
+```
+
+### Wasmi64.**and**
+
+```grain
+and : (WasmI64, WasmI64) -> WasmI64
+```
+
+### Wasmi64.**or**
+
+```grain
+or : (WasmI64, WasmI64) -> WasmI64
+```
+
+### Wasmi64.**xor**
+
+```grain
+xor : (WasmI64, WasmI64) -> WasmI64
+```
+
+### Wasmi64.**shl**
+
+```grain
+shl : (WasmI64, WasmI64) -> WasmI64
+```
+
+### Wasmi64.**shrU**
+
+```grain
+shrU : (WasmI64, WasmI64) -> WasmI64
+```
+
+### Wasmi64.**shrS**
+
+```grain
+shrS : (WasmI64, WasmI64) -> WasmI64
+```
+
+### Wasmi64.**rotl**
+
+```grain
+rotl : (WasmI64, WasmI64) -> WasmI64
+```
+
+### Wasmi64.**rotr**
+
+```grain
+rotr : (WasmI64, WasmI64) -> WasmI64
+```
+
+### Wasmi64.**eq**
+
+```grain
+eq : (WasmI64, WasmI64) -> Bool
+```
+
+### Wasmi64.**ne**
+
+```grain
+ne : (WasmI64, WasmI64) -> Bool
+```
+
+### Wasmi64.**ltS**
+
+```grain
+ltS : (WasmI64, WasmI64) -> Bool
+```
+
+### Wasmi64.**ltU**
+
+```grain
+ltU : (WasmI64, WasmI64) -> Bool
+```
+
+### Wasmi64.**leS**
+
+```grain
+leS : (WasmI64, WasmI64) -> Bool
+```
+
+### Wasmi64.**leU**
+
+```grain
+leU : (WasmI64, WasmI64) -> Bool
+```
+
+### Wasmi64.**gtS**
+
+```grain
+gtS : (WasmI64, WasmI64) -> Bool
+```
+
+### Wasmi64.**gtU**
+
+```grain
+gtU : (WasmI64, WasmI64) -> Bool
+```
+
+### Wasmi64.**geS**
+
+```grain
+geS : (WasmI64, WasmI64) -> Bool
+```
+
+### Wasmi64.**geU**
+
+```grain
+geU : (WasmI64, WasmI64) -> Bool
+```
+
+### Wasmi64.**extendI32S**
+
+```grain
+extendI32S : WasmI32 -> WasmI64
+```
+
+### Wasmi64.**extendI32U**
+
+```grain
+extendI32U : WasmI32 -> WasmI64
+```
+
+### Wasmi64.**truncF32S**
+
+```grain
+truncF32S : WasmF32 -> WasmI64
+```
+
+### Wasmi64.**truncF32U**
+
+```grain
+truncF32U : WasmF32 -> WasmI64
+```
+
+### Wasmi64.**truncF64S**
+
+```grain
+truncF64S : WasmF64 -> WasmI64
+```
+
+### Wasmi64.**truncF64U**
+
+```grain
+truncF64U : WasmF64 -> WasmI64
+```
+
+### Wasmi64.**reinterpretF64**
+
+```grain
+reinterpretF64 : WasmF64 -> WasmI64
+```
+
+### Wasmi64.**extendS8**
+
+```grain
+extendS8 : WasmI64 -> WasmI64
+```
+
+### Wasmi64.**extendS16**
+
+```grain
+extendS16 : WasmI64 -> WasmI64
+```
+
+### Wasmi64.**extendS32**
+
+```grain
+extendS32 : WasmI64 -> WasmI64
+```
+

package/runtime/utils/printing.gr

@@ -0,0 +1,62 @@
+/* grainc-flags --no-pervasives */
+// Printing utilities for runtime code (primarily for debugging)
+import WasmI32 from "runtime/unsafe/wasmi32"
+import Memory from "runtime/unsafe/memory"
+import NumberUtils from "runtime/numberUtils"
+
+import foreign wasm fd_write: (
+  WasmI32,
+  WasmI32,
+  WasmI32,
+  WasmI32,
+) -> WasmI32 from "wasi_snapshot_preview1"
+
+@unsafe
+export let rec numberToString = (n: WasmI64) => {
+  NumberUtils.itoa64(n, 10n)
+}
+
+@unsafe
+export let rec printNumber = (n: WasmI64) => {
+  // like print(), but `s` should be a Grain string
+  let (+) = WasmI32.add
+  let s = numberToString(n)
+  let ptr = WasmI32.fromGrain(s)
+  // iov: [<ptr to string> <nbytes of string> <ptr to newline> <nbytes of newline>] (32 bytes)
+  // buf: <iov> <written> <newline char>
+  // fd_write(STDOUT (1), iov, len(iov), written)
+  let buf = Memory.malloc(37n)
+  let iov = buf
+  let written = buf + 32n
+  let lf = buf + 36n
+  WasmI32.store(iov, ptr + 8n, 0n)
+  WasmI32.store(iov, WasmI32.load(ptr, 4n), 4n)
+  WasmI32.store8(lf, 10n, 0n)
+  WasmI32.store(iov, lf, 8n)
+  WasmI32.store(iov, 1n, 12n)
+  fd_write(1n, iov, 2n, written)
+  Memory.free(buf)
+  void
+}
+
+@unsafe
+export let rec printString = (s: String) => {
+  // like print(), but `s` should be a Grain string
+  let (+) = WasmI32.add
+  let ptr = WasmI32.fromGrain(s)
+  // iov: [<ptr to string> <nbytes of string> <ptr to newline> <nbytes of newline>] (32 bytes)
+  // buf: <iov> <written> <newline char>
+  // fd_write(STDOUT (1), iov, len(iov), written)
+  let buf = Memory.malloc(37n)
+  let iov = buf
+  let written = buf + 32n
+  let lf = buf + 36n
+  WasmI32.store(iov, ptr + 8n, 0n)
+  WasmI32.store(iov, WasmI32.load(ptr, 4n), 4n)
+  WasmI32.store8(lf, 10n, 0n)
+  WasmI32.store(iov, lf, 8n)
+  WasmI32.store(iov, 1n, 12n)
+  fd_write(1n, iov, 2n, written)
+  Memory.free(buf)
+  void
+}

package/runtime/utils/printing.md

@@ -0,0 +1,18 @@
+### Printing.**numberToString**
+
+```grain
+numberToString : WasmI64 -> String
+```
+
+### Printing.**printNumber**
+
+```grain
+printNumber : WasmI64 -> Void
+```
+
+### Printing.**printString**
+
+```grain
+printString : String -> Void
+```
+

package/runtime/wasi.gr

@@ -6,26 +6,66 @@ import WasmI32 from "runtime/unsafe/wasmi32"
 import Exception from "exception"
 
 // env
-import foreign wasm args_get: (WasmI32, WasmI32) -> WasmI32 from "wasi_snapshot_preview1"
-import foreign wasm args_sizes_get: (WasmI32, WasmI32) -> WasmI32 from "wasi_snapshot_preview1"
-import foreign wasm environ_get: (WasmI32, WasmI32) -> WasmI32 from "wasi_snapshot_preview1"
-import foreign wasm environ_sizes_get: (WasmI32, WasmI32) -> WasmI32 from "wasi_snapshot_preview1"
+import foreign wasm args_get: (
+  WasmI32,
+  WasmI32,
+) -> WasmI32 from "wasi_snapshot_preview1"
+import foreign wasm args_sizes_get: (
+  WasmI32,
+  WasmI32,
+) -> WasmI32 from "wasi_snapshot_preview1"
+import foreign wasm environ_get: (
+  WasmI32,
+  WasmI32,
+) -> WasmI32 from "wasi_snapshot_preview1"
+import foreign wasm environ_sizes_get: (
+  WasmI32,
+  WasmI32,
+) -> WasmI32 from "wasi_snapshot_preview1"
 
 // proc
-import foreign wasm proc_exit: (WasmI32) -> Void from "wasi_snapshot_preview1"
-import foreign wasm proc_raise: (WasmI32) -> WasmI32 from "wasi_snapshot_preview1"
+import foreign wasm proc_exit: WasmI32 -> Void from "wasi_snapshot_preview1"
+import foreign wasm proc_raise: WasmI32 -> WasmI32 from "wasi_snapshot_preview1"
 import foreign wasm sched_yield: () -> WasmI32 from "wasi_snapshot_preview1"
 
 // random
-import foreign wasm random_get : (WasmI32, WasmI32) -> WasmI32 from "wasi_snapshot_preview1"
+import foreign wasm random_get: (
+  WasmI32,
+  WasmI32,
+) -> WasmI32 from "wasi_snapshot_preview1"
 
 // time
-import foreign wasm clock_time_get: (WasmI32, WasmI64, WasmI32) -> WasmI32 from "wasi_snapshot_preview1"
+import foreign wasm clock_time_get: (
+  WasmI32,
+  WasmI64,
+  WasmI32,
+) -> WasmI32 from "wasi_snapshot_preview1"
 
 // file
-import foreign wasm path_open : (WasmI32, WasmI32, WasmI32, WasmI32, WasmI32, WasmI64, WasmI64, WasmI32, WasmI32) -> WasmI32 from "wasi_snapshot_preview1"
-import foreign wasm fd_read : (WasmI32, WasmI32, WasmI32, WasmI32) -> WasmI32 from "wasi_snapshot_preview1"
-import foreign wasm fd_pread : (WasmI32, WasmI32, WasmI32, WasmI64, WasmI32) -> WasmI32 from "wasi_snapshot_preview1"
+import foreign wasm path_open: (
+  WasmI32,
+  WasmI32,
+  WasmI32,
+  WasmI32,
+  WasmI32,
+  WasmI64,
+  WasmI64,
+  WasmI32,
+  WasmI32,
+) -> WasmI32 from "wasi_snapshot_preview1"
+import foreign wasm fd_read: (
+  WasmI32,
+  WasmI32,
+  WasmI32,
+  WasmI32,
+) -> WasmI32 from "wasi_snapshot_preview1"
+import foreign wasm fd_pread: (
+  WasmI32,
+  WasmI32,
+  WasmI32,
+  WasmI64,
+  WasmI32,
+) -> WasmI32 from "wasi_snapshot_preview1"
 /**
  * Invokes the `fd_write` system call.
  *
@@ -33,33 +73,140 @@ import foreign wasm fd_pread : (WasmI32, WasmI32, WasmI32, WasmI64, WasmI32) ->
  * @param iovs: The pointer to the array of iovs to write
  * @param iovs_len: The length of the array of iovs
  * @param nwritten: Where to store the number of bytes written
- * @return The number of bytes written
+ * @returns The number of bytes written
  */
-import foreign wasm fd_write : (WasmI32, WasmI32, WasmI32, WasmI32) -> WasmI32 from "wasi_snapshot_preview1"
-import foreign wasm fd_pwrite : (WasmI32, WasmI32, WasmI32, WasmI64, WasmI32) -> WasmI32 from "wasi_snapshot_preview1"
-import foreign wasm fd_allocate : (WasmI32, WasmI64, WasmI64) -> WasmI32 from "wasi_snapshot_preview1"
-import foreign wasm fd_close : (WasmI32) -> WasmI32 from "wasi_snapshot_preview1"
-import foreign wasm fd_datasync : (WasmI32) -> WasmI32 from "wasi_snapshot_preview1"
-import foreign wasm fd_sync : (WasmI32) -> WasmI32 from "wasi_snapshot_preview1"
-import foreign wasm fd_fdstat_get : (WasmI32, WasmI32) -> WasmI32 from "wasi_snapshot_preview1"
-import foreign wasm fd_fdstat_set_flags : (WasmI32, WasmI32) -> WasmI32 from "wasi_snapshot_preview1"
-import foreign wasm fd_fdstat_set_rights : (WasmI32, WasmI64, WasmI64) -> WasmI32 from "wasi_snapshot_preview1"
-import foreign wasm fd_filestat_get : (WasmI32, WasmI32) -> WasmI32 from "wasi_snapshot_preview1"
-import foreign wasm fd_filestat_set_size : (WasmI32, WasmI64) -> WasmI32 from "wasi_snapshot_preview1"
-import foreign wasm fd_filestat_set_times : (WasmI32, WasmI64, WasmI64, WasmI32) -> WasmI32 from "wasi_snapshot_preview1"
-import foreign wasm fd_readdir : (WasmI32, WasmI32, WasmI32, WasmI64, WasmI32) -> WasmI32 from "wasi_snapshot_preview1"
-import foreign wasm fd_renumber : (WasmI32, WasmI32) -> WasmI32 from "wasi_snapshot_preview1"
-import foreign wasm fd_seek : (WasmI32, WasmI64, WasmI32, WasmI32) -> WasmI32 from "wasi_snapshot_preview1"
-import foreign wasm fd_tell : (WasmI32, WasmI32) -> WasmI32 from "wasi_snapshot_preview1"
-import foreign wasm path_create_directory : (WasmI32, WasmI32, WasmI32) -> WasmI32 from "wasi_snapshot_preview1"
-import foreign wasm path_filestat_get : (WasmI32, WasmI32, WasmI32, WasmI32, WasmI32) -> WasmI32 from "wasi_snapshot_preview1"
-import foreign wasm path_filestat_set_times : (WasmI32, WasmI32, WasmI32, WasmI32, WasmI64, WasmI64, WasmI32) -> WasmI32 from "wasi_snapshot_preview1"
-import foreign wasm path_link : (WasmI32, WasmI32, WasmI32, WasmI32, WasmI32, WasmI32, WasmI32) -> WasmI32 from "wasi_snapshot_preview1"
-import foreign wasm path_symlink : (WasmI32, WasmI32, WasmI32, WasmI32, WasmI32) -> WasmI32 from "wasi_snapshot_preview1"
-import foreign wasm path_unlink_file : (WasmI32, WasmI32, WasmI32) -> WasmI32 from "wasi_snapshot_preview1"
-import foreign wasm path_readlink : (WasmI32, WasmI32, WasmI32, WasmI32, WasmI32, WasmI32) -> WasmI32 from "wasi_snapshot_preview1"
-import foreign wasm path_remove_directory : (WasmI32, WasmI32, WasmI32) -> WasmI32 from "wasi_snapshot_preview1"
-import foreign wasm path_rename : (WasmI32, WasmI32, WasmI32, WasmI32, WasmI32, WasmI32) -> WasmI32 from "wasi_snapshot_preview1"
+import foreign wasm fd_write: (
+  WasmI32,
+  WasmI32,
+  WasmI32,
+  WasmI32,
+) -> WasmI32 from "wasi_snapshot_preview1"
+import foreign wasm fd_pwrite: (
+  WasmI32,
+  WasmI32,
+  WasmI32,
+  WasmI64,
+  WasmI32,
+) -> WasmI32 from "wasi_snapshot_preview1"
+import foreign wasm fd_allocate: (
+  WasmI32,
+  WasmI64,
+  WasmI64,
+) -> WasmI32 from "wasi_snapshot_preview1"
+import foreign wasm fd_close: WasmI32 -> WasmI32 from "wasi_snapshot_preview1"
+import foreign wasm fd_datasync: WasmI32 -> WasmI32 from "wasi_snapshot_preview1"
+import foreign wasm fd_sync: WasmI32 -> WasmI32 from "wasi_snapshot_preview1"
+import foreign wasm fd_fdstat_get: (
+  WasmI32,
+  WasmI32,
+) -> WasmI32 from "wasi_snapshot_preview1"
+import foreign wasm fd_fdstat_set_flags: (
+  WasmI32,
+  WasmI32,
+) -> WasmI32 from "wasi_snapshot_preview1"
+import foreign wasm fd_fdstat_set_rights: (
+  WasmI32,
+  WasmI64,
+  WasmI64,
+) -> WasmI32 from "wasi_snapshot_preview1"
+import foreign wasm fd_filestat_get: (
+  WasmI32,
+  WasmI32,
+) -> WasmI32 from "wasi_snapshot_preview1"
+import foreign wasm fd_filestat_set_size: (
+  WasmI32,
+  WasmI64,
+) -> WasmI32 from "wasi_snapshot_preview1"
+import foreign wasm fd_filestat_set_times: (
+  WasmI32,
+  WasmI64,
+  WasmI64,
+  WasmI32,
+) -> WasmI32 from "wasi_snapshot_preview1"
+import foreign wasm fd_readdir: (
+  WasmI32,
+  WasmI32,
+  WasmI32,
+  WasmI64,
+  WasmI32,
+) -> WasmI32 from "wasi_snapshot_preview1"
+import foreign wasm fd_renumber: (
+  WasmI32,
+  WasmI32,
+) -> WasmI32 from "wasi_snapshot_preview1"
+import foreign wasm fd_seek: (
+  WasmI32,
+  WasmI64,
+  WasmI32,
+  WasmI32,
+) -> WasmI32 from "wasi_snapshot_preview1"
+import foreign wasm fd_tell: (
+  WasmI32,
+  WasmI32,
+) -> WasmI32 from "wasi_snapshot_preview1"
+import foreign wasm path_create_directory: (
+  WasmI32,
+  WasmI32,
+  WasmI32,
+) -> WasmI32 from "wasi_snapshot_preview1"
+import foreign wasm path_filestat_get: (
+  WasmI32,
+  WasmI32,
+  WasmI32,
+  WasmI32,
+  WasmI32,
+) -> WasmI32 from "wasi_snapshot_preview1"
+import foreign wasm path_filestat_set_times: (
+  WasmI32,
+  WasmI32,
+  WasmI32,
+  WasmI32,
+  WasmI64,
+  WasmI64,
+  WasmI32,
+) -> WasmI32 from "wasi_snapshot_preview1"
+import foreign wasm path_link: (
+  WasmI32,
+  WasmI32,
+  WasmI32,
+  WasmI32,
+  WasmI32,
+  WasmI32,
+  WasmI32,
+) -> WasmI32 from "wasi_snapshot_preview1"
+import foreign wasm path_symlink: (
+  WasmI32,
+  WasmI32,
+  WasmI32,
+  WasmI32,
+  WasmI32,
+) -> WasmI32 from "wasi_snapshot_preview1"
+import foreign wasm path_unlink_file: (
+  WasmI32,
+  WasmI32,
+  WasmI32,
+) -> WasmI32 from "wasi_snapshot_preview1"
+import foreign wasm path_readlink: (
+  WasmI32,
+  WasmI32,
+  WasmI32,
+  WasmI32,
+  WasmI32,
+  WasmI32,
+) -> WasmI32 from "wasi_snapshot_preview1"
+import foreign wasm path_remove_directory: (
+  WasmI32,
+  WasmI32,
+  WasmI32,
+) -> WasmI32 from "wasi_snapshot_preview1"
+import foreign wasm path_rename: (
+  WasmI32,
+  WasmI32,
+  WasmI32,
+  WasmI32,
+  WasmI32,
+  WasmI32,
+) -> WasmI32 from "wasi_snapshot_preview1"
 
 // clocks
 let _CLOCK_REALTIME = 0n
@@ -176,17 +323,19 @@ let _ENOTCAPABLE = 76n
 
 exception SystemError(Number)
 
-let stringOfSystemError = (code) => {
+let stringOfSystemError = code => {
   let n = WasmI32.shrS(WasmI32.fromGrain(code), 1n)
   let (==) = WasmI32.eq
   match (n) {
-    n when n == _ESUCCESS => "SystemError: No error occurred. System call completed successfully.",
+    n when n == _ESUCCESS =>
+      "SystemError: No error occurred. System call completed successfully.",
     n when n == _ETOOBIG => "SystemError: Argument list too long.",
     n when n == _EACCES => "SystemError: Permission denied.",
     n when n == _EADDRINUSE => "SystemError: Address in use.",
     n when n == _EADDRNOTAVAIL => "SystemError: Address not available.",
     n when n == _EAFNOSUPPORT => "SystemError: Address family not supported.",
-    n when n == _EAGAIN => "SystemError: Resource unavailable, or operation would block.",
+    n when n == _EAGAIN =>
+      "SystemError: Resource unavailable, or operation would block.",
     n when n == _EALREADY => "SystemError: Connection already in progress.",
     n when n == _EBADF => "SystemError: Bad file descriptor.",
     n when n == _EBADMSG => "SystemError: Bad message.",
@@ -198,7 +347,8 @@ let stringOfSystemError = (code) => {
     n when n == _ECONNRESET => "SystemError: Connection reset.",
     n when n == _EDEADLK => "SystemError: Resource deadlock would occur.",
     n when n == _EDESTADDRREQ => "SystemError: Destination address required.",
-    n when n == _EDOM => "SystemError: Mathematics argument out of domain of function.",
+    n when n == _EDOM =>
+      "SystemError: Mathematics argument out of domain of function.",
     n when n == _EDQUOT => "SystemError: Reserved.",
     n when n == _EEXIST => "SystemError: File exists.",
     n when n == _EFAULT => "SystemError: Bad address.",
@@ -234,14 +384,17 @@ let stringOfSystemError = (code) => {
     n when n == _ENOSPC => "SystemError: No space left on device.",
     n when n == _ENOSYS => "SystemError: Function not supported.",
     n when n == _ENOTCONN => "SystemError: The socket is not connected.",
-    n when n == _ENOTDIR => "SystemError: Not a directory or a symbolic link to a directory.",
+    n when n == _ENOTDIR =>
+      "SystemError: Not a directory or a symbolic link to a directory.",
     n when n == _ENOTEMPTY => "SystemError: Directory not empty.",
     n when n == _ENOTRECOVERABLE => "SystemError: State not recoverable.",
     n when n == _ENOTSOCK => "SystemError: Not a socket.",
-    n when n == _ENOTSUP => "SystemError: Not supported, or operation not supported on socket.",
+    n when n == _ENOTSUP =>
+      "SystemError: Not supported, or operation not supported on socket.",
     n when n == _ENOTTY => "SystemError: Inappropriate I/O control operation.",
     n when n == _ENXIO => "SystemError: No such device or address.",
-    n when n == _EOVERFLOW => "SystemError: Value too large to be stored in data type.",
+    n when n == _EOVERFLOW =>
+      "SystemError: Value too large to be stored in data type.",
     n when n == _EOWNERDEAD => "SystemError: Previous owner died.",
     n when n == _EPERM => "SystemError: Operation not permitted.",
     n when n == _EPIPE => "SystemError: Broken pipe.",
@@ -256,7 +409,8 @@ let stringOfSystemError = (code) => {
     n when n == _ETIMEDOUT => "SystemError: Connection timed out.",
     n when n == _ETXTBSY => "SystemError: Text file busy.",
     n when n == _EXDEV => "SystemError: Cross-device link.",
-    n when n == _ENOTCAPABLE => "SystemError: Extension: Capabilities insufficient.",
+    n when n == _ENOTCAPABLE =>
+      "SystemError: Extension: Capabilities insufficient.",
     _ => "SystemError: Unknown system error: " ++ toString(code),
   }
 }
@@ -264,6 +418,6 @@ let stringOfSystemError = (code) => {
 Exception.registerPrinter(e => {
   match (e) {
     SystemError(n) => Some(stringOfSystemError(n)),
-    _ => None
+    _ => None,
   }
 })