@harmoniclabs/pebble 0.1.0-dev1 → 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 -2
- package/dist/IR/toUPLC/index.js +0 -2
- 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,19 +0,0 @@
|
|
|
1
|
-
/** invalid char for normal js identifiers */
|
|
2
|
-
export declare const PEBBLE_INTERNAL_IDENTIFIER_PREFIX = "\u00A7";
|
|
3
|
-
/** invalid char for normal js identifiers */
|
|
4
|
-
export declare const PEBBLE_INTERNAL_IDENTIFIER_SEPARATOR = "#";
|
|
5
|
-
/**
|
|
6
|
-
* Creates and tracks unique internal variable names for the Pebble compiler
|
|
7
|
-
*/
|
|
8
|
-
export declare class UidGenerator {
|
|
9
|
-
constructor();
|
|
10
|
-
private readonly uids;
|
|
11
|
-
getUid(): string;
|
|
12
|
-
/**
|
|
13
|
-
* Generates a unique internal variable name
|
|
14
|
-
*/
|
|
15
|
-
getUniqueInternalName(name: string): string;
|
|
16
|
-
}
|
|
17
|
-
export declare const defaultSymbolForge: UidGenerator;
|
|
18
|
-
export declare const getUniqueInternalName: (name: string) => string;
|
|
19
|
-
export declare function isInternalName(name: string): boolean;
|
|
@@ -1,56 +0,0 @@
|
|
|
1
|
-
import { isObject } from "@harmoniclabs/obj-utils";
|
|
2
|
-
import { toHex } from "@harmoniclabs/uint8array-utils";
|
|
3
|
-
/** invalid char for normal js identifiers */
|
|
4
|
-
export const PEBBLE_INTERNAL_IDENTIFIER_PREFIX = "§";
|
|
5
|
-
/** invalid char for normal js identifiers */
|
|
6
|
-
export const PEBBLE_INTERNAL_IDENTIFIER_SEPARATOR = "#";
|
|
7
|
-
// Keep getRandomBytes outside the class as requested
|
|
8
|
-
let getRandomBytes = (bytes) => {
|
|
9
|
-
for (let i = 0; i < bytes.length; i++)
|
|
10
|
-
bytes[i] = ((Math.random() * 0x100) >>> 0);
|
|
11
|
-
return bytes;
|
|
12
|
-
};
|
|
13
|
-
try {
|
|
14
|
-
if (typeof globalThis !== "undefined"
|
|
15
|
-
&& typeof globalThis.crypto !== "undefined"
|
|
16
|
-
&& isObject(globalThis.crypto)
|
|
17
|
-
&& typeof globalThis.crypto.getRandomValues === "function")
|
|
18
|
-
getRandomBytes = globalThis.crypto.getRandomValues.bind(globalThis.crypto);
|
|
19
|
-
}
|
|
20
|
-
catch { }
|
|
21
|
-
const uidSet = new Set();
|
|
22
|
-
/**
|
|
23
|
-
* Creates and tracks unique internal variable names for the Pebble compiler
|
|
24
|
-
*/
|
|
25
|
-
export class UidGenerator {
|
|
26
|
-
constructor() {
|
|
27
|
-
this.uids = uidSet;
|
|
28
|
-
}
|
|
29
|
-
uids;
|
|
30
|
-
getUid() {
|
|
31
|
-
const bytes = new Uint8Array(Math.max(1, Math.log1p(this.uids.size) >>> 0));
|
|
32
|
-
let uid;
|
|
33
|
-
do {
|
|
34
|
-
uid = toHex(getRandomBytes(bytes));
|
|
35
|
-
} while (this.uids.has(uid));
|
|
36
|
-
this.uids.add(uid);
|
|
37
|
-
return uid;
|
|
38
|
-
}
|
|
39
|
-
/**
|
|
40
|
-
* Generates a unique internal variable name
|
|
41
|
-
*/
|
|
42
|
-
getUniqueInternalName(name) {
|
|
43
|
-
if (typeof name !== "string" || name.length === 0)
|
|
44
|
-
name = PEBBLE_INTERNAL_IDENTIFIER_PREFIX;
|
|
45
|
-
name = name.startsWith(PEBBLE_INTERNAL_IDENTIFIER_PREFIX) ? name :
|
|
46
|
-
PEBBLE_INTERNAL_IDENTIFIER_PREFIX + name;
|
|
47
|
-
return name + "_" + this.getUid();
|
|
48
|
-
}
|
|
49
|
-
}
|
|
50
|
-
// Create a default instance for backward compatibility
|
|
51
|
-
export const defaultSymbolForge = new UidGenerator();
|
|
52
|
-
// Export the original functions for backward compatibility
|
|
53
|
-
export const getUniqueInternalName = defaultSymbolForge.getUniqueInternalName.bind(defaultSymbolForge);
|
|
54
|
-
export function isInternalName(name) {
|
|
55
|
-
return name.startsWith(PEBBLE_INTERNAL_IDENTIFIER_PREFIX);
|
|
56
|
-
}
|
|
@@ -1,36 +0,0 @@
|
|
|
1
|
-
import { DiagnosticMessage } from "../../diagnostics/DiagnosticMessage.js";
|
|
2
|
-
import { MaybePromise } from "../../utils/MaybePromise.js";
|
|
3
|
-
import { IOutputStream } from "./IOutputStream.js";
|
|
4
|
-
/** Compiler API options. */
|
|
5
|
-
export interface CompilerIoApi {
|
|
6
|
-
/** Standard output stream to use. */
|
|
7
|
-
readonly stdout: IOutputStream;
|
|
8
|
-
/** Standard error stream to use. */
|
|
9
|
-
readonly stderr: IOutputStream;
|
|
10
|
-
/** Reads a file from disk (or memory). */
|
|
11
|
-
readFile: (filename: string, baseDir: string) => MaybePromise<string | undefined>;
|
|
12
|
-
/** Writes a file to disk (or memory). */
|
|
13
|
-
writeFile: (filename: string, contents: Uint8Array | string, baseDir: string) => MaybePromise<void>;
|
|
14
|
-
/** Lists all files within a directory. */
|
|
15
|
-
exsistSync: (filename: string) => boolean;
|
|
16
|
-
/** Lists all files within a directory. */
|
|
17
|
-
listFiles: (dirname: string, baseDir: string) => MaybePromise<string[] | undefined>;
|
|
18
|
-
/** Handler for diagnostic messages. */
|
|
19
|
-
reportDiagnostic: (diagnostic: DiagnosticMessage) => void;
|
|
20
|
-
}
|
|
21
|
-
type MemoryFs = Map<string, Uint8Array>;
|
|
22
|
-
export interface MemoryCompilerIoApi extends CompilerIoApi {
|
|
23
|
-
/** Memory file system for reading files. */
|
|
24
|
-
sources: MemoryFs;
|
|
25
|
-
/** Memory file system for writing files. */
|
|
26
|
-
outputs: MemoryFs;
|
|
27
|
-
/**
|
|
28
|
-
* if true, `console.log` is used as `stdout` and `console.error` as `stderr`
|
|
29
|
-
* otherwise both will be their own `MemoryStream`.
|
|
30
|
-
*
|
|
31
|
-
* @default false
|
|
32
|
-
*/
|
|
33
|
-
useConsoleAsOutput?: boolean;
|
|
34
|
-
}
|
|
35
|
-
export declare function createMemoryCompilerIoApi({ sources, outputs, useConsoleAsOutput }?: Partial<MemoryCompilerIoApi>): MemoryCompilerIoApi;
|
|
36
|
-
export {};
|
|
@@ -1,62 +0,0 @@
|
|
|
1
|
-
import { fromUtf8, toUtf8 } from "@harmoniclabs/uint8array-utils";
|
|
2
|
-
import { ConsoleErrorStream, ConsoleLogStream, MemoryStream } from "./IOutputStream.js";
|
|
3
|
-
import { getAbsolutePath } from "../path/getAbsolutePath.js";
|
|
4
|
-
export function createMemoryCompilerIoApi({ sources, outputs, useConsoleAsOutput } = {}) {
|
|
5
|
-
if (typeof useConsoleAsOutput !== "boolean")
|
|
6
|
-
useConsoleAsOutput = false;
|
|
7
|
-
if (!(sources instanceof Map))
|
|
8
|
-
sources = new Map();
|
|
9
|
-
if (!(outputs instanceof Map))
|
|
10
|
-
outputs = new Map();
|
|
11
|
-
const stderr = useConsoleAsOutput ? new ConsoleErrorStream() : new MemoryStream();
|
|
12
|
-
return {
|
|
13
|
-
stdout: useConsoleAsOutput ? new ConsoleLogStream() : new MemoryStream(),
|
|
14
|
-
stderr,
|
|
15
|
-
readFile: memoryFsRead.bind(sources),
|
|
16
|
-
writeFile: memoryFsWrite.bind(outputs),
|
|
17
|
-
exsistSync: exsistSync.bind(sources),
|
|
18
|
-
listFiles: memoryFsList.bind(sources),
|
|
19
|
-
reportDiagnostic: defaultReportDiagnostic.bind(stderr),
|
|
20
|
-
sources,
|
|
21
|
-
outputs
|
|
22
|
-
};
|
|
23
|
-
}
|
|
24
|
-
function defaultReportDiagnostic(diagnostic) {
|
|
25
|
-
this.write(diagnostic.toString() + "\n");
|
|
26
|
-
}
|
|
27
|
-
function memoryFsAdaptFilename(filename) {
|
|
28
|
-
filename = getAbsolutePath(filename, "/");
|
|
29
|
-
if (typeof filename !== "string")
|
|
30
|
-
return "";
|
|
31
|
-
// filename = filename.replace( /\\/g, "/" );
|
|
32
|
-
filename = filename.startsWith("/") ? filename.slice(1) : filename;
|
|
33
|
-
return filename;
|
|
34
|
-
}
|
|
35
|
-
function memoryFsRead(filename) {
|
|
36
|
-
filename = memoryFsAdaptFilename(filename);
|
|
37
|
-
while (filename.startsWith("/"))
|
|
38
|
-
filename = filename.slice(1);
|
|
39
|
-
const result = this.get(filename);
|
|
40
|
-
return result instanceof Uint8Array ? toUtf8(result) : undefined;
|
|
41
|
-
}
|
|
42
|
-
function memoryFsList() {
|
|
43
|
-
return Array.from(this.keys());
|
|
44
|
-
}
|
|
45
|
-
function memoryFsWrite(filename, contents) {
|
|
46
|
-
filename = memoryFsAdaptFilename(filename);
|
|
47
|
-
if (!(contents instanceof Uint8Array)) {
|
|
48
|
-
if (typeof contents === "string") {
|
|
49
|
-
contents = fromUtf8(contents);
|
|
50
|
-
}
|
|
51
|
-
else if (typeof contents.toString === "function") {
|
|
52
|
-
contents = fromUtf8(contents.toString());
|
|
53
|
-
}
|
|
54
|
-
else {
|
|
55
|
-
throw new Error("cannot write contents: invalid type");
|
|
56
|
-
}
|
|
57
|
-
}
|
|
58
|
-
this.set(filename, contents);
|
|
59
|
-
}
|
|
60
|
-
function exsistSync(filename) {
|
|
61
|
-
return this.has(filename);
|
|
62
|
-
}
|
|
@@ -1,28 +0,0 @@
|
|
|
1
|
-
/** A compatible output stream. */
|
|
2
|
-
export interface IOutputStream {
|
|
3
|
-
/** Writes a chunk of data to the stream. */
|
|
4
|
-
write(chunk: Uint8Array | string): void;
|
|
5
|
-
}
|
|
6
|
-
export declare class ConsoleLogStream implements IOutputStream {
|
|
7
|
-
write(chunk: Uint8Array | string): void;
|
|
8
|
-
}
|
|
9
|
-
export declare class ConsoleErrorStream implements IOutputStream {
|
|
10
|
-
write(chunk: Uint8Array | string): void;
|
|
11
|
-
}
|
|
12
|
-
/** An in-memory output stream. */
|
|
13
|
-
export interface IMemoryStream extends IOutputStream {
|
|
14
|
-
/** Resets the stream to offset zero. */
|
|
15
|
-
reset(): void;
|
|
16
|
-
/** Converts the output to a buffer. */
|
|
17
|
-
toBuffer(): Uint8Array;
|
|
18
|
-
/** Converts the output to a string. */
|
|
19
|
-
toString(): string;
|
|
20
|
-
}
|
|
21
|
-
export declare class MemoryStream implements IMemoryStream {
|
|
22
|
-
private chunks;
|
|
23
|
-
constructor();
|
|
24
|
-
write(chunk: Uint8Array | string): void;
|
|
25
|
-
reset(): void;
|
|
26
|
-
toBuffer(): Uint8Array;
|
|
27
|
-
toString(): string;
|
|
28
|
-
}
|
|
@@ -1,45 +0,0 @@
|
|
|
1
|
-
import { fromUtf8, concatUint8Array, toUtf8 } from "@harmoniclabs/uint8array-utils";
|
|
2
|
-
export class ConsoleLogStream {
|
|
3
|
-
write(chunk) {
|
|
4
|
-
if (chunk instanceof Uint8Array) {
|
|
5
|
-
console.log(toUtf8(chunk));
|
|
6
|
-
}
|
|
7
|
-
else {
|
|
8
|
-
console.log(chunk.toString());
|
|
9
|
-
}
|
|
10
|
-
}
|
|
11
|
-
}
|
|
12
|
-
export class ConsoleErrorStream {
|
|
13
|
-
write(chunk) {
|
|
14
|
-
if (chunk instanceof Uint8Array) {
|
|
15
|
-
console.error(toUtf8(chunk));
|
|
16
|
-
}
|
|
17
|
-
else {
|
|
18
|
-
console.error(chunk.toString());
|
|
19
|
-
}
|
|
20
|
-
}
|
|
21
|
-
}
|
|
22
|
-
export class MemoryStream {
|
|
23
|
-
chunks;
|
|
24
|
-
constructor() {
|
|
25
|
-
this.chunks = [];
|
|
26
|
-
}
|
|
27
|
-
write(chunk) {
|
|
28
|
-
if (typeof chunk === "string") {
|
|
29
|
-
this.chunks.push(fromUtf8(chunk));
|
|
30
|
-
}
|
|
31
|
-
else {
|
|
32
|
-
this.chunks.push(chunk);
|
|
33
|
-
}
|
|
34
|
-
}
|
|
35
|
-
reset() {
|
|
36
|
-
this.chunks.length = 0;
|
|
37
|
-
}
|
|
38
|
-
toBuffer() {
|
|
39
|
-
return concatUint8Array(...this.chunks);
|
|
40
|
-
// return new Uint8Array(this.toString().length);
|
|
41
|
-
}
|
|
42
|
-
toString() {
|
|
43
|
-
return this.chunks.map(chunk => toUtf8(chunk)).join("");
|
|
44
|
-
}
|
|
45
|
-
}
|
|
@@ -1,12 +0,0 @@
|
|
|
1
|
-
export declare function getEnvRelativePath(filePath: string, projectRoot: string): string | undefined;
|
|
2
|
-
/**
|
|
3
|
-
* Takes a relative path and an absolute path, and returns the absolute path
|
|
4
|
-
* corresponding to the relative path starting from the absolute path.
|
|
5
|
-
* Returns undefined if the relative path goes beyond the root directory.
|
|
6
|
-
*
|
|
7
|
-
* @example
|
|
8
|
-
* getAbsolutePath("./c","/a/b.pebble") // returns "/a/c.pebble"
|
|
9
|
-
* getAbsolutePath("../c","/a/b.pebble") // returns "/c.pebble"
|
|
10
|
-
* getAbsolutePath("../../c", "/a/b.pebble") // returns undefined
|
|
11
|
-
*/
|
|
12
|
-
export declare function getAbsolutePath(relativePath: string, absolutePath: string): string | undefined;
|
|
@@ -1,114 +0,0 @@
|
|
|
1
|
-
import { extension, PATH_DELIMITER } from "../../common.js";
|
|
2
|
-
/**
|
|
3
|
-
* Gets the directory part of a path
|
|
4
|
-
*/
|
|
5
|
-
function getDirectoryPath(path) {
|
|
6
|
-
const lastSlashIndex = path.lastIndexOf(PATH_DELIMITER);
|
|
7
|
-
return lastSlashIndex >= 0 ? path.slice(0, lastSlashIndex + 1) : PATH_DELIMITER;
|
|
8
|
-
}
|
|
9
|
-
/**
|
|
10
|
-
* Splits a path into segments
|
|
11
|
-
*/
|
|
12
|
-
function splitPath(path) {
|
|
13
|
-
return path.split(PATH_DELIMITER).filter(segment => segment !== '');
|
|
14
|
-
}
|
|
15
|
-
/**
|
|
16
|
-
* Joins path segments into a normalized path
|
|
17
|
-
*/
|
|
18
|
-
function joinPath(segments) {
|
|
19
|
-
return segments.length > 0 ? PATH_DELIMITER + segments.join(PATH_DELIMITER) : PATH_DELIMITER;
|
|
20
|
-
}
|
|
21
|
-
function getPathExtension(path) {
|
|
22
|
-
const lastDotIndex = path.lastIndexOf('.');
|
|
23
|
-
if (lastDotIndex === -1) {
|
|
24
|
-
return undefined; // No extension found
|
|
25
|
-
}
|
|
26
|
-
const extension = path.slice(lastDotIndex).trimEnd();
|
|
27
|
-
if (extension.includes(PATH_DELIMITER)) {
|
|
28
|
-
return undefined; // Dot in the name of a directory
|
|
29
|
-
}
|
|
30
|
-
if (extension.length === 0 || extension === ".")
|
|
31
|
-
return undefined;
|
|
32
|
-
return extension;
|
|
33
|
-
}
|
|
34
|
-
/**
|
|
35
|
-
* Adds extension if needed
|
|
36
|
-
*/
|
|
37
|
-
function addExtension(path, endsWithSlash) {
|
|
38
|
-
path = path.trim();
|
|
39
|
-
// If path already has an extension, return it as is
|
|
40
|
-
if (typeof getPathExtension(path) === "string")
|
|
41
|
-
return path;
|
|
42
|
-
// If the path ends with a slash or the original relative path ended with a slash,
|
|
43
|
-
// append 'index' + extension
|
|
44
|
-
if (path.endsWith(PATH_DELIMITER) || endsWithSlash) {
|
|
45
|
-
// Ensure path ends with a slash
|
|
46
|
-
if (!path.endsWith(PATH_DELIMITER)) {
|
|
47
|
-
path += PATH_DELIMITER;
|
|
48
|
-
}
|
|
49
|
-
return path + 'index' + extension;
|
|
50
|
-
}
|
|
51
|
-
// Otherwise just add the extension
|
|
52
|
-
return path + extension;
|
|
53
|
-
}
|
|
54
|
-
export function getEnvRelativePath(filePath, projectRoot) {
|
|
55
|
-
if (!(typeof filePath === 'string' &&
|
|
56
|
-
typeof projectRoot === 'string'))
|
|
57
|
-
return undefined;
|
|
58
|
-
projectRoot = projectRoot.trim();
|
|
59
|
-
filePath = getAbsolutePath(filePath.trim(), projectRoot);
|
|
60
|
-
if (!filePath)
|
|
61
|
-
return undefined;
|
|
62
|
-
if (!projectRoot.endsWith(PATH_DELIMITER))
|
|
63
|
-
projectRoot = projectRoot + PATH_DELIMITER;
|
|
64
|
-
while (filePath.startsWith(PATH_DELIMITER))
|
|
65
|
-
filePath = filePath.slice(PATH_DELIMITER.length);
|
|
66
|
-
return projectRoot + filePath;
|
|
67
|
-
}
|
|
68
|
-
/**
|
|
69
|
-
* Takes a relative path and an absolute path, and returns the absolute path
|
|
70
|
-
* corresponding to the relative path starting from the absolute path.
|
|
71
|
-
* Returns undefined if the relative path goes beyond the root directory.
|
|
72
|
-
*
|
|
73
|
-
* @example
|
|
74
|
-
* getAbsolutePath("./c","/a/b.pebble") // returns "/a/c.pebble"
|
|
75
|
-
* getAbsolutePath("../c","/a/b.pebble") // returns "/c.pebble"
|
|
76
|
-
* getAbsolutePath("../../c", "/a/b.pebble") // returns undefined
|
|
77
|
-
*/
|
|
78
|
-
export function getAbsolutePath(relativePath, absolutePath) {
|
|
79
|
-
if (!absolutePath || typeof absolutePath !== 'string') {
|
|
80
|
-
return undefined;
|
|
81
|
-
}
|
|
82
|
-
// Check if the relative path ends with a directory separator
|
|
83
|
-
const endsWithSlash = relativePath.endsWith(PATH_DELIMITER) || relativePath.endsWith('./');
|
|
84
|
-
// Get the directory containing the absolute path
|
|
85
|
-
const baseDir = getDirectoryPath(absolutePath);
|
|
86
|
-
// Split paths into segments
|
|
87
|
-
const baseSegments = splitPath(baseDir);
|
|
88
|
-
const relativeSegments = splitPath(relativePath);
|
|
89
|
-
// Process relative path segments
|
|
90
|
-
const resultSegments = [...baseSegments];
|
|
91
|
-
for (const segment of relativeSegments) {
|
|
92
|
-
if (segment === '.') {
|
|
93
|
-
// Current directory - do nothing
|
|
94
|
-
continue;
|
|
95
|
-
}
|
|
96
|
-
else if (segment === '..') {
|
|
97
|
-
// Go up one directory
|
|
98
|
-
if (resultSegments.length === 0) {
|
|
99
|
-
// Attempting to go beyond root directory
|
|
100
|
-
return undefined;
|
|
101
|
-
}
|
|
102
|
-
resultSegments.pop();
|
|
103
|
-
}
|
|
104
|
-
else {
|
|
105
|
-
// Regular directory or file
|
|
106
|
-
resultSegments.push(segment);
|
|
107
|
-
}
|
|
108
|
-
}
|
|
109
|
-
// Join segments to form the result path
|
|
110
|
-
let result = joinPath(resultSegments);
|
|
111
|
-
// Add extension from the original file if needed
|
|
112
|
-
result = addExtension(result, endsWithSlash);
|
|
113
|
-
return result;
|
|
114
|
-
}
|
|
@@ -1,160 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* @fileoverview Various file path utility.
|
|
3
|
-
* @license Apache-2.0
|
|
4
|
-
*/
|
|
5
|
-
import { extension, PATH_DELIMITER } from "../../common.js";
|
|
6
|
-
const separator = 47 /* CharCode.Slash */;
|
|
7
|
-
function getAbsolutePath(path, requestingPath) {
|
|
8
|
-
if (typeof requestingPath !== "string" || requestingPath === "")
|
|
9
|
-
return undefined;
|
|
10
|
-
const internalPath = getInternalPath(path);
|
|
11
|
-
const resolved = resolveProjAbsolutePath(internalPath, requestingPath);
|
|
12
|
-
if (typeof resolved !== "string")
|
|
13
|
-
return undefined;
|
|
14
|
-
return adjustPathEnd(resolved);
|
|
15
|
-
}
|
|
16
|
-
function getInternalPath(path) {
|
|
17
|
-
return removeSingleDotDirsFromPath(path).trim();
|
|
18
|
-
}
|
|
19
|
-
function adjustPathEnd(path) {
|
|
20
|
-
if (path.endsWith("/"))
|
|
21
|
-
return path + "index" + extension;
|
|
22
|
-
if (!path.endsWith(extension))
|
|
23
|
-
path = path + extension;
|
|
24
|
-
return path;
|
|
25
|
-
}
|
|
26
|
-
/** Resolves the specified path relative to the specified origin. */
|
|
27
|
-
function resolveProjAbsolutePath(toResolve, fromPath) {
|
|
28
|
-
const fromDirname = dirname(fromPath);
|
|
29
|
-
toResolve = removeSingleDotDirsFromPath(toResolve);
|
|
30
|
-
const fromDirs = fromDirname.split(PATH_DELIMITER).filter(d => d !== "");
|
|
31
|
-
const toDirs = toResolve.split(PATH_DELIMITER).filter(d => d !== "");
|
|
32
|
-
for (let i = 0; i < toDirs.length; i++) {
|
|
33
|
-
const dir = toDirs[i];
|
|
34
|
-
if (dir === "..") {
|
|
35
|
-
fromDirs.pop();
|
|
36
|
-
if (fromDirs.length === 0) {
|
|
37
|
-
if (toDirs.length === 0)
|
|
38
|
-
return undefined;
|
|
39
|
-
if (toDirs[0] === "..")
|
|
40
|
-
return undefined; // out of project root
|
|
41
|
-
}
|
|
42
|
-
toDirs.splice(i--, 1);
|
|
43
|
-
}
|
|
44
|
-
else if (dir !== ".") {
|
|
45
|
-
fromDirs.push(dir);
|
|
46
|
-
}
|
|
47
|
-
}
|
|
48
|
-
let result = removeSingleDotDirsFromPath(fromDirs.join(PATH_DELIMITER));
|
|
49
|
-
// result = result === "." || result.endsWith( fromDirname.slice( 0, fromDirname.length - 1 ) ) ?
|
|
50
|
-
// result + PATH_DELIMITER :
|
|
51
|
-
// result;
|
|
52
|
-
// result = result.startsWith("/") ? result : "/" + result;
|
|
53
|
-
result = result.replace("//", "/");
|
|
54
|
-
if (result.startsWith("./"))
|
|
55
|
-
return result.slice(1);
|
|
56
|
-
if (!result.startsWith("/"))
|
|
57
|
-
return "/" + result;
|
|
58
|
-
return result;
|
|
59
|
-
}
|
|
60
|
-
/** Obtains the directory portion of a normalized path. */
|
|
61
|
-
function dirname(path) {
|
|
62
|
-
const wasEndingWithSlash = path.endsWith(PATH_DELIMITER);
|
|
63
|
-
path = removeSingleDotDirsFromPath(path);
|
|
64
|
-
if (!path.endsWith(PATH_DELIMITER) && wasEndingWithSlash)
|
|
65
|
-
path += PATH_DELIMITER;
|
|
66
|
-
let pos = path.length;
|
|
67
|
-
if (pos <= 1) {
|
|
68
|
-
if (pos === 0)
|
|
69
|
-
return ".";
|
|
70
|
-
if (path.charCodeAt(0) === separator) {
|
|
71
|
-
path = path.endsWith(PATH_DELIMITER) ? path : path + PATH_DELIMITER;
|
|
72
|
-
return path;
|
|
73
|
-
}
|
|
74
|
-
}
|
|
75
|
-
while (--pos > 0) {
|
|
76
|
-
if (path.charCodeAt(pos) === separator) {
|
|
77
|
-
path = path.substring(0, pos);
|
|
78
|
-
return path.endsWith(PATH_DELIMITER) ? path : path + PATH_DELIMITER;
|
|
79
|
-
}
|
|
80
|
-
}
|
|
81
|
-
return "./";
|
|
82
|
-
}
|
|
83
|
-
/**
|
|
84
|
-
* Normalizes the specified path, removing interior placeholders.
|
|
85
|
-
* Expects a posix-compatible relative path (not Windows compatible).
|
|
86
|
-
*/
|
|
87
|
-
function removeSingleDotDirsFromPath(path) {
|
|
88
|
-
let pos = 0;
|
|
89
|
-
let len = path.length;
|
|
90
|
-
// trim leading './'
|
|
91
|
-
while (pos + 1 < len &&
|
|
92
|
-
path.charCodeAt(pos) === 46 /* CharCode.Dot */ &&
|
|
93
|
-
path.charCodeAt(pos + 1) === separator) {
|
|
94
|
-
pos += 2;
|
|
95
|
-
}
|
|
96
|
-
if (pos > 0 || len < path.length) {
|
|
97
|
-
path = path.substring(pos, len);
|
|
98
|
-
len -= pos;
|
|
99
|
-
pos = 0;
|
|
100
|
-
}
|
|
101
|
-
let atEnd;
|
|
102
|
-
while (pos + 1 < len) {
|
|
103
|
-
atEnd = false;
|
|
104
|
-
// we are only interested in '/.' sequences ...
|
|
105
|
-
if (!(path.charCodeAt(pos) === separator &&
|
|
106
|
-
path.charCodeAt(pos + 1) === 46 /* CharCode.Dot */)) {
|
|
107
|
-
++pos;
|
|
108
|
-
continue;
|
|
109
|
-
}
|
|
110
|
-
// '/.' ( '/' | $ )
|
|
111
|
-
atEnd = pos + 2 === len;
|
|
112
|
-
if (atEnd ||
|
|
113
|
-
pos + 2 < len &&
|
|
114
|
-
path.charCodeAt(pos + 2) === separator) {
|
|
115
|
-
path = atEnd
|
|
116
|
-
? path.substring(0, pos)
|
|
117
|
-
: path.substring(0, pos) + path.substring(pos + 2);
|
|
118
|
-
len -= 2;
|
|
119
|
-
continue;
|
|
120
|
-
}
|
|
121
|
-
// '/.' ( './' | '.' $ )
|
|
122
|
-
atEnd = pos + 3 === len;
|
|
123
|
-
if (!(atEnd && path.charCodeAt(pos + 2) === 46 /* CharCode.Dot */ ||
|
|
124
|
-
pos + 3 < len &&
|
|
125
|
-
path.charCodeAt(pos + 2) === 46 /* CharCode.Dot */ &&
|
|
126
|
-
path.charCodeAt(pos + 3) === separator)) {
|
|
127
|
-
++pos;
|
|
128
|
-
continue;
|
|
129
|
-
}
|
|
130
|
-
// find preceeding '/'
|
|
131
|
-
let ipos = pos;
|
|
132
|
-
while (--ipos >= 0) {
|
|
133
|
-
if (path.charCodeAt(ipos) !== separator)
|
|
134
|
-
continue;
|
|
135
|
-
if (pos - ipos !== 3 ||
|
|
136
|
-
path.charCodeAt(ipos + 1) !== 46 /* CharCode.Dot */ ||
|
|
137
|
-
path.charCodeAt(ipos + 2) !== 46 /* CharCode.Dot */) { // exclude '..' itself
|
|
138
|
-
path = atEnd
|
|
139
|
-
? path.substring(0, ipos)
|
|
140
|
-
: path.substring(0, ipos) + path.substring(pos + 3);
|
|
141
|
-
len -= pos + 3 - ipos;
|
|
142
|
-
pos = ipos - 1; // incremented again at end of loop
|
|
143
|
-
}
|
|
144
|
-
break;
|
|
145
|
-
}
|
|
146
|
-
// if there's no preceeding '/', trim start if non-empty
|
|
147
|
-
if (ipos < 0 && pos > 0) {
|
|
148
|
-
if (pos !== 2 ||
|
|
149
|
-
path.charCodeAt(0) !== 46 /* CharCode.Dot */ ||
|
|
150
|
-
path.charCodeAt(1) !== 46 /* CharCode.Dot */) { // exclude '..' itself
|
|
151
|
-
path = path.substring(pos + 4);
|
|
152
|
-
len = path.length;
|
|
153
|
-
continue;
|
|
154
|
-
}
|
|
155
|
-
}
|
|
156
|
-
pos++;
|
|
157
|
-
}
|
|
158
|
-
// path = path.endsWith( PATH_DELIMITER ) ? path.substring(0, len - 1) : path;
|
|
159
|
-
return len > 0 ? path : ".";
|
|
160
|
-
}
|
|
@@ -1,11 +0,0 @@
|
|
|
1
|
-
import type { HasSourceRange } from "../../../ast/nodes/HasSourceRange.js";
|
|
2
|
-
import type { IRTerm } from "../../../IR/IRTerm.js";
|
|
3
|
-
import type { TirType } from "../types/TirType.js";
|
|
4
|
-
import type { ToIRTermCtx } from "./ToIRTermCtx.js";
|
|
5
|
-
export interface ITirExpr extends HasSourceRange {
|
|
6
|
-
readonly type: TirType;
|
|
7
|
-
readonly isConstant: boolean;
|
|
8
|
-
deps: () => string[];
|
|
9
|
-
toIR: (ctx: ToIRTermCtx) => IRTerm;
|
|
10
|
-
clone: () => ITirExpr;
|
|
11
|
-
}
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
export {};
|
|
@@ -1,19 +0,0 @@
|
|
|
1
|
-
import { SourceRange } from "../../../ast/Source/SourceRange.js";
|
|
2
|
-
import { IRTerm } from "../../../IR/IRTerm.js";
|
|
3
|
-
import { TirAssertStmt } from "../statements/TirAssertStmt.js";
|
|
4
|
-
import { TirType } from "../types/TirType.js";
|
|
5
|
-
import { ITirExpr } from "./ITirExpr.js";
|
|
6
|
-
import { TirExpr } from "./TirExpr.js";
|
|
7
|
-
import { ToIRTermCtx } from "./ToIRTermCtx.js";
|
|
8
|
-
export declare class TirAssertAndContinueExpr implements ITirExpr {
|
|
9
|
-
conditions: TirExpr[];
|
|
10
|
-
continuation: TirExpr;
|
|
11
|
-
readonly range: SourceRange;
|
|
12
|
-
get type(): TirType;
|
|
13
|
-
constructor(conditions: TirExpr[], continuation: TirExpr, range: SourceRange);
|
|
14
|
-
clone(): TirAssertAndContinueExpr;
|
|
15
|
-
static fromStmtsAndContinuation(assertions: TirAssertStmt[], continuation: TirExpr): TirExpr;
|
|
16
|
-
deps(): string[];
|
|
17
|
-
get isConstant(): boolean;
|
|
18
|
-
toIR(ctx: ToIRTermCtx): IRTerm;
|
|
19
|
-
}
|
|
@@ -1,41 +0,0 @@
|
|
|
1
|
-
import { IRDelayed } from "../../../IR/IRNodes/IRDelayed.js";
|
|
2
|
-
import { IRError } from "../../../IR/IRNodes/IRError.js";
|
|
3
|
-
import { IRForced } from "../../../IR/IRNodes/IRForced.js";
|
|
4
|
-
import { IRNative } from "../../../IR/IRNodes/IRNative/index.js";
|
|
5
|
-
import { _ir_apps } from "../../../IR/tree_utils/_ir_apps.js";
|
|
6
|
-
import { mergeSortedStrArrInplace } from "../../../utils/array/mergeSortedStrArrInplace.js";
|
|
7
|
-
export class TirAssertAndContinueExpr {
|
|
8
|
-
conditions;
|
|
9
|
-
continuation;
|
|
10
|
-
range;
|
|
11
|
-
get type() {
|
|
12
|
-
return this.continuation.type;
|
|
13
|
-
}
|
|
14
|
-
constructor(conditions, continuation, range) {
|
|
15
|
-
this.conditions = conditions;
|
|
16
|
-
this.continuation = continuation;
|
|
17
|
-
this.range = range;
|
|
18
|
-
}
|
|
19
|
-
/// @ts-ignore Return type annotation circularly references itself.
|
|
20
|
-
clone() {
|
|
21
|
-
return new TirAssertAndContinueExpr(this.conditions.map(c => c.clone()), this.continuation.clone(), this.range.clone());
|
|
22
|
-
}
|
|
23
|
-
static fromStmtsAndContinuation(assertions, continuation) {
|
|
24
|
-
if (assertions.length <= 0)
|
|
25
|
-
return continuation;
|
|
26
|
-
return new TirAssertAndContinueExpr(assertions.map(a => a.toSafeCondition()), continuation, continuation.range);
|
|
27
|
-
}
|
|
28
|
-
deps() {
|
|
29
|
-
return (this.conditions
|
|
30
|
-
.reduce((accum, cond) => mergeSortedStrArrInplace(accum, cond.deps()), this.continuation.deps()));
|
|
31
|
-
}
|
|
32
|
-
get isConstant() { return this.continuation.isConstant; }
|
|
33
|
-
toIR(ctx) {
|
|
34
|
-
const irContinuation = this.continuation.toIR(ctx);
|
|
35
|
-
if (this.conditions.length <= 0)
|
|
36
|
-
return irContinuation;
|
|
37
|
-
let irConditions = this.conditions.pop().toIR(ctx);
|
|
38
|
-
irConditions = this.conditions.reduce((ir, cond) => _ir_apps(IRNative._strictAnd, ir, cond.toIR(ctx)), irConditions);
|
|
39
|
-
return new IRForced(_ir_apps(IRNative.strictIfThenElse, irConditions, new IRDelayed(irContinuation), new IRDelayed(new IRError())));
|
|
40
|
-
}
|
|
41
|
-
}
|
|
@@ -1,17 +0,0 @@
|
|
|
1
|
-
import { SourceRange } from "../../../ast/Source/SourceRange.js";
|
|
2
|
-
import type { IRTerm } from "../../../IR/IRTerm.js";
|
|
3
|
-
import { TirType } from "../types/TirType.js";
|
|
4
|
-
import { ITirExpr } from "./ITirExpr.js";
|
|
5
|
-
import { TirExpr } from "./TirExpr.js";
|
|
6
|
-
import { ToIRTermCtx } from "./ToIRTermCtx.js";
|
|
7
|
-
export declare class TirCallExpr implements ITirExpr {
|
|
8
|
-
func: TirExpr;
|
|
9
|
-
readonly args: TirExpr[];
|
|
10
|
-
readonly type: TirType;
|
|
11
|
-
readonly range: SourceRange;
|
|
12
|
-
constructor(func: TirExpr, args: TirExpr[], type: TirType, range: SourceRange);
|
|
13
|
-
clone(): TirCallExpr;
|
|
14
|
-
deps(): string[];
|
|
15
|
-
get isConstant(): boolean;
|
|
16
|
-
toIR(ctx: ToIRTermCtx): IRTerm;
|
|
17
|
-
}
|