@grain/stdlib 0.6.5 → 0.7.0

package/runtime/bigint.md

@@ -6,64 +6,58 @@ title: Bigint
 
 Functions and constants included in the Bigint module.
 
-### Bigint.**debugDumpNumber**
-
-```grain
-debugDumpNumber : (num: WasmI32) => Void
-```
-
 ### Bigint.**getSize**
 
 ```grain
-getSize : (ptr: WasmI32) => WasmI32
+getSize: (ptr: WasmI32) => WasmI32
 ```
 
 ### Bigint.**getFlags**
 
 ```grain
-getFlags : (ptr: WasmI32) => WasmI32
+getFlags: (ptr: WasmI32) => WasmI32
 ```
 
 ### Bigint.**getLimb**
 
 ```grain
-getLimb : (ptr: WasmI32, i: WasmI32) => WasmI64
+getLimb: (ptr: WasmI32, i: WasmI32) => WasmI64
 ```
 
 ### Bigint.**makeWrappedInt32**
 
 ```grain
-makeWrappedInt32 : (value: WasmI32) => WasmI32
+makeWrappedInt32: (value: WasmI32) => WasmI32
 ```
 
 ### Bigint.**makeWrappedUint32**
 
 ```grain
-makeWrappedUint32 : (value: WasmI32) => WasmI32
+makeWrappedUint32: (value: WasmI32) => WasmI32
 ```
 
 ### Bigint.**makeWrappedInt64**
 
 ```grain
-makeWrappedInt64 : (value: WasmI64) => WasmI32
+makeWrappedInt64: (value: WasmI64) => WasmI32
 ```
 
 ### Bigint.**makeWrappedUint64**
 
 ```grain
-makeWrappedUint64 : (value: WasmI64) => WasmI32
+makeWrappedUint64: (value: WasmI64) => WasmI32
 ```
 
 ### Bigint.**isNegative**
 
 ```grain
-isNegative : (num: WasmI32) => Bool
+isNegative: (num: WasmI32) => Bool
 ```
 
 ### Bigint.**eqz**
 
 ```grain
-eqz : (num: WasmI32) => Bool
+eqz: (num: WasmI32) => Bool
 ```
 
 Returns true if the given bigint is equal to zero
