@grain/stdlib 0.4.4 → 0.5.0

package/runtime/unsafe/printWasm.gr

@@ -5,7 +5,7 @@ import Memory from "runtime/unsafe/memory"
 // [FIXME] These all leak ATM (grain-lang/grain#791)
 
 @disableGC
-export let printI32 = (val) => {
+export let printI32 = val => {
   Memory.incRef(WasmI32.fromGrain(print))
   Memory.incRef(WasmI32.fromGrain(toString))
   let conv = Conv.toInt32(val)
@@ -23,7 +23,7 @@ export let printI32 = (val) => {
 }
 
 @disableGC
-export let printI64 = (val) => {
+export let printI64 = val => {
   Memory.incRef(WasmI32.fromGrain(print))
   Memory.incRef(WasmI32.fromGrain(toString))
   let conv = Conv.toInt64(val)
@@ -41,7 +41,7 @@ export let printI64 = (val) => {
 }
 
 @disableGC
-export let printF32 = (val) => {
+export let printF32 = val => {
   Memory.incRef(WasmI32.fromGrain(print))
   Memory.incRef(WasmI32.fromGrain(toString))
   let conv = Conv.toFloat32(val)
@@ -59,7 +59,7 @@ export let printF32 = (val) => {
 }
 
 @disableGC
-export let printF64 = (val) => {
+export let printF64 = val => {
   Memory.incRef(WasmI32.fromGrain(print))
   Memory.incRef(WasmI32.fromGrain(toString))
   let conv = Conv.toFloat64(val)

package/runtime/unsafe/printWasm.md

@@ -0,0 +1,24 @@
+### PrintWasm.**printI32**
+
+```grain
+printI32 : WasmI32 -> Void
+```
+
+### PrintWasm.**printI64**
+
+```grain
+printI64 : WasmI64 -> Void
+```
+
+### PrintWasm.**printF32**
+
+```grain
+printF32 : WasmF32 -> Void
+```
+
+### PrintWasm.**printF64**
+
+```grain
+printF64 : WasmF64 -> Void
+```
+

package/runtime/unsafe/tags.gr

@@ -1,21 +1,21 @@
 /* grainc-flags --compilation-mode=runtime */
 
-export let _GRAIN_NUMBER_TAG_TYPE       = 0b0001n
-export let _GRAIN_CONST_TAG_TYPE        = 0b0110n
+export let _GRAIN_NUMBER_TAG_TYPE = 0b0001n
+export let _GRAIN_CHAR_TAG_TYPE = 0b0010n
+export let _GRAIN_CONST_TAG_TYPE = 0b0110n
 export let _GRAIN_GENERIC_HEAP_TAG_TYPE = 0b0000n
 
 export let _GRAIN_NUMBER_TAG_MASK = 0b0001n
 export let _GRAIN_GENERIC_TAG_MASK = 0b0111n
 
 export let _GRAIN_STRING_HEAP_TAG = 1n
-export let _GRAIN_CHAR_HEAP_TAG = 2n
-export let _GRAIN_ADT_HEAP_TAG = 3n
-export let _GRAIN_RECORD_HEAP_TAG = 4n
-export let _GRAIN_ARRAY_HEAP_TAG = 5n
-export let _GRAIN_BOXED_NUM_HEAP_TAG = 6n
-export let _GRAIN_LAMBDA_HEAP_TAG = 7n
-export let _GRAIN_TUPLE_HEAP_TAG = 8n
-export let _GRAIN_BYTES_HEAP_TAG = 9n
+export let _GRAIN_ADT_HEAP_TAG = 2n
+export let _GRAIN_RECORD_HEAP_TAG = 3n
+export let _GRAIN_ARRAY_HEAP_TAG = 4n
+export let _GRAIN_BOXED_NUM_HEAP_TAG = 5n
+export let _GRAIN_LAMBDA_HEAP_TAG = 6n
+export let _GRAIN_TUPLE_HEAP_TAG = 7n
+export let _GRAIN_BYTES_HEAP_TAG = 8n
 
 // Boxed number types
 export let _GRAIN_FLOAT32_BOXED_NUM_TAG = 1n
@@ -23,3 +23,4 @@ export let _GRAIN_FLOAT64_BOXED_NUM_TAG = 2n
 export let _GRAIN_INT32_BOXED_NUM_TAG = 3n
 export let _GRAIN_INT64_BOXED_NUM_TAG = 4n
 export let _GRAIN_RATIONAL_BOXED_NUM_TAG = 5n
+export let _GRAIN_BIGINT_BOXED_NUM_TAG = 6n

package/runtime/unsafe/tags.md

@@ -0,0 +1,120 @@
+### Tags.**_GRAIN_NUMBER_TAG_TYPE**
+
+```grain
+_GRAIN_NUMBER_TAG_TYPE : WasmI32
+```
+
+### Tags.**_GRAIN_CHAR_TAG_TYPE**
+
+```grain
+_GRAIN_CHAR_TAG_TYPE : WasmI32
+```
+
+### Tags.**_GRAIN_CONST_TAG_TYPE**
+
+```grain
+_GRAIN_CONST_TAG_TYPE : WasmI32
+```
+
+### Tags.**_GRAIN_GENERIC_HEAP_TAG_TYPE**
+
+```grain
+_GRAIN_GENERIC_HEAP_TAG_TYPE : WasmI32
+```
+
+### Tags.**_GRAIN_NUMBER_TAG_MASK**
+
+```grain
+_GRAIN_NUMBER_TAG_MASK : WasmI32
+```
+
+### Tags.**_GRAIN_GENERIC_TAG_MASK**
+
+```grain
+_GRAIN_GENERIC_TAG_MASK : WasmI32
+```
+
+### Tags.**_GRAIN_STRING_HEAP_TAG**
+
+```grain
+_GRAIN_STRING_HEAP_TAG : WasmI32
+```
+
+### Tags.**_GRAIN_ADT_HEAP_TAG**
+
+```grain
+_GRAIN_ADT_HEAP_TAG : WasmI32
+```
+
+### Tags.**_GRAIN_RECORD_HEAP_TAG**
+
+```grain
+_GRAIN_RECORD_HEAP_TAG : WasmI32
+```
+
+### Tags.**_GRAIN_ARRAY_HEAP_TAG**
+
+```grain
+_GRAIN_ARRAY_HEAP_TAG : WasmI32
+```
+
+### Tags.**_GRAIN_BOXED_NUM_HEAP_TAG**
+
+```grain
+_GRAIN_BOXED_NUM_HEAP_TAG : WasmI32
+```
+
+### Tags.**_GRAIN_LAMBDA_HEAP_TAG**
+
+```grain
+_GRAIN_LAMBDA_HEAP_TAG : WasmI32
+```
+
+### Tags.**_GRAIN_TUPLE_HEAP_TAG**
+
+```grain
+_GRAIN_TUPLE_HEAP_TAG : WasmI32
+```
+
+### Tags.**_GRAIN_BYTES_HEAP_TAG**
+
+```grain
+_GRAIN_BYTES_HEAP_TAG : WasmI32
+```
+
+### Tags.**_GRAIN_FLOAT32_BOXED_NUM_TAG**
+
+```grain
+_GRAIN_FLOAT32_BOXED_NUM_TAG : WasmI32
+```
+
+### Tags.**_GRAIN_FLOAT64_BOXED_NUM_TAG**
+
+```grain
+_GRAIN_FLOAT64_BOXED_NUM_TAG : WasmI32
+```
+
+### Tags.**_GRAIN_INT32_BOXED_NUM_TAG**
+
+```grain
+_GRAIN_INT32_BOXED_NUM_TAG : WasmI32
+```
+
+### Tags.**_GRAIN_INT64_BOXED_NUM_TAG**
+
+```grain
+_GRAIN_INT64_BOXED_NUM_TAG : WasmI32
+```
+
+### Tags.**_GRAIN_RATIONAL_BOXED_NUM_TAG**
+
+```grain
+_GRAIN_RATIONAL_BOXED_NUM_TAG : WasmI32
+```
+
+### Tags.**_GRAIN_BIGINT_BOXED_NUM_TAG**
+
+```grain
+_GRAIN_BIGINT_BOXED_NUM_TAG : WasmI32
+```
+

package/runtime/unsafe/wasmf32.gr

@@ -2,7 +2,11 @@
 
 // WebAssembly Memory Instructions
 export primitive load: (WasmI32, WasmI32) -> WasmF32 = "@wasm.load_float32"
-export primitive store: (WasmI32, WasmF32, WasmI32) -> Void = "@wasm.store_float32"
+export primitive store: (
+  WasmI32,
+  WasmF32,
+  WasmI32,
+) -> Void = "@wasm.store_float32"
 
 // WebAssembly Unary Instructions
 export primitive neg: WasmF32 -> WasmF32 = "@wasm.neg_float32"
@@ -18,7 +22,10 @@ export primitive add: (WasmF32, WasmF32) -> WasmF32 = "@wasm.add_float32"
 export primitive sub: (WasmF32, WasmF32) -> WasmF32 = "@wasm.sub_float32"
 export primitive mul: (WasmF32, WasmF32) -> WasmF32 = "@wasm.mul_float32"
 export primitive div: (WasmF32, WasmF32) -> WasmF32 = "@wasm.div_float32"
-export primitive copySign: (WasmF32, WasmF32) -> WasmF32 = "@wasm.copy_sign_float32"
+export primitive copySign: (
+  WasmF32,
+  WasmF32,
+) -> WasmF32 = "@wasm.copy_sign_float32"
 export primitive min: (WasmF32, WasmF32) -> WasmF32 = "@wasm.min_float32"
 export primitive max: (WasmF32, WasmF32) -> WasmF32 = "@wasm.max_float32"
 export primitive eq: (WasmF32, WasmF32) -> Bool = "@wasm.eq_float32"

package/runtime/unsafe/wasmf32.md

@@ -0,0 +1,168 @@
+### Wasmf32.**load**
+
+```grain
+load : (WasmI32, WasmI32) -> WasmF32
+```
+
+### Wasmf32.**store**
+
+```grain
+store : (WasmI32, WasmF32, WasmI32) -> Void
+```
+
+### Wasmf32.**neg**
+
+```grain
+neg : WasmF32 -> WasmF32
+```
+
+### Wasmf32.**abs**
+
+```grain
+abs : WasmF32 -> WasmF32
+```
+
+### Wasmf32.**ceil**
+
+```grain
+ceil : WasmF32 -> WasmF32
+```
+
+### Wasmf32.**floor**
+
+```grain
+floor : WasmF32 -> WasmF32
+```
+
+### Wasmf32.**trunc**
+
+```grain
+trunc : WasmF32 -> WasmF32
+```
+
+### Wasmf32.**nearest**
+
+```grain
+nearest : WasmF32 -> WasmF32
+```
+
+### Wasmf32.**sqrt**
+
+```grain
+sqrt : WasmF32 -> WasmF32
+```
+
+### Wasmf32.**add**
+
+```grain
+add : (WasmF32, WasmF32) -> WasmF32
+```
+
+### Wasmf32.**sub**
+
+```grain
+sub : (WasmF32, WasmF32) -> WasmF32
+```
+
+### Wasmf32.**mul**
+
+```grain
+mul : (WasmF32, WasmF32) -> WasmF32
+```
+
+### Wasmf32.**div**
+
+```grain
+div : (WasmF32, WasmF32) -> WasmF32
+```
+
+### Wasmf32.**copySign**
+
+```grain
+copySign : (WasmF32, WasmF32) -> WasmF32
+```
+
+### Wasmf32.**min**
+
+```grain
+min : (WasmF32, WasmF32) -> WasmF32
+```
+
+### Wasmf32.**max**
+
+```grain
+max : (WasmF32, WasmF32) -> WasmF32
+```
+
+### Wasmf32.**eq**
+
+```grain
+eq : (WasmF32, WasmF32) -> Bool
+```
+
+### Wasmf32.**ne**
+
+```grain
+ne : (WasmF32, WasmF32) -> Bool
+```
+
+### Wasmf32.**lt**
+
+```grain
+lt : (WasmF32, WasmF32) -> Bool
+```
+
+### Wasmf32.**le**
+
+```grain
+le : (WasmF32, WasmF32) -> Bool
+```
+
+### Wasmf32.**gt**
+
+```grain
+gt : (WasmF32, WasmF32) -> Bool
+```
+
+### Wasmf32.**ge**
+
+```grain
+ge : (WasmF32, WasmF32) -> Bool
+```
+
+### Wasmf32.**reinterpretI32**
+
+```grain
+reinterpretI32 : WasmI32 -> WasmF32
+```
+
+### Wasmf32.**convertI32S**
+
+```grain
+convertI32S : WasmI32 -> WasmF32
+```
+
+### Wasmf32.**convertI32U**
+
+```grain
+convertI32U : WasmI32 -> WasmF32
+```
+
+### Wasmf32.**convertI64S**
+
+```grain
+convertI64S : WasmI64 -> WasmF32
+```
+
+### Wasmf32.**convertI64U**
+
+```grain
+convertI64U : WasmI64 -> WasmF32
+```
+
+### Wasmf32.**demoteF64**
+
+```grain
+demoteF64 : WasmF64 -> WasmF32
+```
+

package/runtime/unsafe/wasmf64.gr

@@ -2,7 +2,11 @@
 
 // WebAssembly Memory Instructions
 export primitive load: (WasmI32, WasmI32) -> WasmF64 = "@wasm.load_float64"
-export primitive store: (WasmI32, WasmF64, WasmI32) -> Void = "@wasm.store_float64"
+export primitive store: (
+  WasmI32,
+  WasmF64,
+  WasmI32,
+) -> Void = "@wasm.store_float64"
 
 // WebAssembly Unary Instructions
 export primitive neg: WasmF64 -> WasmF64 = "@wasm.neg_float64"
@@ -18,7 +22,10 @@ export primitive add: (WasmF64, WasmF64) -> WasmF64 = "@wasm.add_float64"
 export primitive sub: (WasmF64, WasmF64) -> WasmF64 = "@wasm.sub_float64"
 export primitive mul: (WasmF64, WasmF64) -> WasmF64 = "@wasm.mul_float64"
 export primitive div: (WasmF64, WasmF64) -> WasmF64 = "@wasm.div_float64"
-export primitive copySign: (WasmF64, WasmF64) -> WasmF64 = "@wasm.copy_sign_float64"
+export primitive copySign: (
+  WasmF64,
+  WasmF64,
+) -> WasmF64 = "@wasm.copy_sign_float64"
 export primitive min: (WasmF64, WasmF64) -> WasmF64 = "@wasm.min_float64"
 export primitive max: (WasmF64, WasmF64) -> WasmF64 = "@wasm.max_float64"
 export primitive eq: (WasmF64, WasmF64) -> Bool = "@wasm.eq_float64"

package/runtime/unsafe/wasmf64.md

@@ -0,0 +1,168 @@
+### Wasmf64.**load**
+
+```grain
+load : (WasmI32, WasmI32) -> WasmF64
+```
+
+### Wasmf64.**store**
+
+```grain
+store : (WasmI32, WasmF64, WasmI32) -> Void
+```
+
+### Wasmf64.**neg**
+
+```grain
+neg : WasmF64 -> WasmF64
+```
+
+### Wasmf64.**abs**
+
+```grain
+abs : WasmF64 -> WasmF64
+```
+
+### Wasmf64.**ceil**
+
+```grain
+ceil : WasmF64 -> WasmF64
+```
+
+### Wasmf64.**floor**
+
+```grain
+floor : WasmF64 -> WasmF64
+```
+
+### Wasmf64.**trunc**
+
+```grain
+trunc : WasmF64 -> WasmF64
+```
+
+### Wasmf64.**nearest**
+
+```grain
+nearest : WasmF64 -> WasmF64
+```
+
+### Wasmf64.**sqrt**
+
+```grain
+sqrt : WasmF64 -> WasmF64
+```
+
+### Wasmf64.**add**
+
+```grain
+add : (WasmF64, WasmF64) -> WasmF64
+```
+
+### Wasmf64.**sub**
+
+```grain
+sub : (WasmF64, WasmF64) -> WasmF64
+```
+
+### Wasmf64.**mul**
+
+```grain
+mul : (WasmF64, WasmF64) -> WasmF64
+```
+
+### Wasmf64.**div**
+
+```grain
+div : (WasmF64, WasmF64) -> WasmF64
+```
+
+### Wasmf64.**copySign**
+
+```grain
+copySign : (WasmF64, WasmF64) -> WasmF64
+```
+
+### Wasmf64.**min**
+
+```grain
+min : (WasmF64, WasmF64) -> WasmF64
+```
+
+### Wasmf64.**max**
+
+```grain
+max : (WasmF64, WasmF64) -> WasmF64
+```
+
+### Wasmf64.**eq**
+
+```grain
+eq : (WasmF64, WasmF64) -> Bool
+```
+
+### Wasmf64.**ne**
+
+```grain
+ne : (WasmF64, WasmF64) -> Bool
+```
+
+### Wasmf64.**lt**
+
+```grain
+lt : (WasmF64, WasmF64) -> Bool
+```
+
+### Wasmf64.**le**
+
+```grain
+le : (WasmF64, WasmF64) -> Bool
+```
+
+### Wasmf64.**gt**
+
+```grain
+gt : (WasmF64, WasmF64) -> Bool
+```
+
+### Wasmf64.**ge**
+
+```grain
+ge : (WasmF64, WasmF64) -> Bool
+```
+
+### Wasmf64.**reinterpretI64**
+
+```grain
+reinterpretI64 : WasmI64 -> WasmF64
+```
+
+### Wasmf64.**convertI32S**
+
+```grain
+convertI32S : WasmI32 -> WasmF64
+```
+
+### Wasmf64.**convertI32U**
+
+```grain
+convertI32U : WasmI32 -> WasmF64
+```
+
+### Wasmf64.**convertI64S**
+
+```grain
+convertI64S : WasmI64 -> WasmF64
+```
+
+### Wasmf64.**convertI64U**
+
+```grain
+convertI64U : WasmI64 -> WasmF64
+```
+
+### Wasmf64.**promoteF32**
+
+```grain
+promoteF32 : WasmF32 -> WasmF64
+```
+