@harmoniclabs/pebble 0.1.0-dev0 → 0.1.0-dev2
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/package.json +1 -1
- package/dist/IR/IRHash.d.ts +0 -8
- package/dist/IR/IRHash.js +0 -78
- package/dist/IR/IRNodeKind.d.ts +0 -17
- package/dist/IR/IRNodeKind.js +0 -19
- package/dist/IR/IRNodes/BaseIRMetadata.d.ts +0 -3
- package/dist/IR/IRNodes/BaseIRMetadata.js +0 -1
- package/dist/IR/IRNodes/IRApp.d.ts +0 -36
- package/dist/IR/IRNodes/IRApp.js +0 -91
- package/dist/IR/IRNodes/IRCase.d.ts +0 -32
- package/dist/IR/IRNodes/IRCase.js +0 -91
- package/dist/IR/IRNodes/IRConst.d.ts +0 -49
- package/dist/IR/IRNodes/IRConst.js +0 -273
- package/dist/IR/IRNodes/IRConstr.d.ts +0 -30
- package/dist/IR/IRNodes/IRConstr.js +0 -87
- package/dist/IR/IRNodes/IRDelayed.d.ts +0 -31
- package/dist/IR/IRNodes/IRDelayed.js +0 -68
- package/dist/IR/IRNodes/IRError.d.ts +0 -32
- package/dist/IR/IRNodes/IRError.js +0 -44
- package/dist/IR/IRNodes/IRForced.d.ts +0 -31
- package/dist/IR/IRNodes/IRForced.js +0 -69
- package/dist/IR/IRNodes/IRFunc.d.ts +0 -33
- package/dist/IR/IRNodes/IRFunc.js +0 -91
- package/dist/IR/IRNodes/IRHoisted.d.ts +0 -55
- package/dist/IR/IRNodes/IRHoisted.js +0 -212
- package/dist/IR/IRNodes/IRLetted.d.ts +0 -108
- package/dist/IR/IRNodes/IRLetted.js +0 -444
- package/dist/IR/IRNodes/IRNative/IRNativeTag.d.ts +0 -138
- package/dist/IR/IRNodes/IRNative/IRNativeTag.js +0 -204
- package/dist/IR/IRNodes/IRNative/index.d.ts +0 -165
- package/dist/IR/IRNodes/IRNative/index.js +0 -240
- package/dist/IR/IRNodes/IRNative/isForcedNative.d.ts +0 -3
- package/dist/IR/IRNodes/IRNative/isForcedNative.js +0 -18
- package/dist/IR/IRNodes/IRRecursive.d.ts +0 -29
- package/dist/IR/IRNodes/IRRecursive.js +0 -90
- package/dist/IR/IRNodes/IRSelfCall.d.ts +0 -46
- package/dist/IR/IRNodes/IRSelfCall.js +0 -127
- package/dist/IR/IRNodes/IRVar.d.ts +0 -41
- package/dist/IR/IRNodes/IRVar.js +0 -93
- package/dist/IR/IRNodes/index.d.ts +0 -12
- package/dist/IR/IRNodes/index.js +0 -12
- package/dist/IR/IRNodes/utils/dependsByDbns.d.ts +0 -5
- package/dist/IR/IRNodes/utils/dependsByDbns.js +0 -29
- package/dist/IR/IRNodes/utils/isClosedAtDbn.d.ts +0 -2
- package/dist/IR/IRNodes/utils/isClosedAtDbn.js +0 -22
- package/dist/IR/IRNodes/utils/makeArrayLikeProxy.d.ts +0 -1
- package/dist/IR/IRNodes/utils/makeArrayLikeProxy.js +0 -34
- package/dist/IR/IRNodes/utils/mapArrayLike.d.ts +0 -1
- package/dist/IR/IRNodes/utils/mapArrayLike.js +0 -8
- package/dist/IR/IRTerm.d.ts +0 -15
- package/dist/IR/IRTerm.js +0 -1
- package/dist/IR/index.d.ts +0 -5
- package/dist/IR/index.js +0 -5
- package/dist/IR/interfaces/IHash.d.ts +0 -6
- package/dist/IR/interfaces/IHash.js +0 -1
- package/dist/IR/interfaces/IIRParent.d.ts +0 -4
- package/dist/IR/interfaces/IIRParent.js +0 -1
- package/dist/IR/interfaces/IRMetadata.d.ts +0 -3
- package/dist/IR/interfaces/IRMetadata.js +0 -2
- package/dist/IR/interfaces/ToIR.d.ts +0 -5
- package/dist/IR/interfaces/ToIR.js +0 -1
- package/dist/IR/interfaces/index.d.ts +0 -4
- package/dist/IR/interfaces/index.js +0 -4
- package/dist/IR/toUPLC/CompilerOptions.d.ts +0 -80
- package/dist/IR/toUPLC/CompilerOptions.js +0 -98
- package/dist/IR/toUPLC/_internal/_addDepth.d.ts +0 -2
- package/dist/IR/toUPLC/_internal/_addDepth.js +0 -58
- package/dist/IR/toUPLC/_internal/_irToUplc.d.ts +0 -9
- package/dist/IR/toUPLC/_internal/_irToUplc.js +0 -156
- package/dist/IR/toUPLC/_internal/_makeAllNegativeNativesHoisted.d.ts +0 -2
- package/dist/IR/toUPLC/_internal/_makeAllNegativeNativesHoisted.js +0 -12
- package/dist/IR/toUPLC/_internal/_modifyChildFromTo.d.ts +0 -10
- package/dist/IR/toUPLC/_internal/_modifyChildFromTo.js +0 -141
- package/dist/IR/toUPLC/_internal/depth.d.ts +0 -5
- package/dist/IR/toUPLC/_internal/depth.js +0 -8
- package/dist/IR/toUPLC/_internal/findAll.d.ts +0 -3
- package/dist/IR/toUPLC/_internal/findAll.js +0 -99
- package/dist/IR/toUPLC/_internal/getDebruijnInTerm.d.ts +0 -2
- package/dist/IR/toUPLC/_internal/getDebruijnInTerm.js +0 -51
- package/dist/IR/toUPLC/_internal/getDiffDbn.d.ts +0 -2
- package/dist/IR/toUPLC/_internal/getDiffDbn.js +0 -55
- package/dist/IR/toUPLC/_internal/includesLettedTerms.d.ts +0 -2
- package/dist/IR/toUPLC/_internal/includesLettedTerms.js +0 -50
- package/dist/IR/toUPLC/_internal/includesNode.d.ts +0 -2
- package/dist/IR/toUPLC/_internal/includesNode.js +0 -54
- package/dist/IR/toUPLC/_internal/iterTree.d.ts +0 -2
- package/dist/IR/toUPLC/_internal/iterTree.js +0 -93
- package/dist/IR/toUPLC/_internal/lowestCommonAncestor.d.ts +0 -3
- package/dist/IR/toUPLC/_internal/lowestCommonAncestor.js +0 -41
- package/dist/IR/toUPLC/compileIRToUPLC.d.ts +0 -4
- package/dist/IR/toUPLC/compileIRToUPLC.js +0 -118
- package/dist/IR/toUPLC/index.d.ts +0 -1
- package/dist/IR/toUPLC/index.js +0 -1
- package/dist/IR/toUPLC/subRoutines/handleHoistedAndReturnRoot/index.d.ts +0 -2
- package/dist/IR/toUPLC/subRoutines/handleHoistedAndReturnRoot/index.js +0 -161
- package/dist/IR/toUPLC/subRoutines/handleLetted/findHighestRecursiveParent.d.ts +0 -5
- package/dist/IR/toUPLC/subRoutines/handleLetted/findHighestRecursiveParent.js +0 -14
- package/dist/IR/toUPLC/subRoutines/handleLetted/groupByScope.d.ts +0 -20
- package/dist/IR/toUPLC/subRoutines/handleLetted/groupByScope.js +0 -107
- package/dist/IR/toUPLC/subRoutines/handleLetted/incrementUnboundDbns.d.ts +0 -9
- package/dist/IR/toUPLC/subRoutines/handleLetted/incrementUnboundDbns.js +0 -73
- package/dist/IR/toUPLC/subRoutines/handleLetted/index.d.ts +0 -2
- package/dist/IR/toUPLC/subRoutines/handleLetted/index.js +0 -304
- package/dist/IR/toUPLC/subRoutines/handleRecursiveTerms.d.ts +0 -3
- package/dist/IR/toUPLC/subRoutines/handleRecursiveTerms.js +0 -32
- package/dist/IR/toUPLC/subRoutines/hoistForcedNatives.d.ts +0 -2
- package/dist/IR/toUPLC/subRoutines/hoistForcedNatives.js +0 -58
- package/dist/IR/toUPLC/subRoutines/inlineSingleUseApplications.d.ts +0 -1
- package/dist/IR/toUPLC/subRoutines/inlineSingleUseApplications.js +0 -12
- package/dist/IR/toUPLC/subRoutines/markRecursiveHoistsAsForced.d.ts +0 -2
- package/dist/IR/toUPLC/subRoutines/markRecursiveHoistsAsForced.js +0 -82
- package/dist/IR/toUPLC/subRoutines/performUplcOptimizationsAndReturnRoot/expandFuncsAndReturnRoot.d.ts +0 -4
- package/dist/IR/toUPLC/subRoutines/performUplcOptimizationsAndReturnRoot/expandFuncsAndReturnRoot.js +0 -68
- package/dist/IR/toUPLC/subRoutines/performUplcOptimizationsAndReturnRoot/index.d.ts +0 -5
- package/dist/IR/toUPLC/subRoutines/performUplcOptimizationsAndReturnRoot/index.js +0 -227
- package/dist/IR/toUPLC/subRoutines/replaceClosedLettedWithHoisted.d.ts +0 -2
- package/dist/IR/toUPLC/subRoutines/replaceClosedLettedWithHoisted.js +0 -13
- package/dist/IR/toUPLC/subRoutines/replaceForcedNativesWithHoisted.d.ts +0 -2
- package/dist/IR/toUPLC/subRoutines/replaceForcedNativesWithHoisted.js +0 -11
- package/dist/IR/toUPLC/subRoutines/replaceHoistedWithLetted.d.ts +0 -2
- package/dist/IR/toUPLC/subRoutines/replaceHoistedWithLetted.js +0 -16
- package/dist/IR/toUPLC/subRoutines/replaceNatives/index.d.ts +0 -2
- package/dist/IR/toUPLC/subRoutines/replaceNatives/index.js +0 -16
- package/dist/IR/toUPLC/subRoutines/replaceNatives/nativeToIR.d.ts +0 -3
- package/dist/IR/toUPLC/subRoutines/replaceNatives/nativeToIR.js +0 -520
- package/dist/IR/toUPLC/subRoutines/sanifyTree.d.ts +0 -5
- package/dist/IR/toUPLC/subRoutines/sanifyTree.js +0 -84
- package/dist/IR/tree_utils/_ir_apps.d.ts +0 -3
- package/dist/IR/tree_utils/_ir_apps.js +0 -8
- package/dist/IR/tree_utils/_ir_lazyChooseList.d.ts +0 -3
- package/dist/IR/tree_utils/_ir_lazyChooseList.js +0 -5
- package/dist/IR/tree_utils/_ir_lazyIfThenElse.d.ts +0 -3
- package/dist/IR/tree_utils/_ir_lazyIfThenElse.js +0 -5
- package/dist/IR/tree_utils/_ir_let.d.ts +0 -3
- package/dist/IR/tree_utils/_ir_let.js +0 -4
- package/dist/IR/tree_utils/getChildren.d.ts +0 -2
- package/dist/IR/tree_utils/getChildren.js +0 -33
- package/dist/IR/tree_utils/getRoot.d.ts +0 -2
- package/dist/IR/tree_utils/getRoot.js +0 -6
- package/dist/IR/utils/MutArrayLike.d.ts +0 -5
- package/dist/IR/utils/MutArrayLike.js +0 -1
- package/dist/IR/utils/concatUint8Arr.d.ts +0 -1
- package/dist/IR/utils/concatUint8Arr.js +0 -11
- package/dist/IR/utils/equalIRTerm.d.ts +0 -12
- package/dist/IR/utils/equalIRTerm.js +0 -19
- package/dist/IR/utils/index.d.ts +0 -3
- package/dist/IR/utils/index.js +0 -3
- package/dist/IR/utils/isClosedIRTerm.d.ts +0 -2
- package/dist/IR/utils/isClosedIRTerm.js +0 -58
- package/dist/IR/utils/isIRParentTerm.d.ts +0 -12
- package/dist/IR/utils/isIRParentTerm.js +0 -26
- package/dist/IR/utils/isIRTerm.d.ts +0 -2
- package/dist/IR/utils/isIRTerm.js +0 -30
- package/dist/IR/utils/positiveIntAsBytes.d.ts +0 -5
- package/dist/IR/utils/positiveIntAsBytes.js +0 -27
- package/dist/IR/utils/showIR.d.ts +0 -43
- package/dist/IR/utils/showIR.js +0 -372
- package/dist/ast/PebbleAst.d.ts +0 -8
- package/dist/ast/PebbleAst.js +0 -15
- package/dist/ast/Source/Source.d.ts +0 -47
- package/dist/ast/Source/Source.js +0 -89
- package/dist/ast/Source/SourceRange.d.ts +0 -16
- package/dist/ast/Source/SourceRange.js +0 -49
- package/dist/ast/nodes/HasSourceRange.d.ts +0 -5
- package/dist/ast/nodes/HasSourceRange.js +0 -6
- package/dist/ast/nodes/common/Identifier.d.ts +0 -13
- package/dist/ast/nodes/common/Identifier.js +0 -20
- package/dist/ast/nodes/expr/CaseExpr.d.ts +0 -22
- package/dist/ast/nodes/expr/CaseExpr.js +0 -30
- package/dist/ast/nodes/expr/ElemAccessExpr.d.ts +0 -12
- package/dist/ast/nodes/expr/ElemAccessExpr.js +0 -13
- package/dist/ast/nodes/expr/IsExpr.d.ts +0 -1
- package/dist/ast/nodes/expr/IsExpr.js +0 -14
- package/dist/ast/nodes/expr/ParentesizedExpr.d.ts +0 -8
- package/dist/ast/nodes/expr/ParentesizedExpr.js +0 -8
- package/dist/ast/nodes/expr/PebbleExpr.d.ts +0 -18
- package/dist/ast/nodes/expr/PebbleExpr.js +0 -31
- package/dist/ast/nodes/expr/PropAccessExpr.d.ts +0 -28
- package/dist/ast/nodes/expr/PropAccessExpr.js +0 -46
- package/dist/ast/nodes/expr/TernaryExpr.d.ts +0 -10
- package/dist/ast/nodes/expr/TernaryExpr.js +0 -12
- package/dist/ast/nodes/expr/TypeConversionExpr.d.ts +0 -10
- package/dist/ast/nodes/expr/TypeConversionExpr.js +0 -11
- package/dist/ast/nodes/expr/binary/BinaryExpr.d.ts +0 -133
- package/dist/ast/nodes/expr/binary/BinaryExpr.js +0 -253
- package/dist/ast/nodes/expr/functions/ArrowKind.d.ts +0 -9
- package/dist/ast/nodes/expr/functions/ArrowKind.js +0 -11
- package/dist/ast/nodes/expr/functions/CallExpr.d.ts +0 -17
- package/dist/ast/nodes/expr/functions/CallExpr.js +0 -16
- package/dist/ast/nodes/expr/functions/FuncExpr.d.ts +0 -21
- package/dist/ast/nodes/expr/functions/FuncExpr.js +0 -21
- package/dist/ast/nodes/expr/litteral/LitArrExpr.d.ts +0 -8
- package/dist/ast/nodes/expr/litteral/LitArrExpr.js +0 -8
- package/dist/ast/nodes/expr/litteral/LitFalseExpr.d.ts +0 -6
- package/dist/ast/nodes/expr/litteral/LitFalseExpr.js +0 -6
- package/dist/ast/nodes/expr/litteral/LitHexBytesExpr.d.ts +0 -7
- package/dist/ast/nodes/expr/litteral/LitHexBytesExpr.js +0 -8
- package/dist/ast/nodes/expr/litteral/LitIntExpr.d.ts +0 -7
- package/dist/ast/nodes/expr/litteral/LitIntExpr.js +0 -8
- package/dist/ast/nodes/expr/litteral/LitNamedObjExpr.d.ts +0 -12
- package/dist/ast/nodes/expr/litteral/LitNamedObjExpr.js +0 -12
- package/dist/ast/nodes/expr/litteral/LitObjExpr.d.ts +0 -14
- package/dist/ast/nodes/expr/litteral/LitObjExpr.js +0 -10
- package/dist/ast/nodes/expr/litteral/LitStrExpr.d.ts +0 -7
- package/dist/ast/nodes/expr/litteral/LitStrExpr.js +0 -8
- package/dist/ast/nodes/expr/litteral/LitThisExpr.d.ts +0 -6
- package/dist/ast/nodes/expr/litteral/LitThisExpr.js +0 -6
- package/dist/ast/nodes/expr/litteral/LitTrueExpr.d.ts +0 -6
- package/dist/ast/nodes/expr/litteral/LitTrueExpr.js +0 -6
- package/dist/ast/nodes/expr/litteral/LitUndefExpr.d.ts +0 -6
- package/dist/ast/nodes/expr/litteral/LitUndefExpr.js +0 -6
- package/dist/ast/nodes/expr/litteral/LitVoidExpr.d.ts +0 -6
- package/dist/ast/nodes/expr/litteral/LitVoidExpr.js +0 -6
- package/dist/ast/nodes/expr/litteral/LitteralExpr.d.ts +0 -13
- package/dist/ast/nodes/expr/litteral/LitteralExpr.js +0 -24
- package/dist/ast/nodes/expr/unary/IUnaryExpression.d.ts +0 -4
- package/dist/ast/nodes/expr/unary/IUnaryExpression.js +0 -1
- package/dist/ast/nodes/expr/unary/NonNullExpr.d.ts +0 -8
- package/dist/ast/nodes/expr/unary/NonNullExpr.js +0 -8
- package/dist/ast/nodes/expr/unary/UnaryExclamation.d.ts +0 -9
- package/dist/ast/nodes/expr/unary/UnaryExclamation.js +0 -8
- package/dist/ast/nodes/expr/unary/UnaryMinus.d.ts +0 -9
- package/dist/ast/nodes/expr/unary/UnaryMinus.js +0 -8
- package/dist/ast/nodes/expr/unary/UnaryPlus.d.ts +0 -9
- package/dist/ast/nodes/expr/unary/UnaryPlus.js +0 -8
- package/dist/ast/nodes/expr/unary/UnaryPrefixExpr.d.ts +0 -14
- package/dist/ast/nodes/expr/unary/UnaryPrefixExpr.js +0 -27
- package/dist/ast/nodes/expr/unary/UnaryTilde.d.ts +0 -9
- package/dist/ast/nodes/expr/unary/UnaryTilde.js +0 -8
- package/dist/ast/nodes/statements/AssertStmt.d.ts +0 -15
- package/dist/ast/nodes/statements/AssertStmt.js +0 -14
- package/dist/ast/nodes/statements/AssignmentStmt.d.ts +0 -105
- package/dist/ast/nodes/statements/AssignmentStmt.js +0 -211
- package/dist/ast/nodes/statements/BlockStmt.d.ts +0 -8
- package/dist/ast/nodes/statements/BlockStmt.js +0 -8
- package/dist/ast/nodes/statements/BreakStmt.d.ts +0 -6
- package/dist/ast/nodes/statements/BreakStmt.js +0 -6
- package/dist/ast/nodes/statements/ContinueStmt.d.ts +0 -6
- package/dist/ast/nodes/statements/ContinueStmt.js +0 -6
- package/dist/ast/nodes/statements/DecrStmt.d.ts +0 -11
- package/dist/ast/nodes/statements/DecrStmt.js +0 -11
- package/dist/ast/nodes/statements/DoWhileStmt.d.ts +0 -10
- package/dist/ast/nodes/statements/DoWhileStmt.js +0 -10
- package/dist/ast/nodes/statements/EmptyStmt.d.ts +0 -6
- package/dist/ast/nodes/statements/EmptyStmt.js +0 -6
- package/dist/ast/nodes/statements/ExportImportStmt.d.ts +0 -15
- package/dist/ast/nodes/statements/ExportImportStmt.js +0 -15
- package/dist/ast/nodes/statements/ExportStarStmt.d.ts +0 -8
- package/dist/ast/nodes/statements/ExportStarStmt.js +0 -8
- package/dist/ast/nodes/statements/ExportStmt.d.ts +0 -13
- package/dist/ast/nodes/statements/ExportStmt.js +0 -13
- package/dist/ast/nodes/statements/ExprStmt.d.ts +0 -8
- package/dist/ast/nodes/statements/ExprStmt.js +0 -18
- package/dist/ast/nodes/statements/FailStmt.d.ts +0 -11
- package/dist/ast/nodes/statements/FailStmt.js +0 -10
- package/dist/ast/nodes/statements/ForOfStmt.d.ts +0 -16
- package/dist/ast/nodes/statements/ForOfStmt.js +0 -15
- package/dist/ast/nodes/statements/ForStmt.d.ts +0 -19
- package/dist/ast/nodes/statements/ForStmt.js +0 -19
- package/dist/ast/nodes/statements/IfStmt.d.ts +0 -11
- package/dist/ast/nodes/statements/IfStmt.js +0 -12
- package/dist/ast/nodes/statements/ImportStarStmt.d.ts +0 -15
- package/dist/ast/nodes/statements/ImportStarStmt.js +0 -15
- package/dist/ast/nodes/statements/ImportStmt.d.ts +0 -21
- package/dist/ast/nodes/statements/ImportStmt.js +0 -25
- package/dist/ast/nodes/statements/IncrStmt.d.ts +0 -8
- package/dist/ast/nodes/statements/IncrStmt.js +0 -8
- package/dist/ast/nodes/statements/MatchStmt.d.ts +0 -17
- package/dist/ast/nodes/statements/MatchStmt.js +0 -20
- package/dist/ast/nodes/statements/PebbleStmt.d.ts +0 -29
- package/dist/ast/nodes/statements/PebbleStmt.js +0 -62
- package/dist/ast/nodes/statements/ReturnStmt.d.ts +0 -8
- package/dist/ast/nodes/statements/ReturnStmt.js +0 -8
- package/dist/ast/nodes/statements/TestStmt.d.ts +0 -10
- package/dist/ast/nodes/statements/TestStmt.js +0 -10
- package/dist/ast/nodes/statements/TypeImplementsStmt.d.ts +0 -21
- package/dist/ast/nodes/statements/TypeImplementsStmt.js +0 -26
- package/dist/ast/nodes/statements/UsingStmt.d.ts +0 -16
- package/dist/ast/nodes/statements/UsingStmt.js +0 -20
- package/dist/ast/nodes/statements/VarStmt.d.ts +0 -10
- package/dist/ast/nodes/statements/VarStmt.js +0 -11
- package/dist/ast/nodes/statements/WhileStmt.d.ts +0 -10
- package/dist/ast/nodes/statements/WhileStmt.js +0 -10
- package/dist/ast/nodes/statements/declarations/EnumDecl.d.ts +0 -18
- package/dist/ast/nodes/statements/declarations/EnumDecl.js +0 -22
- package/dist/ast/nodes/statements/declarations/FuncDecl.d.ts +0 -8
- package/dist/ast/nodes/statements/declarations/FuncDecl.js +0 -9
- package/dist/ast/nodes/statements/declarations/InterfaceDecl.d.ts +0 -19
- package/dist/ast/nodes/statements/declarations/InterfaceDecl.js +0 -26
- package/dist/ast/nodes/statements/declarations/PebbleTypeDecl.d.ts +0 -5
- package/dist/ast/nodes/statements/declarations/PebbleTypeDecl.js +0 -8
- package/dist/ast/nodes/statements/declarations/StructDecl.d.ts +0 -25
- package/dist/ast/nodes/statements/declarations/StructDecl.js +0 -36
- package/dist/ast/nodes/statements/declarations/TypeAliasDecl.d.ts +0 -11
- package/dist/ast/nodes/statements/declarations/TypeAliasDecl.js +0 -12
- package/dist/ast/nodes/statements/declarations/VarDecl/ArrayLikeDeconstr.d.ts +0 -19
- package/dist/ast/nodes/statements/declarations/VarDecl/ArrayLikeDeconstr.js +0 -19
- package/dist/ast/nodes/statements/declarations/VarDecl/HasInit.d.ts +0 -5
- package/dist/ast/nodes/statements/declarations/VarDecl/HasInit.js +0 -7
- package/dist/ast/nodes/statements/declarations/VarDecl/NamedDeconstructVarDecl.d.ts +0 -24
- package/dist/ast/nodes/statements/declarations/VarDecl/NamedDeconstructVarDecl.js +0 -30
- package/dist/ast/nodes/statements/declarations/VarDecl/SimpleVarDecl.d.ts +0 -17
- package/dist/ast/nodes/statements/declarations/VarDecl/SimpleVarDecl.js +0 -21
- package/dist/ast/nodes/statements/declarations/VarDecl/SingleDeconstructVarDecl.d.ts +0 -24
- package/dist/ast/nodes/statements/declarations/VarDecl/SingleDeconstructVarDecl.js +0 -20
- package/dist/ast/nodes/statements/declarations/VarDecl/VarDecl.d.ts +0 -8
- package/dist/ast/nodes/statements/declarations/VarDecl/VarDecl.js +0 -13
- package/dist/ast/nodes/types/AstNamedTypeExpr.d.ts +0 -14
- package/dist/ast/nodes/types/AstNamedTypeExpr.js +0 -14
- package/dist/ast/nodes/types/AstNativeTypeExpr.d.ts +0 -52
- package/dist/ast/nodes/types/AstNativeTypeExpr.js +0 -82
- package/dist/ast/nodes/types/AstTypeExpr.d.ts +0 -4
- package/dist/ast/nodes/types/AstTypeExpr.js +0 -7
- package/dist/common.d.ts +0 -194
- package/dist/common.js +0 -224
- package/dist/compiler/AstCompiler/AstCompilationCtx.d.ts +0 -35
- package/dist/compiler/AstCompiler/AstCompilationCtx.js +0 -43
- package/dist/compiler/AstCompiler/AstCompiler.d.ts +0 -73
- package/dist/compiler/AstCompiler/AstCompiler.js +0 -532
- package/dist/compiler/AstCompiler/compileAst.d.ts +0 -0
- package/dist/compiler/AstCompiler/compileAst.js +0 -0
- package/dist/compiler/AstCompiler/index.d.ts +0 -1
- package/dist/compiler/AstCompiler/index.js +0 -1
- package/dist/compiler/AstCompiler/internal/exprs/_compileBinaryExpr.d.ts +0 -5
- package/dist/compiler/AstCompiler/internal/exprs/_compileBinaryExpr.js +0 -66
- package/dist/compiler/AstCompiler/internal/exprs/_compileCallExpr.d.ts +0 -5
- package/dist/compiler/AstCompiler/internal/exprs/_compileCallExpr.js +0 -36
- package/dist/compiler/AstCompiler/internal/exprs/_compileCaseExpr.d.ts +0 -6
- package/dist/compiler/AstCompiler/internal/exprs/_compileCaseExpr.js +0 -47
- package/dist/compiler/AstCompiler/internal/exprs/_compileElemAccessExpr.d.ts +0 -5
- package/dist/compiler/AstCompiler/internal/exprs/_compileElemAccessExpr.js +0 -23
- package/dist/compiler/AstCompiler/internal/exprs/_compileExpr.d.ts +0 -22
- package/dist/compiler/AstCompiler/internal/exprs/_compileExpr.js +0 -77
- package/dist/compiler/AstCompiler/internal/exprs/_compileFuncExpr.d.ts +0 -26
- package/dist/compiler/AstCompiler/internal/exprs/_compileFuncExpr.js +0 -163
- package/dist/compiler/AstCompiler/internal/exprs/_compileIsExpr.d.ts +0 -1
- package/dist/compiler/AstCompiler/internal/exprs/_compileIsExpr.js +0 -43
- package/dist/compiler/AstCompiler/internal/exprs/_compileLitteralExpr.d.ts +0 -19
- package/dist/compiler/AstCompiler/internal/exprs/_compileLitteralExpr.js +0 -202
- package/dist/compiler/AstCompiler/internal/exprs/_compileNonNullExpr.d.ts +0 -5
- package/dist/compiler/AstCompiler/internal/exprs/_compileNonNullExpr.js +0 -43
- package/dist/compiler/AstCompiler/internal/exprs/_compilePropAccessExpr.d.ts +0 -9
- package/dist/compiler/AstCompiler/internal/exprs/_compilePropAccessExpr.js +0 -102
- package/dist/compiler/AstCompiler/internal/exprs/_compileTernaryExpr.d.ts +0 -5
- package/dist/compiler/AstCompiler/internal/exprs/_compileTernaryExpr.js +0 -22
- package/dist/compiler/AstCompiler/internal/exprs/_compileTypeConversionExpr.d.ts +0 -5
- package/dist/compiler/AstCompiler/internal/exprs/_compileTypeConversionExpr.js +0 -25
- package/dist/compiler/AstCompiler/internal/exprs/_compileUnaryPrefixExpr.d.ts +0 -5
- package/dist/compiler/AstCompiler/internal/exprs/_compileUnaryPrefixExpr.js +0 -54
- package/dist/compiler/AstCompiler/internal/exprs/_compileVarAccessExpr.d.ts +0 -5
- package/dist/compiler/AstCompiler/internal/exprs/_compileVarAccessExpr.js +0 -9
- package/dist/compiler/AstCompiler/internal/exprs/_hasDuplicateTypeParams.d.ts +0 -3
- package/dist/compiler/AstCompiler/internal/exprs/_hasDuplicateTypeParams.js +0 -13
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileAddExpr.d.ts +0 -5
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileAddExpr.js +0 -20
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileBitwiseAndExpr.d.ts +0 -5
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileBitwiseAndExpr.js +0 -20
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileBitwiseOrExpr.d.ts +0 -5
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileBitwiseOrExpr.js +0 -20
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileBitwiseXorExpr.d.ts +0 -5
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileBitwiseXorExpr.js +0 -20
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileDivExpr.d.ts +0 -5
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileDivExpr.js +0 -20
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileEqualExpr.d.ts +0 -5
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileEqualExpr.js +0 -18
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileExponentiationExpr.d.ts +0 -5
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileExponentiationExpr.js +0 -20
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileGreaterThanEqualExpr.d.ts +0 -5
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileGreaterThanEqualExpr.js +0 -27
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileGreaterThanExpr.d.ts +0 -5
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileGreaterThanExpr.js +0 -26
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileLessThanEqualExpr.d.ts +0 -5
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileLessThanEqualExpr.js +0 -25
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileLessThanExpr.d.ts +0 -5
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileLessThanExpr.js +0 -26
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileLogicalAndExpr.d.ts +0 -5
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileLogicalAndExpr.js +0 -22
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileLogicalOrExpr.d.ts +0 -5
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileLogicalOrExpr.js +0 -22
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileModuloExpr.d.ts +0 -5
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileModuloExpr.js +0 -20
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileMultExpr.d.ts +0 -5
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileMultExpr.js +0 -20
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileNotEqualExpr.d.ts +0 -5
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileNotEqualExpr.js +0 -18
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileOptionalDefaultExpr.d.ts +0 -5
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileOptionalDefaultExpr.js +0 -60
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileShiftLeftExpr.d.ts +0 -5
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileShiftLeftExpr.js +0 -21
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileShiftRightExpr.d.ts +0 -5
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileShiftRightExpr.js +0 -21
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileSubExpr.d.ts +0 -5
- package/dist/compiler/AstCompiler/internal/exprs/binary/_compileSubExpr.js +0 -20
- package/dist/compiler/AstCompiler/internal/statements/_compileAssertStmt.d.ts +0 -4
- package/dist/compiler/AstCompiler/internal/statements/_compileAssertStmt.js +0 -30
- package/dist/compiler/AstCompiler/internal/statements/_compileAssignmentStmt.d.ts +0 -8
- package/dist/compiler/AstCompiler/internal/statements/_compileAssignmentStmt.js +0 -154
- package/dist/compiler/AstCompiler/internal/statements/_compileBlockStmt.d.ts +0 -4
- package/dist/compiler/AstCompiler/internal/statements/_compileBlockStmt.js +0 -14
- package/dist/compiler/AstCompiler/internal/statements/_compileBreakStmt.d.ts +0 -4
- package/dist/compiler/AstCompiler/internal/statements/_compileBreakStmt.js +0 -7
- package/dist/compiler/AstCompiler/internal/statements/_compileContinueStmt.d.ts +0 -4
- package/dist/compiler/AstCompiler/internal/statements/_compileContinueStmt.js +0 -7
- package/dist/compiler/AstCompiler/internal/statements/_compileExprStmt.d.ts +0 -1
- package/dist/compiler/AstCompiler/internal/statements/_compileExprStmt.js +0 -12
- package/dist/compiler/AstCompiler/internal/statements/_compileFailStmt.d.ts +0 -4
- package/dist/compiler/AstCompiler/internal/statements/_compileFailStmt.js +0 -18
- package/dist/compiler/AstCompiler/internal/statements/_compileForOfStmt.d.ts +0 -4
- package/dist/compiler/AstCompiler/internal/statements/_compileForOfStmt.js +0 -30
- package/dist/compiler/AstCompiler/internal/statements/_compileForStmt.d.ts +0 -7
- package/dist/compiler/AstCompiler/internal/statements/_compileForStmt.js +0 -46
- package/dist/compiler/AstCompiler/internal/statements/_compileIfStmt.d.ts +0 -4
- package/dist/compiler/AstCompiler/internal/statements/_compileIfStmt.js +0 -27
- package/dist/compiler/AstCompiler/internal/statements/_compileMatchStmt.d.ts +0 -6
- package/dist/compiler/AstCompiler/internal/statements/_compileMatchStmt.js +0 -182
- package/dist/compiler/AstCompiler/internal/statements/_compileReturnStmt.d.ts +0 -4
- package/dist/compiler/AstCompiler/internal/statements/_compileReturnStmt.js +0 -17
- package/dist/compiler/AstCompiler/internal/statements/_compileStatement.d.ts +0 -11
- package/dist/compiler/AstCompiler/internal/statements/_compileStatement.js +0 -73
- package/dist/compiler/AstCompiler/internal/statements/_compileTestStmt.d.ts +0 -1
- package/dist/compiler/AstCompiler/internal/statements/_compileTestStmt.js +0 -32
- package/dist/compiler/AstCompiler/internal/statements/_compileUsingStmt.d.ts +0 -11
- package/dist/compiler/AstCompiler/internal/statements/_compileUsingStmt.js +0 -41
- package/dist/compiler/AstCompiler/internal/statements/_compileVarStmt.d.ts +0 -34
- package/dist/compiler/AstCompiler/internal/statements/_compileVarStmt.js +0 -207
- package/dist/compiler/AstCompiler/internal/statements/_compileWhileStmt.d.ts +0 -4
- package/dist/compiler/AstCompiler/internal/statements/_compileWhileStmt.js +0 -19
- package/dist/compiler/AstCompiler/internal/types/_compileDataEncodedConcreteType.d.ts +0 -4
- package/dist/compiler/AstCompiler/internal/types/_compileDataEncodedConcreteType.js +0 -61
- package/dist/compiler/AstCompiler/internal/types/_compileSopEncodedConcreteType.d.ts +0 -4
- package/dist/compiler/AstCompiler/internal/types/_compileSopEncodedConcreteType.js +0 -59
- package/dist/compiler/AstCompiler/scope/AstScope.d.ts +0 -102
- package/dist/compiler/AstCompiler/scope/AstScope.js +0 -195
- package/dist/compiler/AstCompiler/utils/deps/ResolveStackNode.d.ts +0 -14
- package/dist/compiler/AstCompiler/utils/deps/ResolveStackNode.js +0 -36
- package/dist/compiler/AstCompiler/utils/getPropAccessReturnType.d.ts +0 -4
- package/dist/compiler/AstCompiler/utils/getPropAccessReturnType.js +0 -121
- package/dist/compiler/AstCompiler/utils/getTirFuncSigTree/TirFuncSigTree.d.ts +0 -39
- package/dist/compiler/AstCompiler/utils/getTirFuncSigTree/TirFuncSigTree.js +0 -129
- package/dist/compiler/AstCompiler/utils/getTirFuncSigTree/getTirFuncSigTree.d.ts +0 -4
- package/dist/compiler/AstCompiler/utils/getTirFuncSigTree/getTirFuncSigTree.js +0 -49
- package/dist/compiler/AstCompiler/utils/wrapManyStatementsOrReturnSame.d.ts +0 -3
- package/dist/compiler/AstCompiler/utils/wrapManyStatementsOrReturnSame.js +0 -12
- package/dist/compiler/Compiler.d.ts +0 -10
- package/dist/compiler/Compiler.js +0 -39
- package/dist/compiler/TirCompiler/TirCompilerCtx.d.ts +0 -7
- package/dist/compiler/TirCompiler/TirCompilerCtx.js +0 -8
- package/dist/compiler/TirCompiler/compileTirProgram.d.ts +0 -9
- package/dist/compiler/TirCompiler/compileTirProgram.js +0 -18
- package/dist/compiler/TirCompiler/expressify/ExpressifyCtx.d.ts +0 -72
- package/dist/compiler/TirCompiler/expressify/ExpressifyCtx.js +0 -282
- package/dist/compiler/TirCompiler/expressify/determineReassignedVariablesAndReturn.d.ts +0 -27
- package/dist/compiler/TirCompiler/expressify/determineReassignedVariablesAndReturn.js +0 -248
- package/dist/compiler/TirCompiler/expressify/expressify.d.ts +0 -15
- package/dist/compiler/TirCompiler/expressify/expressify.js +0 -403
- package/dist/compiler/TirCompiler/expressify/expressifyForStmt.d.ts +0 -8
- package/dist/compiler/TirCompiler/expressify/expressifyForStmt.js +0 -115
- package/dist/compiler/TirCompiler/expressify/expressifyIfBranch.d.ts +0 -6
- package/dist/compiler/TirCompiler/expressify/expressifyIfBranch.js +0 -105
- package/dist/compiler/TirCompiler/expressify/expressifyTerminatingIfStmt.d.ts +0 -5
- package/dist/compiler/TirCompiler/expressify/expressifyTerminatingIfStmt.js +0 -15
- package/dist/compiler/TirCompiler/expressify/expressifyVarAssignmentStmt.d.ts +0 -4
- package/dist/compiler/TirCompiler/expressify/expressifyVarAssignmentStmt.js +0 -20
- package/dist/compiler/TirCompiler/expressify/expressifyVarDecl.d.ts +0 -3
- package/dist/compiler/TirCompiler/expressify/expressifyVarDecl.js +0 -34
- package/dist/compiler/TirCompiler/expressify/expressifyVars.d.ts +0 -10
- package/dist/compiler/TirCompiler/expressify/expressifyVars.js +0 -320
- package/dist/compiler/TirCompiler/expressify/flattenSopNamedDeconstructInplace_addTopDestructToCtx_getNestedDeconstruct.d.ts +0 -9
- package/dist/compiler/TirCompiler/expressify/flattenSopNamedDeconstructInplace_addTopDestructToCtx_getNestedDeconstruct.js +0 -59
- package/dist/compiler/TirCompiler/expressify/isSingleConstrStruct.d.ts +0 -3
- package/dist/compiler/TirCompiler/expressify/isSingleConstrStruct.js +0 -9
- package/dist/compiler/TirCompiler/expressify/toNamedDeconstructVarDecl.d.ts +0 -3
- package/dist/compiler/TirCompiler/expressify/toNamedDeconstructVarDecl.js +0 -15
- package/dist/compiler/TirCompiler/index.d.ts +0 -2
- package/dist/compiler/TirCompiler/index.js +0 -2
- package/dist/compiler/TirCompiler/internal/_compileHoistedDeps.d.ts +0 -5
- package/dist/compiler/TirCompiler/internal/_compileHoistedDeps.js +0 -37
- package/dist/compiler/TirCompiler/internal/deps/DepsNode.d.ts +0 -13
- package/dist/compiler/TirCompiler/internal/deps/DepsNode.js +0 -36
- package/dist/compiler/index.d.ts +0 -4
- package/dist/compiler/index.js +0 -4
- package/dist/compiler/internalVar.d.ts +0 -19
- package/dist/compiler/internalVar.js +0 -56
- package/dist/compiler/io/CompilerIoApi.d.ts +0 -36
- package/dist/compiler/io/CompilerIoApi.js +0 -62
- package/dist/compiler/io/IOutputStream.d.ts +0 -28
- package/dist/compiler/io/IOutputStream.js +0 -45
- package/dist/compiler/io/index.d.ts +0 -2
- package/dist/compiler/io/index.js +0 -2
- package/dist/compiler/path/getAbsolutePath.d.ts +0 -12
- package/dist/compiler/path/getAbsolutePath.js +0 -114
- package/dist/compiler/path/path.d.ts +0 -5
- package/dist/compiler/path/path.js +0 -160
- package/dist/compiler/tir/expressions/ITirExpr.d.ts +0 -11
- package/dist/compiler/tir/expressions/ITirExpr.js +0 -1
- package/dist/compiler/tir/expressions/TirAssertAndContinueExpr.d.ts +0 -19
- package/dist/compiler/tir/expressions/TirAssertAndContinueExpr.js +0 -41
- package/dist/compiler/tir/expressions/TirCallExpr.d.ts +0 -17
- package/dist/compiler/tir/expressions/TirCallExpr.js +0 -28
- package/dist/compiler/tir/expressions/TirCaseExpr.d.ts +0 -36
- package/dist/compiler/tir/expressions/TirCaseExpr.js +0 -257
- package/dist/compiler/tir/expressions/TirElemAccessExpr.d.ts +0 -20
- package/dist/compiler/tir/expressions/TirElemAccessExpr.js +0 -43
- package/dist/compiler/tir/expressions/TirExpr.d.ts +0 -23
- package/dist/compiler/tir/expressions/TirExpr.js +0 -46
- package/dist/compiler/tir/expressions/TirFailExpr.d.ts +0 -19
- package/dist/compiler/tir/expressions/TirFailExpr.js +0 -28
- package/dist/compiler/tir/expressions/TirFromDataExpr.d.ts +0 -22
- package/dist/compiler/tir/expressions/TirFromDataExpr.js +0 -196
- package/dist/compiler/tir/expressions/TirFuncExpr.d.ts +0 -37
- package/dist/compiler/tir/expressions/TirFuncExpr.js +0 -92
- package/dist/compiler/tir/expressions/TirHoistedExpr.d.ts +0 -18
- package/dist/compiler/tir/expressions/TirHoistedExpr.js +0 -28
- package/dist/compiler/tir/expressions/TirInlineClosedIR.d.ts +0 -16
- package/dist/compiler/tir/expressions/TirInlineClosedIR.js +0 -25
- package/dist/compiler/tir/expressions/TirLettedExpr.d.ts +0 -18
- package/dist/compiler/tir/expressions/TirLettedExpr.js +0 -28
- package/dist/compiler/tir/expressions/TirNativeFunc.d.ts +0 -104
- package/dist/compiler/tir/expressions/TirNativeFunc.js +0 -805
- package/dist/compiler/tir/expressions/TirParentesizedExpr.d.ts +0 -17
- package/dist/compiler/tir/expressions/TirParentesizedExpr.js +0 -20
- package/dist/compiler/tir/expressions/TirPropAccessExpr.d.ts +0 -18
- package/dist/compiler/tir/expressions/TirPropAccessExpr.js +0 -29
- package/dist/compiler/tir/expressions/TirTernaryExpr.d.ts +0 -18
- package/dist/compiler/tir/expressions/TirTernaryExpr.js +0 -36
- package/dist/compiler/tir/expressions/TirToDataExpr.d.ts +0 -28
- package/dist/compiler/tir/expressions/TirToDataExpr.js +0 -172
- package/dist/compiler/tir/expressions/TirTraceIfFalseExpr.d.ts +0 -23
- package/dist/compiler/tir/expressions/TirTraceIfFalseExpr.js +0 -32
- package/dist/compiler/tir/expressions/TirTypeConversionExpr.d.ts +0 -16
- package/dist/compiler/tir/expressions/TirTypeConversionExpr.js +0 -66
- package/dist/compiler/tir/expressions/TirVariableAccessExpr.d.ts +0 -18
- package/dist/compiler/tir/expressions/TirVariableAccessExpr.js +0 -30
- package/dist/compiler/tir/expressions/ToIRTermCtx.d.ts +0 -29
- package/dist/compiler/tir/expressions/ToIRTermCtx.js +0 -77
- package/dist/compiler/tir/expressions/binary/TirBinaryExpr.d.ts +0 -221
- package/dist/compiler/tir/expressions/binary/TirBinaryExpr.js +0 -532
- package/dist/compiler/tir/expressions/litteral/TirLitArrExpr.d.ts +0 -16
- package/dist/compiler/tir/expressions/litteral/TirLitArrExpr.js +0 -60
- package/dist/compiler/tir/expressions/litteral/TirLitFalseExpr.d.ts +0 -14
- package/dist/compiler/tir/expressions/litteral/TirLitFalseExpr.js +0 -17
- package/dist/compiler/tir/expressions/litteral/TirLitHexBytesExpr.d.ts +0 -15
- package/dist/compiler/tir/expressions/litteral/TirLitHexBytesExpr.js +0 -19
- package/dist/compiler/tir/expressions/litteral/TirLitIntExpr.d.ts +0 -15
- package/dist/compiler/tir/expressions/litteral/TirLitIntExpr.js +0 -19
- package/dist/compiler/tir/expressions/litteral/TirLitNamedObjExpr.d.ts +0 -22
- package/dist/compiler/tir/expressions/litteral/TirLitNamedObjExpr.js +0 -105
- package/dist/compiler/tir/expressions/litteral/TirLitObjExpr.d.ts +0 -22
- package/dist/compiler/tir/expressions/litteral/TirLitObjExpr.js +0 -102
- package/dist/compiler/tir/expressions/litteral/TirLitStrExpr.d.ts +0 -15
- package/dist/compiler/tir/expressions/litteral/TirLitStrExpr.js +0 -20
- package/dist/compiler/tir/expressions/litteral/TirLitThisExpr.d.ts +0 -14
- package/dist/compiler/tir/expressions/litteral/TirLitThisExpr.js +0 -20
- package/dist/compiler/tir/expressions/litteral/TirLitTrueExpr.d.ts +0 -14
- package/dist/compiler/tir/expressions/litteral/TirLitTrueExpr.js +0 -17
- package/dist/compiler/tir/expressions/litteral/TirLitUndefExpr.d.ts +0 -18
- package/dist/compiler/tir/expressions/litteral/TirLitUndefExpr.js +0 -23
- package/dist/compiler/tir/expressions/litteral/TirLitVoidExpr.d.ts +0 -14
- package/dist/compiler/tir/expressions/litteral/TirLitVoidExpr.js +0 -17
- package/dist/compiler/tir/expressions/litteral/TirLitteralExpr.d.ts +0 -13
- package/dist/compiler/tir/expressions/litteral/TirLitteralExpr.js +0 -24
- package/dist/compiler/tir/expressions/unary/ITirUnaryExpression.d.ts +0 -4
- package/dist/compiler/tir/expressions/unary/ITirUnaryExpression.js +0 -1
- package/dist/compiler/tir/expressions/unary/TirUnaryExclamation.d.ts +0 -17
- package/dist/compiler/tir/expressions/unary/TirUnaryExclamation.js +0 -23
- package/dist/compiler/tir/expressions/unary/TirUnaryMinus.d.ts +0 -17
- package/dist/compiler/tir/expressions/unary/TirUnaryMinus.js +0 -22
- package/dist/compiler/tir/expressions/unary/TirUnaryPlus.d.ts +0 -15
- package/dist/compiler/tir/expressions/unary/TirUnaryPlus.js +0 -20
- package/dist/compiler/tir/expressions/unary/TirUnaryPrefixExpr.d.ts +0 -6
- package/dist/compiler/tir/expressions/unary/TirUnaryPrefixExpr.js +0 -10
- package/dist/compiler/tir/expressions/unary/TirUnaryTilde.d.ts +0 -17
- package/dist/compiler/tir/expressions/unary/TirUnaryTilde.js +0 -22
- package/dist/compiler/tir/expressions/utils/NamedExpr.d.ts +0 -5
- package/dist/compiler/tir/expressions/utils/NamedExpr.js +0 -1
- package/dist/compiler/tir/program/TypedProgram.d.ts +0 -44
- package/dist/compiler/tir/program/TypedProgram.js +0 -126
- package/dist/compiler/tir/program/stdScope/StdTypes.d.ts +0 -34
- package/dist/compiler/tir/program/stdScope/StdTypes.js +0 -40
- package/dist/compiler/tir/program/stdScope/prelude/preludeTypesSrc.d.ts +0 -0
- package/dist/compiler/tir/program/stdScope/prelude/preludeTypesSrc.js +0 -288
- package/dist/compiler/tir/program/stdScope/stdScope.d.ts +0 -15
- package/dist/compiler/tir/program/stdScope/stdScope.js +0 -730
- package/dist/compiler/tir/statements/TirAssertStmt.d.ts +0 -18
- package/dist/compiler/tir/statements/TirAssertStmt.js +0 -29
- package/dist/compiler/tir/statements/TirAssignmentStmt.d.ts +0 -12
- package/dist/compiler/tir/statements/TirAssignmentStmt.js +0 -14
- package/dist/compiler/tir/statements/TirBlockStmt.d.ts +0 -9
- package/dist/compiler/tir/statements/TirBlockStmt.js +0 -25
- package/dist/compiler/tir/statements/TirBreakStmt.d.ts +0 -8
- package/dist/compiler/tir/statements/TirBreakStmt.js +0 -11
- package/dist/compiler/tir/statements/TirContinueStmt.d.ts +0 -8
- package/dist/compiler/tir/statements/TirContinueStmt.js +0 -13
- package/dist/compiler/tir/statements/TirFailStmt.d.ts +0 -13
- package/dist/compiler/tir/statements/TirFailStmt.js +0 -14
- package/dist/compiler/tir/statements/TirForOfStmt.d.ts +0 -16
- package/dist/compiler/tir/statements/TirForOfStmt.js +0 -25
- package/dist/compiler/tir/statements/TirForStmt.d.ts +0 -19
- package/dist/compiler/tir/statements/TirForStmt.js +0 -39
- package/dist/compiler/tir/statements/TirIfStmt.d.ts +0 -12
- package/dist/compiler/tir/statements/TirIfStmt.js +0 -23
- package/dist/compiler/tir/statements/TirMatchStmt.d.ts +0 -27
- package/dist/compiler/tir/statements/TirMatchStmt.js +0 -51
- package/dist/compiler/tir/statements/TirReturnStmt.d.ts +0 -10
- package/dist/compiler/tir/statements/TirReturnStmt.js +0 -12
- package/dist/compiler/tir/statements/TirStmt.d.ts +0 -32
- package/dist/compiler/tir/statements/TirStmt.js +0 -40
- package/dist/compiler/tir/statements/TirVarDecl/TirArrayLikeDeconstr.d.ts +0 -17
- package/dist/compiler/tir/statements/TirVarDecl/TirArrayLikeDeconstr.js +0 -30
- package/dist/compiler/tir/statements/TirVarDecl/TirNamedDeconstructVarDecl.d.ts +0 -21
- package/dist/compiler/tir/statements/TirVarDecl/TirNamedDeconstructVarDecl.js +0 -34
- package/dist/compiler/tir/statements/TirVarDecl/TirSimpleVarDecl.d.ts +0 -17
- package/dist/compiler/tir/statements/TirVarDecl/TirSimpleVarDecl.js +0 -22
- package/dist/compiler/tir/statements/TirVarDecl/TirSingleDeconstructVarDecl.d.ts +0 -17
- package/dist/compiler/tir/statements/TirVarDecl/TirSingleDeconstructVarDecl.js +0 -30
- package/dist/compiler/tir/statements/TirVarDecl/TirVarDecl.d.ts +0 -10
- package/dist/compiler/tir/statements/TirVarDecl/TirVarDecl.js +0 -11
- package/dist/compiler/tir/statements/TirWhileStmt.d.ts +0 -11
- package/dist/compiler/tir/statements/TirWhileStmt.js +0 -19
- package/dist/compiler/tir/statements/utils/definitelyFails.d.ts +0 -3
- package/dist/compiler/tir/statements/utils/definitelyFails.js +0 -52
- package/dist/compiler/tir/types/TirAliasType.d.ts +0 -32
- package/dist/compiler/tir/types/TirAliasType.js +0 -49
- package/dist/compiler/tir/types/TirInterfaceImpl.d.ts +0 -44
- package/dist/compiler/tir/types/TirInterfaceImpl.js +0 -32
- package/dist/compiler/tir/types/TirInterfaceType.d.ts +0 -28
- package/dist/compiler/tir/types/TirInterfaceType.js +0 -36
- package/dist/compiler/tir/types/TirNativeType/TirNativeType.d.ts +0 -41
- package/dist/compiler/tir/types/TirNativeType/TirNativeType.js +0 -86
- package/dist/compiler/tir/types/TirNativeType/index.d.ts +0 -2
- package/dist/compiler/tir/types/TirNativeType/index.js +0 -2
- package/dist/compiler/tir/types/TirNativeType/native/Optional/data.d.ts +0 -17
- package/dist/compiler/tir/types/TirNativeType/native/Optional/data.js +0 -47
- package/dist/compiler/tir/types/TirNativeType/native/Optional/index.d.ts +0 -3
- package/dist/compiler/tir/types/TirNativeType/native/Optional/index.js +0 -3
- package/dist/compiler/tir/types/TirNativeType/native/Optional/isTirOptType.d.ts +0 -4
- package/dist/compiler/tir/types/TirNativeType/native/Optional/isTirOptType.js +0 -6
- package/dist/compiler/tir/types/TirNativeType/native/Optional/sop.d.ts +0 -17
- package/dist/compiler/tir/types/TirNativeType/native/Optional/sop.js +0 -48
- package/dist/compiler/tir/types/TirNativeType/native/bool.d.ts +0 -13
- package/dist/compiler/tir/types/TirNativeType/native/bool.js +0 -12
- package/dist/compiler/tir/types/TirNativeType/native/bytes.d.ts +0 -13
- package/dist/compiler/tir/types/TirNativeType/native/bytes.js +0 -12
- package/dist/compiler/tir/types/TirNativeType/native/data.d.ts +0 -13
- package/dist/compiler/tir/types/TirNativeType/native/data.js +0 -12
- package/dist/compiler/tir/types/TirNativeType/native/function.d.ts +0 -16
- package/dist/compiler/tir/types/TirNativeType/native/function.js +0 -38
- package/dist/compiler/tir/types/TirNativeType/native/index.d.ts +0 -10
- package/dist/compiler/tir/types/TirNativeType/native/index.js +0 -10
- package/dist/compiler/tir/types/TirNativeType/native/int.d.ts +0 -13
- package/dist/compiler/tir/types/TirNativeType/native/int.js +0 -12
- package/dist/compiler/tir/types/TirNativeType/native/linearMap.d.ts +0 -17
- package/dist/compiler/tir/types/TirNativeType/native/linearMap.js +0 -44
- package/dist/compiler/tir/types/TirNativeType/native/list.d.ts +0 -16
- package/dist/compiler/tir/types/TirNativeType/native/list.js +0 -38
- package/dist/compiler/tir/types/TirNativeType/native/string.d.ts +0 -13
- package/dist/compiler/tir/types/TirNativeType/native/string.js +0 -12
- package/dist/compiler/tir/types/TirNativeType/native/void.d.ts +0 -13
- package/dist/compiler/tir/types/TirNativeType/native/void.js +0 -12
- package/dist/compiler/tir/types/TirStructType.d.ts +0 -68
- package/dist/compiler/tir/types/TirStructType.js +0 -128
- package/dist/compiler/tir/types/TirType.d.ts +0 -34
- package/dist/compiler/tir/types/TirType.js +0 -16
- package/dist/compiler/tir/types/TirTypeParam.d.ts +0 -18
- package/dist/compiler/tir/types/TirTypeParam.js +0 -39
- package/dist/compiler/tir/types/utils/canAssignTo.d.ts +0 -24
- package/dist/compiler/tir/types/utils/canAssignTo.js +0 -337
- package/dist/compiler/tir/types/utils/canCastTo.d.ts +0 -9
- package/dist/compiler/tir/types/utils/canCastTo.js +0 -155
- package/dist/compiler/tir/types/utils/getDeconstructableType.d.ts +0 -9
- package/dist/compiler/tir/types/utils/getDeconstructableType.js +0 -20
- package/dist/compiler/tir/types/utils/getListTypeArg.d.ts +0 -2
- package/dist/compiler/tir/types/utils/getListTypeArg.js +0 -9
- package/dist/compiler/tir/types/utils/getOptTypeArg.d.ts +0 -2
- package/dist/compiler/tir/types/utils/getOptTypeArg.js +0 -14
- package/dist/compiler/tir/types/utils/getUnaliased.d.ts +0 -3
- package/dist/compiler/tir/types/utils/getUnaliased.js +0 -9
- package/dist/diagnostics/DiagnosticCategory.d.ts +0 -16
- package/dist/diagnostics/DiagnosticCategory.js +0 -39
- package/dist/diagnostics/DiagnosticEmitter.d.ts +0 -32
- package/dist/diagnostics/DiagnosticEmitter.js +0 -95
- package/dist/diagnostics/DiagnosticMessage.d.ts +0 -37
- package/dist/diagnostics/DiagnosticMessage.js +0 -229
- package/dist/diagnostics/diagnosticMessages.generated.d.ts +0 -275
- package/dist/diagnostics/diagnosticMessages.generated.js +0 -551
- package/dist/diagnostics/utils/types.d.ts +0 -5
- package/dist/diagnostics/utils/types.js +0 -1
- package/dist/index.d.ts +0 -12
- package/dist/index.js +0 -13
- package/dist/parser/Parser.d.ts +0 -150
- package/dist/parser/Parser.js +0 -2416
- package/dist/parser/Precedence.d.ts +0 -38
- package/dist/parser/Precedence.js +0 -98
- package/dist/parser/hoistStatementsInplace.d.ts +0 -14
- package/dist/parser/hoistStatementsInplace.js +0 -94
- package/dist/parser/index.d.ts +0 -1
- package/dist/parser/index.js +0 -1
- package/dist/parser/parseFile.d.ts +0 -3
- package/dist/parser/parseFile.js +0 -8
- package/dist/tokenizer/IdentifierHandling.d.ts +0 -5
- package/dist/tokenizer/IdentifierHandling.js +0 -6
- package/dist/tokenizer/OnNewLine.d.ts +0 -6
- package/dist/tokenizer/OnNewLine.js +0 -8
- package/dist/tokenizer/Token.d.ts +0 -160
- package/dist/tokenizer/Token.js +0 -213
- package/dist/tokenizer/Tokenizer.d.ts +0 -129
- package/dist/tokenizer/Tokenizer.js +0 -1323
- package/dist/tokenizer/TokenizerState.d.ts +0 -17
- package/dist/tokenizer/TokenizerState.js +0 -17
- package/dist/tokenizer/index.d.ts +0 -2
- package/dist/tokenizer/index.js +0 -2
- package/dist/tokenizer/utils/isIllegalVariableIdentifier.d.ts +0 -1
- package/dist/tokenizer/utils/isIllegalVariableIdentifier.js +0 -12
- package/dist/tokenizer/utils/operatorTokenToString.d.ts +0 -2
- package/dist/tokenizer/utils/operatorTokenToString.js +0 -57
- package/dist/tokenizer/utils/tokenFromKeyword.d.ts +0 -2
- package/dist/tokenizer/utils/tokenFromKeyword.js +0 -222
- package/dist/tokenizer/utils/tokenIsAlsoIdentifier.d.ts +0 -2
- package/dist/tokenizer/utils/tokenIsAlsoIdentifier.js +0 -24
- package/dist/utils/BasePlutsError.d.ts +0 -2
- package/dist/utils/BasePlutsError.js +0 -2
- package/dist/utils/BitUtils/index.d.ts +0 -30
- package/dist/utils/BitUtils/index.js +0 -60
- package/dist/utils/CharCode.d.ts +0 -125
- package/dist/utils/CharCode.js +0 -1
- package/dist/utils/Cloneable.d.ts +0 -6
- package/dist/utils/Cloneable.js +0 -4
- package/dist/utils/InvalidCborFormatError.d.ts +0 -3
- package/dist/utils/InvalidCborFormatError.js +0 -5
- package/dist/utils/IsSingleKey.d.ts +0 -7
- package/dist/utils/IsSingleKey.js +0 -1
- package/dist/utils/MaybePromise.d.ts +0 -2
- package/dist/utils/MaybePromise.js +0 -4
- package/dist/utils/PlutusScriptType.d.ts +0 -12
- package/dist/utils/PlutusScriptType.js +0 -1
- package/dist/utils/ToJson.d.ts +0 -4
- package/dist/utils/ToJson.js +0 -5
- package/dist/utils/UPLCFlatUtils/index.d.ts +0 -46
- package/dist/utils/UPLCFlatUtils/index.js +0 -124
- package/dist/utils/array/filterSortedStrArrInplace.d.ts +0 -7
- package/dist/utils/array/filterSortedStrArrInplace.js +0 -46
- package/dist/utils/array/keepSortedArrInplace.d.ts +0 -7
- package/dist/utils/array/keepSortedArrInplace.js +0 -49
- package/dist/utils/array/mergeSortedStrArrInplace.d.ts +0 -6
- package/dist/utils/array/mergeSortedStrArrInplace.js +0 -52
- package/dist/utils/assert.d.ts +0 -1
- package/dist/utils/assert.js +0 -5
- package/dist/utils/capitalize.d.ts +0 -1
- package/dist/utils/capitalize.js +0 -5
- package/dist/utils/combinators.d.ts +0 -37
- package/dist/utils/combinators.js +0 -76
- package/dist/utils/getCallStackAt/index.d.ts +0 -43
- package/dist/utils/getCallStackAt/index.js +0 -295
- package/dist/utils/hex.d.ts +0 -1
- package/dist/utils/hex.js +0 -6
- package/dist/utils/ints.d.ts +0 -4
- package/dist/utils/ints.js +0 -19
- package/dist/utils/isNonEmpty.d.ts +0 -1
- package/dist/utils/isNonEmpty.js +0 -3
- package/dist/utils/maybeData.d.ts +0 -4
- package/dist/utils/maybeData.js +0 -10
- package/dist/utils/stringify.d.ts +0 -2
- package/dist/utils/stringify.js +0 -31
- package/dist/utils/terminal.d.ts +0 -28
- package/dist/utils/terminal.js +0 -38
- package/dist/utils/text.d.ts +0 -172
- package/dist/utils/text.js +0 -672
- package/dist/utils/types.d.ts +0 -12
- package/dist/utils/types.js +0 -1
|
@@ -1,18 +0,0 @@
|
|
|
1
|
-
import { SourceRange } from "../../../ast/Source/SourceRange.js";
|
|
2
|
-
import { TirExpr } from "../expressions/TirExpr.js";
|
|
3
|
-
import { ITirStmt } from "./TirStmt.js";
|
|
4
|
-
export declare class TirAssertStmt implements ITirStmt {
|
|
5
|
-
/** must be boolean or Optional */
|
|
6
|
-
condition: TirExpr;
|
|
7
|
-
/** must be string */
|
|
8
|
-
elseExpr: TirExpr | undefined;
|
|
9
|
-
readonly range: SourceRange;
|
|
10
|
-
constructor(
|
|
11
|
-
/** must be boolean or Optional */
|
|
12
|
-
condition: TirExpr,
|
|
13
|
-
/** must be string */
|
|
14
|
-
elseExpr: TirExpr | undefined, range: SourceRange);
|
|
15
|
-
definitelyTerminates(): boolean;
|
|
16
|
-
deps(): string[];
|
|
17
|
-
toSafeCondition(): TirExpr;
|
|
18
|
-
}
|
|
@@ -1,29 +0,0 @@
|
|
|
1
|
-
import { mergeSortedStrArrInplace } from "../../../utils/array/mergeSortedStrArrInplace.js";
|
|
2
|
-
import { TirTraceIfFalseExpr } from "../expressions/TirTraceIfFalseExpr.js";
|
|
3
|
-
export class TirAssertStmt {
|
|
4
|
-
condition;
|
|
5
|
-
elseExpr;
|
|
6
|
-
range;
|
|
7
|
-
constructor(
|
|
8
|
-
/** must be boolean or Optional */
|
|
9
|
-
condition,
|
|
10
|
-
/** must be string */
|
|
11
|
-
elseExpr, range) {
|
|
12
|
-
this.condition = condition;
|
|
13
|
-
this.elseExpr = elseExpr;
|
|
14
|
-
this.range = range;
|
|
15
|
-
}
|
|
16
|
-
definitelyTerminates() { return false; }
|
|
17
|
-
deps() {
|
|
18
|
-
const deps = this.condition.deps();
|
|
19
|
-
if (this.elseExpr) {
|
|
20
|
-
mergeSortedStrArrInplace(deps, this.elseExpr.deps());
|
|
21
|
-
}
|
|
22
|
-
return deps;
|
|
23
|
-
}
|
|
24
|
-
toSafeCondition() {
|
|
25
|
-
if (!this.elseExpr)
|
|
26
|
-
return this.condition;
|
|
27
|
-
return new TirTraceIfFalseExpr(this.condition, this.elseExpr, this.range);
|
|
28
|
-
}
|
|
29
|
-
}
|
|
@@ -1,12 +0,0 @@
|
|
|
1
|
-
import { SourceRange } from "../../../ast/Source/SourceRange.js";
|
|
2
|
-
import { TirExpr } from "../expressions/TirExpr.js";
|
|
3
|
-
import { TirVariableAccessExpr } from "../expressions/TirVariableAccessExpr.js";
|
|
4
|
-
import { ITirStmt } from "./TirStmt.js";
|
|
5
|
-
export declare class TirAssignmentStmt implements ITirStmt {
|
|
6
|
-
readonly varIdentifier: TirVariableAccessExpr;
|
|
7
|
-
readonly assignedExpr: TirExpr;
|
|
8
|
-
readonly range: SourceRange;
|
|
9
|
-
constructor(varIdentifier: TirVariableAccessExpr, assignedExpr: TirExpr, range: SourceRange);
|
|
10
|
-
definitelyTerminates(): boolean;
|
|
11
|
-
deps(): string[];
|
|
12
|
-
}
|
|
@@ -1,14 +0,0 @@
|
|
|
1
|
-
export class TirAssignmentStmt {
|
|
2
|
-
varIdentifier;
|
|
3
|
-
assignedExpr;
|
|
4
|
-
range;
|
|
5
|
-
constructor(varIdentifier, assignedExpr, range) {
|
|
6
|
-
this.varIdentifier = varIdentifier;
|
|
7
|
-
this.assignedExpr = assignedExpr;
|
|
8
|
-
this.range = range;
|
|
9
|
-
}
|
|
10
|
-
definitelyTerminates() { return false; }
|
|
11
|
-
deps() {
|
|
12
|
-
return this.varIdentifier.deps();
|
|
13
|
-
}
|
|
14
|
-
}
|
|
@@ -1,9 +0,0 @@
|
|
|
1
|
-
import { SourceRange } from "../../../ast/Source/SourceRange.js";
|
|
2
|
-
import { ITirStmt, TirStmt } from "./TirStmt.js";
|
|
3
|
-
export declare class TirBlockStmt implements ITirStmt {
|
|
4
|
-
stmts: TirStmt[];
|
|
5
|
-
readonly range: SourceRange;
|
|
6
|
-
constructor(stmts: TirStmt[], range: SourceRange);
|
|
7
|
-
definitelyTerminates(): boolean;
|
|
8
|
-
deps(): string[];
|
|
9
|
-
}
|
|
@@ -1,25 +0,0 @@
|
|
|
1
|
-
import { filterSortedStrArrInplace } from "../../../utils/array/filterSortedStrArrInplace.js";
|
|
2
|
-
import { mergeSortedStrArrInplace } from "../../../utils/array/mergeSortedStrArrInplace.js";
|
|
3
|
-
import { isTirVarDecl } from "./TirVarDecl/TirVarDecl.js";
|
|
4
|
-
export class TirBlockStmt {
|
|
5
|
-
stmts;
|
|
6
|
-
range;
|
|
7
|
-
constructor(stmts, range) {
|
|
8
|
-
this.stmts = stmts;
|
|
9
|
-
this.range = range;
|
|
10
|
-
}
|
|
11
|
-
definitelyTerminates() {
|
|
12
|
-
return this.stmts.some(stmt => stmt.definitelyTerminates());
|
|
13
|
-
}
|
|
14
|
-
deps() {
|
|
15
|
-
const deps = [];
|
|
16
|
-
const introducedVars = [];
|
|
17
|
-
for (const stmt of this.stmts) {
|
|
18
|
-
mergeSortedStrArrInplace(deps, filterSortedStrArrInplace(stmt.deps(), introducedVars));
|
|
19
|
-
if (isTirVarDecl(stmt)) {
|
|
20
|
-
mergeSortedStrArrInplace(introducedVars, stmt.introducedVars());
|
|
21
|
-
}
|
|
22
|
-
}
|
|
23
|
-
return deps;
|
|
24
|
-
}
|
|
25
|
-
}
|
|
@@ -1,8 +0,0 @@
|
|
|
1
|
-
import { SourceRange } from "../../../ast/Source/SourceRange.js";
|
|
2
|
-
import { ITirStmt } from "./TirStmt.js";
|
|
3
|
-
export declare class TirBreakStmt implements ITirStmt {
|
|
4
|
-
readonly range: SourceRange;
|
|
5
|
-
constructor(range: SourceRange);
|
|
6
|
-
definitelyTerminates(): boolean;
|
|
7
|
-
deps(): string[];
|
|
8
|
-
}
|
|
@@ -1,11 +0,0 @@
|
|
|
1
|
-
export class TirBreakStmt {
|
|
2
|
-
range;
|
|
3
|
-
constructor(range) {
|
|
4
|
-
this.range = range;
|
|
5
|
-
}
|
|
6
|
-
// loops are transoformed into recursive functions
|
|
7
|
-
// and break statements are transformed into return statements
|
|
8
|
-
// so this statement does terminate the function
|
|
9
|
-
definitelyTerminates() { return true; }
|
|
10
|
-
deps() { return []; }
|
|
11
|
-
}
|
|
@@ -1,8 +0,0 @@
|
|
|
1
|
-
import { SourceRange } from "../../../ast/Source/SourceRange.js";
|
|
2
|
-
import { ITirStmt } from "./TirStmt.js";
|
|
3
|
-
export declare class TirContinueStmt implements ITirStmt {
|
|
4
|
-
readonly range: SourceRange;
|
|
5
|
-
constructor(range: SourceRange);
|
|
6
|
-
definitelyTerminates(): boolean;
|
|
7
|
-
deps(): string[];
|
|
8
|
-
}
|
|
@@ -1,13 +0,0 @@
|
|
|
1
|
-
export class TirContinueStmt {
|
|
2
|
-
range;
|
|
3
|
-
constructor(range) {
|
|
4
|
-
this.range = range;
|
|
5
|
-
}
|
|
6
|
-
// loops are transoformed into recursive functions
|
|
7
|
-
// and continue statements are transformed into return statements
|
|
8
|
-
// so this statement does terminate the function
|
|
9
|
-
definitelyTerminates() { return true; }
|
|
10
|
-
deps() {
|
|
11
|
-
return [];
|
|
12
|
-
}
|
|
13
|
-
}
|
|
@@ -1,13 +0,0 @@
|
|
|
1
|
-
import { SourceRange } from "../../../ast/Source/SourceRange.js";
|
|
2
|
-
import { TirExpr } from "../expressions/TirExpr.js";
|
|
3
|
-
import { ITirStmt } from "./TirStmt.js";
|
|
4
|
-
export declare class TirFailStmt implements ITirStmt {
|
|
5
|
-
/** must be string (or utf8 bytes) */
|
|
6
|
-
failMsgExpr: TirExpr | undefined;
|
|
7
|
-
readonly range: SourceRange;
|
|
8
|
-
constructor(
|
|
9
|
-
/** must be string (or utf8 bytes) */
|
|
10
|
-
failMsgExpr: TirExpr | undefined, range: SourceRange);
|
|
11
|
-
definitelyTerminates(): boolean;
|
|
12
|
-
deps(): string[];
|
|
13
|
-
}
|
|
@@ -1,14 +0,0 @@
|
|
|
1
|
-
export class TirFailStmt {
|
|
2
|
-
failMsgExpr;
|
|
3
|
-
range;
|
|
4
|
-
constructor(
|
|
5
|
-
/** must be string (or utf8 bytes) */
|
|
6
|
-
failMsgExpr, range) {
|
|
7
|
-
this.failMsgExpr = failMsgExpr;
|
|
8
|
-
this.range = range;
|
|
9
|
-
}
|
|
10
|
-
definitelyTerminates() { return true; }
|
|
11
|
-
deps() {
|
|
12
|
-
return this.failMsgExpr?.deps() ?? [];
|
|
13
|
-
}
|
|
14
|
-
}
|
|
@@ -1,16 +0,0 @@
|
|
|
1
|
-
import { SourceRange } from "../../../ast/Source/SourceRange.js";
|
|
2
|
-
import { TirExpr } from "../expressions/TirExpr.js";
|
|
3
|
-
import { ITirStmt, TirStmt } from "./TirStmt.js";
|
|
4
|
-
import { TirVarDecl } from "./TirVarDecl/TirVarDecl.js";
|
|
5
|
-
/**
|
|
6
|
-
* for( `elemDeclaration` of iterable ) body
|
|
7
|
-
*/
|
|
8
|
-
export declare class TirForOfStmt implements ITirStmt {
|
|
9
|
-
readonly elemDeclaration: TirVarDecl;
|
|
10
|
-
readonly iterable: TirExpr;
|
|
11
|
-
body: TirStmt;
|
|
12
|
-
readonly range: SourceRange;
|
|
13
|
-
constructor(elemDeclaration: TirVarDecl, iterable: TirExpr, body: TirStmt, range: SourceRange);
|
|
14
|
-
definitelyTerminates(): boolean;
|
|
15
|
-
deps(): string[];
|
|
16
|
-
}
|
|
@@ -1,25 +0,0 @@
|
|
|
1
|
-
import { filterSortedStrArrInplace } from "../../../utils/array/filterSortedStrArrInplace.js";
|
|
2
|
-
import { mergeSortedStrArrInplace } from "../../../utils/array/mergeSortedStrArrInplace.js";
|
|
3
|
-
/**
|
|
4
|
-
* for( `elemDeclaration` of iterable ) body
|
|
5
|
-
*/
|
|
6
|
-
export class TirForOfStmt {
|
|
7
|
-
elemDeclaration;
|
|
8
|
-
iterable;
|
|
9
|
-
body;
|
|
10
|
-
range;
|
|
11
|
-
constructor(elemDeclaration, iterable, body, range) {
|
|
12
|
-
this.elemDeclaration = elemDeclaration;
|
|
13
|
-
this.iterable = iterable;
|
|
14
|
-
this.body = body;
|
|
15
|
-
this.range = range;
|
|
16
|
-
}
|
|
17
|
-
definitelyTerminates() {
|
|
18
|
-
return this.body.definitelyTerminates();
|
|
19
|
-
}
|
|
20
|
-
deps() {
|
|
21
|
-
const deps = this.iterable.deps();
|
|
22
|
-
const introducedVars = this.elemDeclaration.introducedVars();
|
|
23
|
-
return mergeSortedStrArrInplace(deps, filterSortedStrArrInplace(this.body.deps(), introducedVars));
|
|
24
|
-
}
|
|
25
|
-
}
|
|
@@ -1,19 +0,0 @@
|
|
|
1
|
-
import { SourceRange } from "../../../ast/Source/SourceRange.js";
|
|
2
|
-
import { TirExpr } from "../expressions/TirExpr.js";
|
|
3
|
-
import { ITirStmt, TirStmt } from "./TirStmt.js";
|
|
4
|
-
import { TirSimpleVarDecl } from "./TirVarDecl/TirSimpleVarDecl.js";
|
|
5
|
-
/**
|
|
6
|
-
* ***NOT*** for...of loop
|
|
7
|
-
*
|
|
8
|
-
* for( init; condition; update ) body
|
|
9
|
-
*/
|
|
10
|
-
export declare class TirForStmt implements ITirStmt {
|
|
11
|
-
readonly init: TirSimpleVarDecl[];
|
|
12
|
-
readonly condition: TirExpr | undefined;
|
|
13
|
-
readonly update: TirStmt[] | undefined;
|
|
14
|
-
body: TirStmt;
|
|
15
|
-
readonly range: SourceRange;
|
|
16
|
-
constructor(init: TirSimpleVarDecl[], condition: TirExpr | undefined, update: TirStmt[] | undefined, body: TirStmt, range: SourceRange);
|
|
17
|
-
definitelyTerminates(): boolean;
|
|
18
|
-
deps(): string[];
|
|
19
|
-
}
|
|
@@ -1,39 +0,0 @@
|
|
|
1
|
-
import { filterSortedStrArrInplace } from "../../../utils/array/filterSortedStrArrInplace.js";
|
|
2
|
-
import { mergeSortedStrArrInplace } from "../../../utils/array/mergeSortedStrArrInplace.js";
|
|
3
|
-
/**
|
|
4
|
-
* ***NOT*** for...of loop
|
|
5
|
-
*
|
|
6
|
-
* for( init; condition; update ) body
|
|
7
|
-
*/
|
|
8
|
-
export class TirForStmt {
|
|
9
|
-
init;
|
|
10
|
-
condition;
|
|
11
|
-
update;
|
|
12
|
-
body;
|
|
13
|
-
range;
|
|
14
|
-
constructor(init, condition, update, body, range) {
|
|
15
|
-
this.init = init;
|
|
16
|
-
this.condition = condition;
|
|
17
|
-
this.update = update;
|
|
18
|
-
this.body = body;
|
|
19
|
-
this.range = range;
|
|
20
|
-
}
|
|
21
|
-
definitelyTerminates() {
|
|
22
|
-
return this.body.definitelyTerminates() || (this.update?.some(stmt => stmt.definitelyTerminates()) ?? false);
|
|
23
|
-
}
|
|
24
|
-
deps() {
|
|
25
|
-
const { deps, introducedVars } = this.init.reduce((acc, decl) => {
|
|
26
|
-
mergeSortedStrArrInplace(acc.deps, filterSortedStrArrInplace(decl.deps(), acc.introducedVars));
|
|
27
|
-
mergeSortedStrArrInplace(acc.introducedVars, decl.introducedVars());
|
|
28
|
-
return acc;
|
|
29
|
-
}, { deps: [], introducedVars: [] });
|
|
30
|
-
function addDeps(otherDeps) {
|
|
31
|
-
mergeSortedStrArrInplace(deps, filterSortedStrArrInplace(otherDeps, introducedVars));
|
|
32
|
-
}
|
|
33
|
-
addDeps(this.condition?.deps() ?? []);
|
|
34
|
-
for (const stmt of this.update ?? [])
|
|
35
|
-
addDeps(stmt.deps());
|
|
36
|
-
addDeps(this.body.deps());
|
|
37
|
-
return deps;
|
|
38
|
-
}
|
|
39
|
-
}
|
|
@@ -1,12 +0,0 @@
|
|
|
1
|
-
import { SourceRange } from "../../../ast/Source/SourceRange.js";
|
|
2
|
-
import { TirExpr } from "../expressions/TirExpr.js";
|
|
3
|
-
import { ITirStmt, TirStmt } from "./TirStmt.js";
|
|
4
|
-
export declare class TirIfStmt implements ITirStmt {
|
|
5
|
-
readonly condition: TirExpr;
|
|
6
|
-
thenBranch: TirStmt;
|
|
7
|
-
elseBranch: TirStmt | undefined;
|
|
8
|
-
readonly range: SourceRange;
|
|
9
|
-
constructor(condition: TirExpr, thenBranch: TirStmt, elseBranch: TirStmt | undefined, range: SourceRange);
|
|
10
|
-
definitelyTerminates(): boolean;
|
|
11
|
-
deps(): string[];
|
|
12
|
-
}
|
|
@@ -1,23 +0,0 @@
|
|
|
1
|
-
import { mergeSortedStrArrInplace } from "../../../utils/array/mergeSortedStrArrInplace.js";
|
|
2
|
-
export class TirIfStmt {
|
|
3
|
-
condition;
|
|
4
|
-
thenBranch;
|
|
5
|
-
elseBranch;
|
|
6
|
-
range;
|
|
7
|
-
constructor(condition, thenBranch, elseBranch, range) {
|
|
8
|
-
this.condition = condition;
|
|
9
|
-
this.thenBranch = thenBranch;
|
|
10
|
-
this.elseBranch = elseBranch;
|
|
11
|
-
this.range = range;
|
|
12
|
-
}
|
|
13
|
-
definitelyTerminates() {
|
|
14
|
-
return (this.thenBranch.definitelyTerminates()
|
|
15
|
-
&& (this.elseBranch?.definitelyTerminates() ?? false));
|
|
16
|
-
}
|
|
17
|
-
deps() {
|
|
18
|
-
const deps = this.condition.deps();
|
|
19
|
-
mergeSortedStrArrInplace(deps, this.thenBranch.deps());
|
|
20
|
-
this.elseBranch && mergeSortedStrArrInplace(deps, this.elseBranch.deps());
|
|
21
|
-
return deps;
|
|
22
|
-
}
|
|
23
|
-
}
|
|
@@ -1,27 +0,0 @@
|
|
|
1
|
-
import { HasSourceRange } from "../../../ast/nodes/HasSourceRange.js";
|
|
2
|
-
import { SourceRange } from "../../../ast/Source/SourceRange.js";
|
|
3
|
-
import { TirExpr } from "../expressions/TirExpr.js";
|
|
4
|
-
import { ITirStmt, TirStmt } from "./TirStmt.js";
|
|
5
|
-
import { TirNamedDeconstructVarDecl } from "./TirVarDecl/TirNamedDeconstructVarDecl.js";
|
|
6
|
-
export declare class TirMatchStmt implements ITirStmt {
|
|
7
|
-
readonly matchExpr: TirExpr;
|
|
8
|
-
readonly cases: TirMatchStmtCase[];
|
|
9
|
-
wildcardCase: TirMatchStmtWildcardCase | undefined;
|
|
10
|
-
readonly range: SourceRange;
|
|
11
|
-
constructor(matchExpr: TirExpr, cases: TirMatchStmtCase[], wildcardCase: TirMatchStmtWildcardCase | undefined, range: SourceRange);
|
|
12
|
-
definitelyTerminates(): boolean;
|
|
13
|
-
deps(): string[];
|
|
14
|
-
}
|
|
15
|
-
export declare class TirMatchStmtCase implements HasSourceRange {
|
|
16
|
-
pattern: TirNamedDeconstructVarDecl;
|
|
17
|
-
body: TirStmt;
|
|
18
|
-
readonly range: SourceRange;
|
|
19
|
-
constructor(pattern: TirNamedDeconstructVarDecl, body: TirStmt, range: SourceRange);
|
|
20
|
-
deps(): string[];
|
|
21
|
-
}
|
|
22
|
-
export declare class TirMatchStmtWildcardCase implements HasSourceRange {
|
|
23
|
-
body: TirStmt;
|
|
24
|
-
readonly range: SourceRange;
|
|
25
|
-
constructor(body: TirStmt, range: SourceRange);
|
|
26
|
-
deps(): string[];
|
|
27
|
-
}
|
|
@@ -1,51 +0,0 @@
|
|
|
1
|
-
import { filterSortedStrArrInplace } from "../../../utils/array/filterSortedStrArrInplace.js";
|
|
2
|
-
import { mergeSortedStrArrInplace } from "../../../utils/array/mergeSortedStrArrInplace.js";
|
|
3
|
-
export class TirMatchStmt {
|
|
4
|
-
matchExpr;
|
|
5
|
-
cases;
|
|
6
|
-
wildcardCase;
|
|
7
|
-
range;
|
|
8
|
-
constructor(matchExpr, cases, wildcardCase, range) {
|
|
9
|
-
this.matchExpr = matchExpr;
|
|
10
|
-
this.cases = cases;
|
|
11
|
-
this.wildcardCase = wildcardCase;
|
|
12
|
-
this.range = range;
|
|
13
|
-
}
|
|
14
|
-
definitelyTerminates() {
|
|
15
|
-
return this.cases.every(({ body }) => body.definitelyTerminates());
|
|
16
|
-
}
|
|
17
|
-
deps() {
|
|
18
|
-
const deps = this.matchExpr.deps();
|
|
19
|
-
for (const caseStmt of this.cases) {
|
|
20
|
-
mergeSortedStrArrInplace(deps, caseStmt.deps());
|
|
21
|
-
}
|
|
22
|
-
if (this.wildcardCase)
|
|
23
|
-
mergeSortedStrArrInplace(deps, this.wildcardCase.deps());
|
|
24
|
-
return deps;
|
|
25
|
-
}
|
|
26
|
-
}
|
|
27
|
-
export class TirMatchStmtCase {
|
|
28
|
-
pattern;
|
|
29
|
-
body;
|
|
30
|
-
range;
|
|
31
|
-
constructor(pattern, body, range) {
|
|
32
|
-
this.pattern = pattern;
|
|
33
|
-
this.body = body;
|
|
34
|
-
this.range = range;
|
|
35
|
-
}
|
|
36
|
-
deps() {
|
|
37
|
-
const introducedVars = this.pattern.introducedVars();
|
|
38
|
-
return filterSortedStrArrInplace(this.body.deps(), introducedVars);
|
|
39
|
-
}
|
|
40
|
-
}
|
|
41
|
-
export class TirMatchStmtWildcardCase {
|
|
42
|
-
body;
|
|
43
|
-
range;
|
|
44
|
-
constructor(body, range) {
|
|
45
|
-
this.body = body;
|
|
46
|
-
this.range = range;
|
|
47
|
-
}
|
|
48
|
-
deps() {
|
|
49
|
-
return this.body.deps();
|
|
50
|
-
}
|
|
51
|
-
}
|
|
@@ -1,10 +0,0 @@
|
|
|
1
|
-
import { SourceRange } from "../../../ast/Source/SourceRange.js";
|
|
2
|
-
import { TirExpr } from "../expressions/TirExpr.js";
|
|
3
|
-
import { ITirStmt } from "./TirStmt.js";
|
|
4
|
-
export declare class TirReturnStmt implements ITirStmt {
|
|
5
|
-
value: TirExpr;
|
|
6
|
-
readonly range: SourceRange;
|
|
7
|
-
constructor(value: TirExpr, range: SourceRange);
|
|
8
|
-
definitelyTerminates(): boolean;
|
|
9
|
-
deps(): string[];
|
|
10
|
-
}
|
|
@@ -1,32 +0,0 @@
|
|
|
1
|
-
import { TirAssertStmt } from "./TirAssertStmt.js";
|
|
2
|
-
import { TirAssignmentStmt } from "./TirAssignmentStmt.js";
|
|
3
|
-
import { TirBlockStmt } from "./TirBlockStmt.js";
|
|
4
|
-
import { TirBreakStmt } from "./TirBreakStmt.js";
|
|
5
|
-
import { TirContinueStmt } from "./TirContinueStmt.js";
|
|
6
|
-
import { TirFailStmt } from "./TirFailStmt.js";
|
|
7
|
-
import { TirForOfStmt } from "./TirForOfStmt.js";
|
|
8
|
-
import { TirForStmt } from "./TirForStmt.js";
|
|
9
|
-
import { TirIfStmt } from "./TirIfStmt.js";
|
|
10
|
-
import { TirMatchStmt } from "./TirMatchStmt.js";
|
|
11
|
-
import { TirReturnStmt } from "./TirReturnStmt.js";
|
|
12
|
-
import { TirWhileStmt } from "./TirWhileStmt.js";
|
|
13
|
-
import { TirVarDecl } from "./TirVarDecl/TirVarDecl.js";
|
|
14
|
-
import { HasSourceRange } from "../../../ast/nodes/HasSourceRange.js";
|
|
15
|
-
export declare enum Termination {
|
|
16
|
-
Conditinal = -1,
|
|
17
|
-
NoTermination = 0,
|
|
18
|
-
Return = 1,
|
|
19
|
-
Fail = 2
|
|
20
|
-
}
|
|
21
|
-
export interface ITirStmt extends HasSourceRange {
|
|
22
|
-
deps: () => string[];
|
|
23
|
-
/**
|
|
24
|
-
* @returns true if the statement is guaranteed to terminate the function
|
|
25
|
-
*
|
|
26
|
-
* that implies there is a non-conditional return statement
|
|
27
|
-
* or a non-conditional fail statement (which terminates the entire program)
|
|
28
|
-
*/
|
|
29
|
-
definitelyTerminates: () => boolean;
|
|
30
|
-
}
|
|
31
|
-
export type TirStmt = TirVarDecl | TirIfStmt | TirForStmt | TirForOfStmt | TirWhileStmt | TirReturnStmt | TirBlockStmt | TirBreakStmt | TirContinueStmt | TirFailStmt | TirAssertStmt | TirMatchStmt | TirAssignmentStmt;
|
|
32
|
-
export declare function isTirStmt(thing: any): thing is TirStmt;
|
|
@@ -1,40 +0,0 @@
|
|
|
1
|
-
import { isObject } from "@harmoniclabs/obj-utils";
|
|
2
|
-
import { TirAssertStmt } from "./TirAssertStmt.js";
|
|
3
|
-
import { TirAssignmentStmt } from "./TirAssignmentStmt.js";
|
|
4
|
-
import { TirBlockStmt } from "./TirBlockStmt.js";
|
|
5
|
-
import { TirBreakStmt } from "./TirBreakStmt.js";
|
|
6
|
-
import { TirContinueStmt } from "./TirContinueStmt.js";
|
|
7
|
-
import { TirFailStmt } from "./TirFailStmt.js";
|
|
8
|
-
import { TirForOfStmt } from "./TirForOfStmt.js";
|
|
9
|
-
import { TirForStmt } from "./TirForStmt.js";
|
|
10
|
-
import { TirIfStmt } from "./TirIfStmt.js";
|
|
11
|
-
import { TirMatchStmt } from "./TirMatchStmt.js";
|
|
12
|
-
import { TirReturnStmt } from "./TirReturnStmt.js";
|
|
13
|
-
import { TirWhileStmt } from "./TirWhileStmt.js";
|
|
14
|
-
import { isTirVarDecl } from "./TirVarDecl/TirVarDecl.js";
|
|
15
|
-
export var Termination;
|
|
16
|
-
(function (Termination) {
|
|
17
|
-
Termination[Termination["Conditinal"] = -1] = "Conditinal";
|
|
18
|
-
Termination[Termination["NoTermination"] = 0] = "NoTermination";
|
|
19
|
-
Termination[Termination["Return"] = 1] = "Return";
|
|
20
|
-
Termination[Termination["Fail"] = 2] = "Fail";
|
|
21
|
-
})(Termination || (Termination = {}));
|
|
22
|
-
Object.freeze(Termination);
|
|
23
|
-
export function isTirStmt(thing) {
|
|
24
|
-
return isObject(thing) && (thing instanceof TirIfStmt
|
|
25
|
-
|| isTirVarDecl(thing)
|
|
26
|
-
|| thing instanceof TirForStmt
|
|
27
|
-
|| thing instanceof TirForOfStmt
|
|
28
|
-
|| thing instanceof TirWhileStmt
|
|
29
|
-
|| thing instanceof TirReturnStmt
|
|
30
|
-
|| thing instanceof TirBlockStmt
|
|
31
|
-
|| thing instanceof TirBreakStmt
|
|
32
|
-
|| thing instanceof TirContinueStmt
|
|
33
|
-
|| thing instanceof TirFailStmt
|
|
34
|
-
|| thing instanceof TirAssertStmt
|
|
35
|
-
// || thing instanceof TirTestStmt
|
|
36
|
-
|| thing instanceof TirMatchStmt
|
|
37
|
-
|| thing instanceof TirAssignmentStmt
|
|
38
|
-
// || thing instanceof TirExprStmt
|
|
39
|
-
);
|
|
40
|
-
}
|
|
@@ -1,17 +0,0 @@
|
|
|
1
|
-
import { SourceRange } from "../../../../ast/Source/SourceRange.js";
|
|
2
|
-
import { TirExpr } from "../../expressions/TirExpr.js";
|
|
3
|
-
import { TirType } from "../../types/TirType.js";
|
|
4
|
-
import { ITirStmt } from "../TirStmt.js";
|
|
5
|
-
import { TirVarDecl } from "./TirVarDecl.js";
|
|
6
|
-
export declare class TirArrayLikeDeconstr implements ITirStmt {
|
|
7
|
-
readonly elements: TirVarDecl[];
|
|
8
|
-
readonly rest: string | undefined;
|
|
9
|
-
type: TirType;
|
|
10
|
-
initExpr: TirExpr | undefined;
|
|
11
|
-
isConst: boolean;
|
|
12
|
-
readonly range: SourceRange;
|
|
13
|
-
constructor(elements: TirVarDecl[], rest: string | undefined, type: TirType, initExpr: TirExpr | undefined, isConst: boolean, range: SourceRange);
|
|
14
|
-
deps(): string[];
|
|
15
|
-
definitelyTerminates(): boolean;
|
|
16
|
-
introducedVars(): string[];
|
|
17
|
-
}
|
|
@@ -1,30 +0,0 @@
|
|
|
1
|
-
import { mergeSortedStrArrInplace } from "../../../../utils/array/mergeSortedStrArrInplace.js";
|
|
2
|
-
export class TirArrayLikeDeconstr {
|
|
3
|
-
elements;
|
|
4
|
-
rest;
|
|
5
|
-
type;
|
|
6
|
-
initExpr;
|
|
7
|
-
isConst;
|
|
8
|
-
range;
|
|
9
|
-
constructor(elements, rest, type, initExpr, isConst, range) {
|
|
10
|
-
this.elements = elements;
|
|
11
|
-
this.rest = rest;
|
|
12
|
-
this.type = type;
|
|
13
|
-
this.initExpr = initExpr;
|
|
14
|
-
this.isConst = isConst;
|
|
15
|
-
this.range = range;
|
|
16
|
-
}
|
|
17
|
-
deps() {
|
|
18
|
-
return this.initExpr?.deps() ?? [];
|
|
19
|
-
}
|
|
20
|
-
definitelyTerminates() { return false; }
|
|
21
|
-
introducedVars() {
|
|
22
|
-
const introducedVars = [];
|
|
23
|
-
for (const element of this.elements) {
|
|
24
|
-
mergeSortedStrArrInplace(introducedVars, element.introducedVars());
|
|
25
|
-
}
|
|
26
|
-
if (this.rest)
|
|
27
|
-
mergeSortedStrArrInplace(introducedVars, [this.rest]);
|
|
28
|
-
return introducedVars;
|
|
29
|
-
}
|
|
30
|
-
}
|
|
@@ -1,21 +0,0 @@
|
|
|
1
|
-
import { SourceRange } from "../../../../ast/Source/SourceRange.js";
|
|
2
|
-
import { TirExpr } from "../../expressions/TirExpr.js";
|
|
3
|
-
import { TirType } from "../../types/TirType.js";
|
|
4
|
-
import { ITirStmt } from "../TirStmt.js";
|
|
5
|
-
import { ITirVarDecl, TirVarDecl } from "./TirVarDecl.js";
|
|
6
|
-
export declare class TirNamedDeconstructVarDecl implements ITirStmt, ITirVarDecl {
|
|
7
|
-
/** only original (not aliased) constr name used in destructuring */
|
|
8
|
-
readonly constrName: string;
|
|
9
|
-
readonly fields: Map<string, TirVarDecl>;
|
|
10
|
-
readonly rest: string | undefined;
|
|
11
|
-
readonly type: TirType;
|
|
12
|
-
initExpr: TirExpr | undefined;
|
|
13
|
-
isConst: boolean;
|
|
14
|
-
readonly range: SourceRange;
|
|
15
|
-
constructor(
|
|
16
|
-
/** only original (not aliased) constr name used in destructuring */
|
|
17
|
-
constrName: string, fields: Map<string, TirVarDecl>, rest: string | undefined, type: TirType, initExpr: TirExpr | undefined, isConst: boolean, range: SourceRange);
|
|
18
|
-
deps(): string[];
|
|
19
|
-
definitelyTerminates(): boolean;
|
|
20
|
-
introducedVars(): string[];
|
|
21
|
-
}
|
|
@@ -1,34 +0,0 @@
|
|
|
1
|
-
import { mergeSortedStrArrInplace } from "../../../../utils/array/mergeSortedStrArrInplace.js";
|
|
2
|
-
export class TirNamedDeconstructVarDecl {
|
|
3
|
-
constrName;
|
|
4
|
-
fields;
|
|
5
|
-
rest;
|
|
6
|
-
type;
|
|
7
|
-
initExpr;
|
|
8
|
-
isConst;
|
|
9
|
-
range;
|
|
10
|
-
constructor(
|
|
11
|
-
/** only original (not aliased) constr name used in destructuring */
|
|
12
|
-
constrName, fields, rest, type, initExpr, isConst, range) {
|
|
13
|
-
this.constrName = constrName;
|
|
14
|
-
this.fields = fields;
|
|
15
|
-
this.rest = rest;
|
|
16
|
-
this.type = type;
|
|
17
|
-
this.initExpr = initExpr;
|
|
18
|
-
this.isConst = isConst;
|
|
19
|
-
this.range = range;
|
|
20
|
-
}
|
|
21
|
-
deps() {
|
|
22
|
-
return this.initExpr?.deps() ?? [];
|
|
23
|
-
}
|
|
24
|
-
definitelyTerminates() { return false; }
|
|
25
|
-
introducedVars() {
|
|
26
|
-
const introducedVars = [];
|
|
27
|
-
for (const field of this.fields.values()) {
|
|
28
|
-
mergeSortedStrArrInplace(introducedVars, field.introducedVars());
|
|
29
|
-
}
|
|
30
|
-
if (this.rest)
|
|
31
|
-
mergeSortedStrArrInplace(introducedVars, [this.rest]);
|
|
32
|
-
return introducedVars;
|
|
33
|
-
}
|
|
34
|
-
}
|
|
@@ -1,17 +0,0 @@
|
|
|
1
|
-
import { SourceRange } from "../../../../ast/Source/SourceRange.js";
|
|
2
|
-
import { TirExpr } from "../../expressions/TirExpr.js";
|
|
3
|
-
import { TirType } from "../../types/TirType.js";
|
|
4
|
-
import { ITirStmt } from "../TirStmt.js";
|
|
5
|
-
import { ITirVarDecl } from "./TirVarDecl.js";
|
|
6
|
-
export declare class TirSimpleVarDecl implements ITirStmt, ITirVarDecl {
|
|
7
|
-
readonly name: string;
|
|
8
|
-
readonly type: TirType;
|
|
9
|
-
initExpr: TirExpr | undefined;
|
|
10
|
-
isConst: boolean;
|
|
11
|
-
readonly range: SourceRange;
|
|
12
|
-
constructor(name: string, type: TirType, initExpr: TirExpr | undefined, // deconstructed OR function param
|
|
13
|
-
isConst: boolean, range: SourceRange);
|
|
14
|
-
deps(): string[];
|
|
15
|
-
definitelyTerminates(): boolean;
|
|
16
|
-
introducedVars(): string[];
|
|
17
|
-
}
|