@@ -71,270 +65,270 @@ Returns true if the given bigint is equal to zero
 ### Bigint.**negate**
 
 ```grain
-negate : (num: WasmI32) => WasmI32
+negate: (num: WasmI32) => WasmI32
 ```
 
 ### Bigint.**abs**
 
 ```grain
-abs : (num: WasmI32) => WasmI32
+abs: (num: WasmI32) => WasmI32
 ```
 
 ### Bigint.**canConvertToInt32**
 
 ```grain
-canConvertToInt32 : (num: WasmI32) => Bool
+canConvertToInt32: (num: WasmI32) => Bool
 ```
 
 ### Bigint.**toInt32**
 
 ```grain
-toInt32 : (num: WasmI32) => WasmI32
+toInt32: (num: WasmI32) => WasmI32
 ```
 
 ### Bigint.**canConvertToInt64**
 
 ```grain
-canConvertToInt64 : (num: WasmI32) => Bool
+canConvertToInt64: (num: WasmI32) => Bool
 ```
 
 ### Bigint.**toInt64**
 
 ```grain
-toInt64 : (num: WasmI32) => WasmI64
+toInt64: (num: WasmI32) => WasmI64
 ```
 
 ### Bigint.**toUnsignedInt64**
 
 ```grain
-toUnsignedInt64 : (num: WasmI32) => WasmI64
+toUnsignedInt64: (num: WasmI32) => WasmI64
 ```
 
 ### Bigint.**toFloat64**
 
 ```grain
-toFloat64 : (num: WasmI32) => WasmF64
+toFloat64: (num: WasmI32) => WasmF64
 ```
 
 ### Bigint.**toFloat32**
 
 ```grain
-toFloat32 : (num: WasmI32) => WasmF32
+toFloat32: (num: WasmI32) => WasmF32
 ```
 
 ### Bigint.**cmpI64**
 
 ```grain
-cmpI64 : (num1: WasmI32, num2: WasmI64) => WasmI32
+cmpI64: (num1: WasmI32, num2: WasmI64) => WasmI32
 ```
 
 ### Bigint.**cmpU64**
 
 ```grain
-cmpU64 : (num1: WasmI32, num2: WasmI64) => WasmI32
+cmpU64: (num1: WasmI32, num2: WasmI64) => WasmI32
 ```
 
 ### Bigint.**cmpF64**
 
 ```grain
-cmpF64 : (num1: WasmI32, num2: WasmF64) => WasmI32
+cmpF64: (num1: WasmI32, num2: WasmF64) => WasmI32
 ```
 
 ### Bigint.**cmpF32**
 
 ```grain
-cmpF32 : (num1: WasmI32, num2: WasmF32) => WasmI32
+cmpF32: (num1: WasmI32, num2: WasmF32) => WasmI32
 ```
 
 ### Bigint.**cmp**
 
 ```grain
-cmp : (num1: WasmI32, num2: WasmI32) => WasmI32
+cmp: (num1: WasmI32, num2: WasmI32) => WasmI32
 ```
 
 ### Bigint.**eq**
 
 ```grain
-eq : (num1: WasmI32, num2: WasmI32) => Bool
+eq: (num1: WasmI32, num2: WasmI32) => Bool
 ```
 
 ### Bigint.**ne**
 
 ```grain
-ne : (num1: WasmI32, num2: WasmI32) => Bool
+ne: (num1: WasmI32, num2: WasmI32) => Bool
 ```
 
 ### Bigint.**lt**
 
 ```grain
-lt : (num1: WasmI32, num2: WasmI32) => Bool
+lt: (num1: WasmI32, num2: WasmI32) => Bool
 ```
 
 ### Bigint.**lte**
 
 ```grain
-lte : (num1: WasmI32, num2: WasmI32) => Bool
+lte: (num1: WasmI32, num2: WasmI32) => Bool
 ```
 
 ### Bigint.**gt**
 
 ```grain
-gt : (num1: WasmI32, num2: WasmI32) => Bool
+gt: (num1: WasmI32, num2: WasmI32) => Bool
 ```
 
 ### Bigint.**gte**
 
 ```grain
-gte : (num1: WasmI32, num2: WasmI32) => Bool
+gte: (num1: WasmI32, num2: WasmI32) => Bool
 ```
 
 ### Bigint.**bigIntToString**
 
 ```grain
-bigIntToString : (num: WasmI32, base: WasmI32) => String
+bigIntToString: (num: WasmI32, base: WasmI32) => String
 ```
 
 ### Bigint.**bigIntToString10**
 
 ```grain
-bigIntToString10 : (num: WasmI32) => String
+bigIntToString10: (num: WasmI32) => String
 ```
 
 ### Bigint.**add**
 
 ```grain
-add : (num1: WasmI32, num2: WasmI32) => WasmI32
+add: (num1: WasmI32, num2: WasmI32) => WasmI32
 ```
 
 ### Bigint.**addInt**
 
 ```grain
-addInt : (num1: WasmI32, int: WasmI64) => WasmI32
+addInt: (num1: WasmI32, int: WasmI64) => WasmI32
 ```
 
 ### Bigint.**sub**
 
 ```grain
-sub : (num1: WasmI32, num2: WasmI32) => WasmI32
+sub: (num1: WasmI32, num2: WasmI32) => WasmI32
 ```
 
 ### Bigint.**subInt**
 
 ```grain
-subInt : (num1: WasmI32, int: WasmI64) => WasmI32
+subInt: (num1: WasmI32, int: WasmI64) => WasmI32
 ```
 
 ### Bigint.**incr**
 
 ```grain
-incr : (num: WasmI32) => WasmI32
+incr: (num: WasmI32) => WasmI32
 ```
 
 ### Bigint.**decr**
 
 ```grain
-decr : (num: WasmI32) => WasmI32
+decr: (num: WasmI32) => WasmI32
 ```
 
 ### Bigint.**mul**
 
 ```grain
-mul : (num1: WasmI32, num2: WasmI32) => WasmI32
+mul: (num1: WasmI32, num2: WasmI32) => WasmI32
 ```
 
 ### Bigint.**shl**
 
 ```grain
-shl : (num: WasmI32, places: WasmI32) => WasmI32
+shl: (num: WasmI32, places: WasmI32) => WasmI32
 ```
 
 ### Bigint.**shrS**
 
 ```grain
-shrS : (num: WasmI32, places: WasmI32) => WasmI32
+shrS: (num: WasmI32, places: WasmI32) => WasmI32
 ```
 
 ### Bigint.**bitwiseNot**
 
 ```grain
-bitwiseNot : (num: WasmI32) => WasmI32
+bitwiseNot: (num: WasmI32) => WasmI32
 ```
 
 ### Bigint.**bitwiseAnd**
 
 ```grain
-bitwiseAnd : (num1: WasmI32, num2: WasmI32) => WasmI32
+bitwiseAnd: (num1: WasmI32, num2: WasmI32) => WasmI32
 ```
 
 ### Bigint.**bitwiseOr**
 
 ```grain
-bitwiseOr : (num1: WasmI32, num2: WasmI32) => WasmI32
+bitwiseOr: (num1: WasmI32, num2: WasmI32) => WasmI32
 ```
 
 ### Bigint.**bitwiseXor**
 
 ```grain
-bitwiseXor : (num1: WasmI32, num2: WasmI32) => WasmI32
+bitwiseXor: (num1: WasmI32, num2: WasmI32) => WasmI32
 ```
 
 ### Bigint.**countLeadingZeros**
 
 ```grain
-countLeadingZeros : (num: WasmI32) => WasmI32
+countLeadingZeros: (num: WasmI32) => WasmI32
 ```
 
 ### Bigint.**countTrailingZeros**
 
 ```grain
-countTrailingZeros : (num: WasmI32) => WasmI64
+countTrailingZeros: (num: WasmI32) => WasmI64
 ```
 
 ### Bigint.**popcnt**
 
 ```grain
-popcnt : (num: WasmI32, flagDest: WasmI32) => WasmI64
+popcnt: (num: WasmI32, flagDest: WasmI32) => WasmI64
 ```
 
 ### Bigint.**gcd**
 
 ```grain
-gcd : (num1: WasmI32, num2: WasmI32) => WasmI32
+gcd: (num1: WasmI32, num2: WasmI32) => WasmI32
 ```
 
 ### Bigint.**quotRem**
 
 ```grain
-quotRem : (num1: WasmI32, num2: WasmI32, dest: WasmI32) => Void
+quotRem: (num1: WasmI32, num2: WasmI32, dest: WasmI32) => Void
 ```
 
 ### Bigint.**divMod**
 
 ```grain
-divMod : (num1: WasmI32, num2: WasmI32, dest: WasmI32) => Void
+divMod: (num1: WasmI32, num2: WasmI32, dest: WasmI32) => Void
 ```
 
 ### Bigint.**quot**
 
 ```grain
-quot : (num1: WasmI32, num2: WasmI32) => WasmI32
+quot: (num1: WasmI32, num2: WasmI32) => WasmI32
 ```
 
 ### Bigint.**div**
 
 ```grain
-div : (num1: WasmI32, num2: WasmI32) => WasmI32
+div: (num1: WasmI32, num2: WasmI32) => WasmI32
 ```
 
 ### Bigint.**rem**
 
 ```grain
-rem : (num1: WasmI32, num2: WasmI32) => WasmI32
+rem: (num1: WasmI32, num2: WasmI32) => WasmI32
 ```
 
 ### Bigint.**mod**
 
 ```grain
-mod : (num1: WasmI32, num2: WasmI32) => WasmI32
+mod: (num1: WasmI32, num2: WasmI32) => WasmI32
 ```
 

