@taquito/michel-codec 14.2.0 → 15.0.0

package/dist/taquito-michel-codec.es6.js

@@ -149,6 +149,7 @@ var Protocol;
     Protocol["PtJakarta"] = "PtJakartaiDz69SfDDLXJSiuZqTSeSKRDbKVZC8MNzJnvRjvnGw";
     Protocol["PtJakart2"] = "PtJakart2xVj7pYXJBXrqHgd82rdkLey5ZeeGwDgPp9rhQUbSqY";
     Protocol["PtKathman"] = "PtKathmankSpLLDALzWw7CGD2j2MtyveTwboEYokqUCP4a1LxMg";
+    Protocol["PtLimaPtL"] = "PtLimaPtLMwfNinJi9rCfDPWea8dFgTZ1MeJ9f1m2SRic6ayiwW";
     Protocol["ProtoALpha"] = "ProtoALphaALphaALphaALphaALphaALphaALphaALphaDdp3zK";
 })(Protocol || (Protocol = {}));
 const DefaultProtocol = Protocol.Psithaca2;
@@ -173,7 +174,8 @@ const protoLevel = {
     PtJakartaiDz69SfDDLXJSiuZqTSeSKRDbKVZC8MNzJnvRjvnGw: 13,
     PtJakart2xVj7pYXJBXrqHgd82rdkLey5ZeeGwDgPp9rhQUbSqY: 13,
     PtKathmankSpLLDALzWw7CGD2j2MtyveTwboEYokqUCP4a1LxMg: 14,
-    ProtoALphaALphaALphaALphaALphaALphaALphaALphaDdp3zK: 15,
+    PtLimaPtLMwfNinJi9rCfDPWea8dFgTZ1MeJ9f1m2SRic6ayiwW: 15,
+    ProtoALphaALphaALphaALphaALphaALphaALphaALphaDdp3zK: 16,
 };
 function ProtoGreaterOfEqual(a, b) {
     return protoLevel[a] >= protoLevel[b];
@@ -1934,6 +1936,7 @@ const noArgInstructionIDs = {
     SUB: true,
     SWAP: true,
     TICKET: true,
+    TICKET_DEPRECATED: true,
     TOTAL_VOTING_POWER: true,
     TRANSFER_TOKENS: true,
     UNIT: true,
@@ -1963,6 +1966,7 @@ const instructionIDs = Object.assign({}, noArgInstructionIDs, {
     IF_NONE: true,
     ITER: true,
     LAMBDA: true,
+    LAMBDA_REC: true,
     LEFT: true,
     LOOP: true,
     LOOP_LEFT: true,
@@ -2011,6 +2015,7 @@ const typeIDs = Object.assign({}, simpleComparableTypeIDs, {
     bls12_381_g2: true,
     bls12_381_fr: true,
     sapling_transaction: true,
+    sapling_transaction_deprecated: true,
     sapling_state: true,
     ticket: true,
     chest_key: true,
@@ -2222,6 +2227,7 @@ function assertMichelsonInstruction(ex) {
                     assertMichelsonBigMapStorableType(ex.args[1]);
                 }
                 break;
+            case 'LAMBDA_REC':
             case 'LAMBDA':
                 /* istanbul ignore else */
                 if (assertArgs(ex, 3)) {
@@ -2503,6 +2509,11 @@ function assertMichelsonData(ex) {
                     assertMichelsonData(ex.args[0]);
                 }
                 break;
+            case 'Lambda_rec':
+                if (ex.args) {
+                    assertMichelsonInstruction(ex.args);
+                }
+                break;
             default:
                 if (Object.prototype.hasOwnProperty.call(instructionIDs, ex.prim)) {
                     assertMichelsonInstruction(ex);
@@ -2682,6 +2693,8 @@ function __rest(s, e) {
     return t;
 }
 
+// The order is important!
+// The position represent the encoding value.
 const primitives = [
     'parameter',
     'storage',
@@ -2815,11 +2828,11 @@ const primitives = [
     'bls12_381_g2',
     'bls12_381_fr',
     'sapling_state',
-    'sapling_transaction',
+    'sapling_transaction_deprecated',
     'SAPLING_EMPTY_STATE',
     'SAPLING_VERIFY_UPDATE',
     'ticket',
-    'TICKET',
+    'TICKET_DEPRECATED',
     'READ_TICKET',
     'SPLIT_TICKET',
     'JOIN_TICKETS',
@@ -2831,7 +2844,13 @@ const primitives = [
     'view',
     'constant',
     'SUB_MUTEZ',
+    'tx_rollup_l2_address',
+    'MIN_BLOCK_TIME',
+    'sapling_transaction',
     'EMIT',
+    'Lambda_rec',
+    'LAMBDA_REC',
+    'TICKET',
 ];
 const primTags = Object.assign({}, ...primitives.map((v, i) => ({ [v]: i })));
 var Tag;
@@ -5181,10 +5200,15 @@ function functionTypeInternal(inst, stack, ctx) {
                     annotate({ prim: 'big_map', args: instruction.args }, instructionAnn({ t: 1, v: 1 })),
                     ...stack,
                 ];
+            case 'LAMBDA_REC':
             case 'LAMBDA': {
                 assertTypeAnnotationsValid(instruction.args[0]);
                 assertTypeAnnotationsValid(instruction.args[1]);
-                const body = functionTypeInternal(instruction.args[2], [instruction.args[0]], Object.assign(Object.assign({}, ctx), { contract: undefined }));
+                const s = [instruction.args[0]];
+                if (instruction.prim === "LAMBDA_REC") {
+                    s.push({ prim: 'lambda', args: [instruction.args[0], instruction.args[1]] });
+                }
+                const body = functionTypeInternal(instruction.args[2], s, Object.assign(Object.assign({}, ctx), { contract: undefined }));
                 if ('failed' in body) {
                     return { failed: body.failed, level: body.level + 1 };
                 }
@@ -5207,10 +5231,23 @@ function functionTypeInternal(inst, stack, ctx) {
             case 'TICKET': {
                 const s = args(0, null, ['nat'])[0];
                 ensureComparableType(s);
-                return [
-                    annotate({ prim: 'ticket', args: [s] }, instructionAnn({ t: 1, v: 1 })),
-                    ...stack.slice(2),
-                ];
+                if (ProtoInferiorTo(proto, Protocol.PtLimaPtL)) {
+                    return [
+                        annotate({ prim: 'ticket', args: [s] }, instructionAnn({ t: 1, v: 1 })),
+                        ...stack.slice(2),
+                    ];
+                }
+                else {
+                    return [
+                        annotateVar({
+                            prim: 'option',
+                            args: [
+                                annotate({ prim: 'ticket', args: [s] }, instructionAnn({ t: 1, v: 1 }))
+                            ]
+                        }),
+                        ...stack.slice(2)
+                    ];
+                }
             }
             case 'JOIN_TICKETS': {
                 const s = unpackComb('pair', args(0, ['pair'])[0]);
@@ -5661,8 +5698,8 @@ ${err.data
 
 // IMPORTANT: THIS FILE IS AUTO GENERATED! DO NOT MANUALLY EDIT OR CHECKIN!
 const VERSION = {
-    "commitHash": "22fd810dcadf5272cb7a57d65165caa0eddbc57e",
-    "version": "14.2.0"
+    "commitHash": "ebe5353579be0da07c664f4b294516acdc429f6e",
+    "version": "15.0.0"
 };
 
 export { Contract, DefaultProtocol, JSONParseError, MacroError, MichelineParseError, MichelsonError, MichelsonInstructionError, MichelsonTypeError, MichelsonValidationError, Parser, ProtoGreaterOfEqual, ProtoInferiorTo, Protocol, VERSION, assertContractValid, assertDataListIfAny, assertDataValid, assertMichelsonBigMapStorableType, assertMichelsonComparableType, assertMichelsonContract, assertMichelsonData, assertMichelsonInstruction, assertMichelsonPackableType, assertMichelsonPassableType, assertMichelsonPushableType, assertMichelsonStorableType, assertMichelsonType, assertTypeAnnotationsValid, assertTypesEqual, assertViewNameValid, contractEntryPoint, contractEntryPoints, contractSection, contractViews, decodeAddressBytes, decodePublicKeyBytes, decodePublicKeyHashBytes, dummyContract, emitMicheline, formatError, formatStack, functionType, instructionIDs, isContractValid, isDataValid, isInstruction, isMichelsonCode, isMichelsonData, isMichelsonError, isMichelsonScript, isMichelsonType, isTypeAnnotationsValid, isTypeEqual, packData, packDataBytes, refContract, sourceReference, traceDumpFunc, unpackData, unpackDataBytes };