@harmoniclabs/pebble 0.1.5 → 0.1.6

package/dist/compiler/TirCompiler/expressify/expressifyVars.js

@@ -43,6 +43,8 @@ import { TirArrayLikeDeconstr } from "../../tir/statements/TirVarDecl/TirArrayLi
 import { TirNamedDeconstructVarDecl } from "../../tir/statements/TirVarDecl/TirNamedDeconstructVarDecl.js";
 import { TirSimpleVarDecl } from "../../tir/statements/TirVarDecl/TirSimpleVarDecl.js";
 import { TirAliasType } from "../../tir/types/TirAliasType.js";
+import { TirBytesT } from "../../tir/types/TirNativeType/native/bytes.js";
+import { TirStringT } from "../../tir/types/TirNativeType/native/string.js";
 import { TirFuncT, TirListT, TirPairDataT } from "../../tir/types/TirNativeType/index.js";
 import { TirLinearMapT } from "../../tir/types/TirNativeType/native/linearMap.js";
 import { TirLinearMapEntryT } from "../../tir/types/TirNativeType/native/linearMapEntry.js";
@@ -471,6 +473,18 @@ function expressifyMethodCall(ctx, methodCall) {
         if (result)
             return result;
     }
+    if (objectType instanceof TirBytesT || objectType instanceof TirStringT) {
+        const exprRange = SourceRange.join(methodIdentifierProp.range, methodCall.range.atEnd());
+        if (methodName === "length") {
+            return new TirCallExpr(TirNativeFunc.lengthOfByteString, [objectExpr], int_t, exprRange);
+        }
+        if (methodName === "subByteString" || methodName === "slice") {
+            return new TirCallExpr(TirNativeFunc.sliceByteString, [methodCall.args[0], methodCall.args[1], objectExpr], bytes_t, exprRange);
+        }
+        if (methodName === "prepend") {
+            return new TirCallExpr(TirNativeFunc.consByteString, [methodCall.args[0], objectExpr], bytes_t, exprRange);
+        }
+    }
     throw new Error(`not implemented::expressifyMethodCall for type '${objectType.toString()}' (method name: '${methodName}')`);
     // const tsEnsureExhautstiveCheck: never = objectType;
     throw new Error(`Cannot call method '${methodName}' on non-struct type '${objectType.toString()}'`);

package/dist/compiler/tir/types/utils/canCastTo.js

@@ -67,10 +67,8 @@ export function canCastTo(a, b) {
             return true;
         if (a instanceof TirStringT)
             return true; // string -> bytes // decode utf8
-        // how do we handle this?
-        // in theory we can encode but only fixed size
-        // we have no idea of the size of ints
-        // if( a instanceof TirIntT ) return true;
+        if (a instanceof TirIntT)
+            return true; // int -> bytes // big endian encoding
         return false;
     }
     if (b instanceof TirStringT) {

package/dist/compiler/tir/types/utils/getListTypeArg.js

@@ -1,11 +1,14 @@
 import { TirAliasType } from "../TirAliasType.js";
 import { TirLinearMapT } from "../TirNativeType/native/linearMap.js";
+import { TirLinearMapEntryT } from "../TirNativeType/native/linearMapEntry.js";
 import { TirListT } from "../TirNativeType/native/list.js";
 export function getListTypeArg(list_t) {
     while (list_t instanceof TirAliasType)
         list_t = list_t.aliased;
     if (list_t instanceof TirListT)
         return list_t.typeArg;
+    if (list_t instanceof TirLinearMapT)
+        return new TirLinearMapEntryT(list_t.keyTypeArg, list_t.valTypeArg);
     return undefined;
 }
 export function getLinearMapTypeArgs(map_t) {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@harmoniclabs/pebble",
-  "version": "0.1.5",
+  "version": "0.1.6",
   "description": "A simple, yet rock solid, functional language with an imperative bias, targeting UPLC",
   "main": "./dist/index.js",
   "types": "./dist/index.d.ts",