package/runtime/compare.gr

@@ -188,8 +188,8 @@ and compareHelp = (x, y) => {
     } else if (xtag == Tags._GRAIN_SHORTVAL_TAG_TYPE) {
       let shortValTag = x & Tags._GRAIN_GENERIC_SHORTVAL_TAG_MASK
       if (
-        shortValTag == Tags._GRAIN_INT8_TAG_MASK ||
-        shortValTag == Tags._GRAIN_INT16_TAG_MASK
+        shortValTag == Tags._GRAIN_INT8_TAG_MASK
+        || shortValTag == Tags._GRAIN_INT16_TAG_MASK
       ) {
         if (x < y) {
           -1

package/runtime/compare.md

@@ -14,7 +14,7 @@ No other changes yet.
 </details>
 
 ```grain
-compare : (num1: a, num2: a) => Number
+compare: (num1: a, num2: a) => Number
 ```
 
 Compares the first argument to the second argument and produces an integer result.

package/runtime/dataStructures.md

@@ -9,7 +9,7 @@ Functions and constants included in the DataStructures module.
 ### DataStructures.**allocateArray**
 
 ```grain
-allocateArray : (size: WasmI32) => WasmI32
+allocateArray: (size: WasmI32) => WasmI32
 ```
 
 Allocates a new Grain array.
@@ -29,7 +29,7 @@ Returns:
 ### DataStructures.**allocateTuple**
 
 ```grain
-allocateTuple : (size: WasmI32) => WasmI32
+allocateTuple: (size: WasmI32) => WasmI32
 ```
 
 Allocates a new Grain tuple.
@@ -49,7 +49,7 @@ Returns:
 ### DataStructures.**allocateBytes**
 
 ```grain
-allocateBytes : (size: WasmI32) => WasmI32
+allocateBytes: (size: WasmI32) => WasmI32
 ```
 
 Allocates a new Grain bytes.
@@ -69,7 +69,7 @@ Returns:
 ### DataStructures.**allocateString**
 
 ```grain
-allocateString : (size: WasmI32) => WasmI32
+allocateString: (size: WasmI32) => WasmI32
 ```
 
 Allocates a new Grain string.
@@ -89,7 +89,7 @@ Returns:
 ### DataStructures.**allocateInt32**
 
 ```grain
-allocateInt32 : () => WasmI32
+allocateInt32: () => WasmI32
 ```
 
 Allocates a new Int32.
@@ -103,7 +103,7 @@ Returns:
 ### DataStructures.**newInt32**
 
 ```grain
-newInt32 : (int: WasmI32) => WasmI32
+newInt32: (int: WasmI32) => WasmI32
 ```
 
 Allocates a new Int32 with a prepopulated value
@@ -123,7 +123,7 @@ Returns:
 ### DataStructures.**allocateUint32**
 
 ```grain
-allocateUint32 : () => WasmI32
+allocateUint32: () => WasmI32
 ```
 
 Allocates a new Uint32.
@@ -137,7 +137,7 @@ Returns:
 ### DataStructures.**newUint32**
 
 ```grain
-newUint32 : (int: WasmI32) => WasmI32
+newUint32: (int: WasmI32) => WasmI32
 ```
 
 Allocates a new Uint32 with a prepopulated value
@@ -157,7 +157,7 @@ Returns:
 ### DataStructures.**allocateInt64**
 
 ```grain
-allocateInt64 : () => WasmI32
+allocateInt64: () => WasmI32
 ```
 
 Allocates a new Int64.
@@ -171,7 +171,7 @@ Returns:
 ### DataStructures.**newInt64**
 
 ```grain
-newInt64 : (int: WasmI64) => WasmI32
+newInt64: (int: WasmI64) => WasmI32
 ```
 
 Allocates a new Int64 with a prepopulated value
@@ -191,7 +191,7 @@ Returns:
 ### DataStructures.**allocateUint64**
 
 ```grain
-allocateUint64 : () => WasmI32
+allocateUint64: () => WasmI32
 ```
 
 Allocates a new Uint64.
@@ -205,7 +205,7 @@ Returns:
 ### DataStructures.**newUint64**
 
 ```grain
-newUint64 : (int: WasmI64) => WasmI32
+newUint64: (int: WasmI64) => WasmI32
 ```
 
 Allocates a new Uint64 with a prepopulated value
@@ -225,7 +225,7 @@ Returns:
 ### DataStructures.**allocateFloat32**
 
 ```grain
-allocateFloat32 : () => WasmI32
+allocateFloat32: () => WasmI32
 ```
 
 Allocates a new Float32.
@@ -239,7 +239,7 @@ Returns:
 ### DataStructures.**newFloat32**
 
 ```grain
-newFloat32 : (float: WasmF32) => WasmI32
+newFloat32: (float: WasmF32) => WasmI32
 ```
 
 Allocates a new Float32 with a prepopulated value
@@ -259,7 +259,7 @@ Returns:
 ### DataStructures.**allocateFloat64**
 
 ```grain
-allocateFloat64 : () => WasmI32
+allocateFloat64: () => WasmI32
 ```
 
 Allocates a new Float64.
@@ -273,7 +273,7 @@ Returns:
 ### DataStructures.**newFloat64**
 
 ```grain
-newFloat64 : (float: WasmF64) => WasmI32
+newFloat64: (float: WasmF64) => WasmI32
 ```
 
 Allocates a new Float64 with a prepopulated value
@@ -293,7 +293,7 @@ Returns:
 ### DataStructures.**allocateRational**
 
 ```grain
-allocateRational : () => WasmI32
+allocateRational: () => WasmI32
 ```
 
 Allocates a new Rational.
@@ -307,7 +307,7 @@ Returns:
 ### DataStructures.**newRational**
 
 ```grain
-newRational : (numerator: WasmI32, denominator: WasmI32) => WasmI32
+newRational: (numerator: WasmI32, denominator: WasmI32) => WasmI32
 ```
 
 Allocates a new Rational with a prepopulated value
@@ -328,7 +328,7 @@ Returns:
 ### DataStructures.**loadAdtVariant**
 
 ```grain
-loadAdtVariant : (ptr: WasmI32) => WasmI32
+loadAdtVariant: (ptr: WasmI32) => WasmI32
 ```
 
 Load the (tagged) variant of an ADT.
@@ -348,7 +348,7 @@ Returns:
 ### DataStructures.**stringSize**
 
 ```grain
-stringSize : (ptr: WasmI32) => WasmI32
+stringSize: (ptr: WasmI32) => WasmI32
 ```
 
 Load an untagged string's size.
@@ -368,7 +368,7 @@ Returns:
 ### DataStructures.**bytesSize**
 
 ```grain
-bytesSize : (ptr: WasmI32) => WasmI32
+bytesSize: (ptr: WasmI32) => WasmI32
 ```
 
 Load an untagged Bytes' size.
@@ -388,7 +388,7 @@ Returns:
 ### DataStructures.**tagSimpleNumber**
 
 ```grain
-tagSimpleNumber : (num: WasmI32) => Number
+tagSimpleNumber: (num: WasmI32) => Number
 ```
 
 Tag a simple number.
@@ -408,7 +408,7 @@ Returns:
 ### DataStructures.**untagSimpleNumber**
 
 ```grain
-untagSimpleNumber : (num: Number) => WasmI32
+untagSimpleNumber: (num: Number) => WasmI32
 ```
 
 Untag a simple number.
@@ -428,7 +428,7 @@ Returns:
 ### DataStructures.**tagChar**
 
 ```grain
-tagChar : (char: WasmI32) => Char
+tagChar: (char: WasmI32) => Char
 ```
 
 Tag a char.
@@ -448,7 +448,7 @@ Returns:
 ### DataStructures.**untagChar**
 
 ```grain
-untagChar : (char: Char) => WasmI32
+untagChar: (char: Char) => WasmI32
 ```
 
 Untag a char.
@@ -468,7 +468,7 @@ Returns:
 ### DataStructures.**tagInt8**
 
 ```grain
-tagInt8 : (int: WasmI32) => Int8
+tagInt8: (int: WasmI32) => Int8
 ```
 
 Tag an int8.
@@ -488,7 +488,7 @@ Returns:
 ### DataStructures.**untagInt8**
 
 ```grain
-untagInt8 : (int: Int8) => WasmI32
+untagInt8: (int: Int8) => WasmI32
 ```
 
 Untag an int8.
@@ -508,7 +508,7 @@ Returns:
 ### DataStructures.**tagInt16**
 
 ```grain
-tagInt16 : (int: WasmI32) => Int16
+tagInt16: (int: WasmI32) => Int16
 ```
 
 Tag an int16.
@@ -528,7 +528,7 @@ Returns:
 ### DataStructures.**untagInt16**
 
 ```grain
-untagInt16 : (int: Int16) => WasmI32
+untagInt16: (int: Int16) => WasmI32
 ```
 
 Untag an int16.
@@ -548,7 +548,7 @@ Returns:
 ### DataStructures.**tagUint8**
 
 ```grain
-tagUint8 : (int: WasmI32) => Uint8
+tagUint8: (int: WasmI32) => Uint8
 ```
 
 Tag a uint8.
@@ -568,7 +568,7 @@ Returns:
 ### DataStructures.**untagUint8**
 
 ```grain
-untagUint8 : (int: Uint8) => WasmI32
+untagUint8: (int: Uint8) => WasmI32
 ```
 
 Untag a uint8.
@@ -588,7 +588,7 @@ Returns:
 ### DataStructures.**tagUint16**
 
 ```grain
-tagUint16 : (int: WasmI32) => Uint16
+tagUint16: (int: WasmI32) => Uint16
 ```
 
 Tag a uint16.
@@ -608,7 +608,7 @@ Returns:
 ### DataStructures.**untagUint16**
 
 ```grain
-untagUint16 : (int: Uint16) => WasmI32
+untagUint16: (int: Uint16) => WasmI32
 ```
 
 Untag a uint16.

package/runtime/debugPrint.gr

@@ -1,3 +1,4 @@
+@noPervasives
 module DebugPrint
 
 from "runtime/numberUtils" include NumberUtils as Utils
@@ -9,6 +10,8 @@ from "runtime/unsafe/memory" include Memory
 foreign wasm fd_write:
   (WasmI32, WasmI32, WasmI32, WasmI32) => WasmI32 from "wasi_snapshot_preview1"
 
+primitive ignore = "@ignore"
+
 @unsafe
 provide let print = (s: String) => {
   let ptr = WasmI32.fromGrain(s)
@@ -26,7 +29,7 @@ provide let print = (s: String) => {
   WasmI32.store(iov, 1n, 12n)
   fd_write(1n, iov, 2n, written)
   Memory.free(buf)
-  void
+  ignore(s)
 }
 
 @unsafe