@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
package/dist/IR/utils/showIR.js
DELETED
|
@@ -1,372 +0,0 @@
|
|
|
1
|
-
import { IRApp } from "../IRNodes/IRApp.js";
|
|
2
|
-
import { IRLetted } from "../IRNodes/IRLetted.js";
|
|
3
|
-
import { nativeTagToString } from "../IRNodes/IRNative/IRNativeTag.js";
|
|
4
|
-
import { IRHoisted, getHoistedTerms } from "../IRNodes/IRHoisted.js";
|
|
5
|
-
import { IRVar } from "../IRNodes/IRVar.js";
|
|
6
|
-
import { IRConst } from "../IRNodes/IRConst.js";
|
|
7
|
-
import { IRDelayed } from "../IRNodes/IRDelayed.js";
|
|
8
|
-
import { IRForced } from "../IRNodes/IRForced.js";
|
|
9
|
-
import { IRError } from "../IRNodes/IRError.js";
|
|
10
|
-
import { IRFunc } from "../IRNodes/IRFunc.js";
|
|
11
|
-
import { showUPLCConstValue } from "@harmoniclabs/uplc";
|
|
12
|
-
import { IRConstr } from "../IRNodes/IRConstr.js";
|
|
13
|
-
import { IRCase } from "../IRNodes/IRCase.js";
|
|
14
|
-
import { equalIrHash, irHashToHex } from "../IRHash.js";
|
|
15
|
-
import { stringify } from "../../utils/stringify.js";
|
|
16
|
-
import { IRRecursive } from "../IRNodes/IRRecursive.js";
|
|
17
|
-
import { IRSelfCall } from "../IRNodes/IRSelfCall.js";
|
|
18
|
-
import { IRNative } from "../IRNodes/IRNative/index.js";
|
|
19
|
-
const vars = "abcdefghilmopqrstuvzwxyjkABCDEFGHILJMNOPQRSTUVZWXYJK".split('');
|
|
20
|
-
function getVarNameForDbn(dbn) {
|
|
21
|
-
if (dbn < 0)
|
|
22
|
-
return `(${dbn})`;
|
|
23
|
-
if (dbn < vars.length)
|
|
24
|
-
return vars[dbn];
|
|
25
|
-
return vars[Math.floor(dbn / vars.length)] + getVarNameForDbn(dbn - vars.length);
|
|
26
|
-
}
|
|
27
|
-
export function showIRText(_ir) {
|
|
28
|
-
function _loop(ir, dbn) {
|
|
29
|
-
if (ir instanceof IRApp)
|
|
30
|
-
return `[${_loop(ir.fn, dbn)} ${_loop(ir.arg, dbn)}]`;
|
|
31
|
-
if (ir instanceof IRCase)
|
|
32
|
-
return `(case ${_loop(ir.constrTerm, dbn)} [${Array.from(ir.continuations).map(f => _loop(f, dbn)).join(" ")}])`;
|
|
33
|
-
if (ir instanceof IRConstr)
|
|
34
|
-
return `(constr ${ir.index.toString()} [${Array.from(ir.fields).map(f => _loop(f, dbn)).join(" ")}])`;
|
|
35
|
-
if (ir instanceof IRNative)
|
|
36
|
-
return `(native ${nativeTagToString(ir.tag)})`;
|
|
37
|
-
if (ir instanceof IRLetted) {
|
|
38
|
-
// addLetted( ir );
|
|
39
|
-
return lettedToStr(ir);
|
|
40
|
-
}
|
|
41
|
-
if (ir instanceof IRHoisted) {
|
|
42
|
-
return hoistedToStr(ir);
|
|
43
|
-
}
|
|
44
|
-
if (ir instanceof IRVar)
|
|
45
|
-
return getVarNameForDbn(dbn - 1 - ir.dbn);
|
|
46
|
-
if (ir instanceof IRSelfCall)
|
|
47
|
-
return "self_" + getVarNameForDbn(dbn - 1 - ir.dbn);
|
|
48
|
-
if (ir instanceof IRConst)
|
|
49
|
-
return constToString(ir);
|
|
50
|
-
if (ir instanceof IRDelayed)
|
|
51
|
-
return `(delay ${_loop(ir.delayed, dbn)})`;
|
|
52
|
-
if (ir instanceof IRForced)
|
|
53
|
-
return `(force ${_loop(ir.forced, dbn)})`;
|
|
54
|
-
if (ir instanceof IRError)
|
|
55
|
-
return "(error)";
|
|
56
|
-
if (ir instanceof IRFunc) {
|
|
57
|
-
let vars = new Array(ir.arity);
|
|
58
|
-
for (let i = 0; i < ir.arity; i++) {
|
|
59
|
-
vars[i] = getVarNameForDbn(dbn++);
|
|
60
|
-
}
|
|
61
|
-
return `(func ${typeof ir.name === "string" ? "{" + ir.name + "}" : ""} ${vars.join(" ")} ${_loop(ir.body, dbn)})`;
|
|
62
|
-
}
|
|
63
|
-
if (ir instanceof IRRecursive) {
|
|
64
|
-
const varName = "self_" + getVarNameForDbn(dbn++);
|
|
65
|
-
return `(recursive ${varName} ${_loop(ir.body, dbn)})`;
|
|
66
|
-
}
|
|
67
|
-
return "";
|
|
68
|
-
}
|
|
69
|
-
return _loop(_ir, 0);
|
|
70
|
-
}
|
|
71
|
-
export function showIR(_ir) {
|
|
72
|
-
const hoistedHashes = [];
|
|
73
|
-
const hoisted = {};
|
|
74
|
-
function addHoisted(h) {
|
|
75
|
-
const hash = h.hash;
|
|
76
|
-
if (!hoistedHashes.some(hoistedHash => equalIrHash(hoistedHash, hash))) {
|
|
77
|
-
const deps = h.dependencies;
|
|
78
|
-
for (let i = 0; i < deps.length; i++) {
|
|
79
|
-
addHoisted(deps[i].hoisted);
|
|
80
|
-
}
|
|
81
|
-
hoistedHashes.push(hash.slice());
|
|
82
|
-
Object.defineProperty(hoisted, irHashToHex(hash), {
|
|
83
|
-
value: showIRText(h.hoisted),
|
|
84
|
-
writable: false,
|
|
85
|
-
enumerable: true,
|
|
86
|
-
configurable: false
|
|
87
|
-
});
|
|
88
|
-
}
|
|
89
|
-
}
|
|
90
|
-
const lettedHashes = [];
|
|
91
|
-
const letted = {};
|
|
92
|
-
function addLetted(l) {
|
|
93
|
-
const hash = l.hash;
|
|
94
|
-
if (!lettedHashes.some(lettedHash => equalIrHash(lettedHash, hash))) {
|
|
95
|
-
const deps = l.dependencies;
|
|
96
|
-
const nDeps = deps.length;
|
|
97
|
-
for (let i = 0; i < nDeps; i++) {
|
|
98
|
-
addLetted(deps[i].letted);
|
|
99
|
-
}
|
|
100
|
-
lettedHashes.push(hash.slice());
|
|
101
|
-
getHoistedTerms(l.value).forEach(({ hoisted }) => addHoisted(hoisted));
|
|
102
|
-
Object.defineProperty(letted, irHashToHex(hash), {
|
|
103
|
-
value: showIRText(l.value),
|
|
104
|
-
writable: false,
|
|
105
|
-
enumerable: true,
|
|
106
|
-
configurable: false
|
|
107
|
-
});
|
|
108
|
-
}
|
|
109
|
-
}
|
|
110
|
-
function _loop(ir, dbn) {
|
|
111
|
-
if (ir instanceof IRApp)
|
|
112
|
-
return `[${_loop(ir.fn, dbn)} ${_loop(ir.arg, dbn)}]`;
|
|
113
|
-
if (ir instanceof IRConstr)
|
|
114
|
-
return `(constr ${ir.index} ${Array.from(ir.fields).map(f => _loop(f, dbn)).join(" ")})`;
|
|
115
|
-
if (ir instanceof IRCase)
|
|
116
|
-
return `(case ${_loop(ir.constrTerm, dbn)} ${Array.from(ir.continuations).map(f => _loop(f, dbn)).join(" ")})`;
|
|
117
|
-
if (ir instanceof IRNative)
|
|
118
|
-
return `(native ${nativeTagToString(ir.tag)})`;
|
|
119
|
-
if (ir instanceof IRLetted) {
|
|
120
|
-
addLetted(ir);
|
|
121
|
-
return lettedToStr(ir);
|
|
122
|
-
}
|
|
123
|
-
if (ir instanceof IRHoisted) {
|
|
124
|
-
addHoisted(ir);
|
|
125
|
-
return hoistedToStr(ir);
|
|
126
|
-
}
|
|
127
|
-
if (ir instanceof IRVar)
|
|
128
|
-
return getVarNameForDbn(dbn - 1 - ir.dbn);
|
|
129
|
-
if (ir instanceof IRSelfCall)
|
|
130
|
-
return "self_" + getVarNameForDbn(dbn - 1 - ir.dbn);
|
|
131
|
-
if (ir instanceof IRConst)
|
|
132
|
-
return constToString(ir);
|
|
133
|
-
if (ir instanceof IRDelayed)
|
|
134
|
-
return `(delay ${_loop(ir.delayed, dbn)})`;
|
|
135
|
-
if (ir instanceof IRForced)
|
|
136
|
-
return `(force ${_loop(ir.forced, dbn)})`;
|
|
137
|
-
if (ir instanceof IRError)
|
|
138
|
-
return "(error)";
|
|
139
|
-
if (ir instanceof IRFunc) {
|
|
140
|
-
let vars = new Array(ir.arity);
|
|
141
|
-
for (let i = 0; i < ir.arity; i++) {
|
|
142
|
-
vars[i] = getVarNameForDbn(dbn++);
|
|
143
|
-
}
|
|
144
|
-
return `(func ${typeof ir.name === "string" ? "{" + ir.name + "}" : ""} ${vars.join(" ")} ${_loop(ir.body, dbn)})`;
|
|
145
|
-
}
|
|
146
|
-
if (ir instanceof IRRecursive) {
|
|
147
|
-
const varName = "self_" + getVarNameForDbn(dbn++);
|
|
148
|
-
return `(recursive ${varName} ${_loop(ir.body, dbn)})`;
|
|
149
|
-
}
|
|
150
|
-
return "";
|
|
151
|
-
}
|
|
152
|
-
const text = _loop(_ir, 0);
|
|
153
|
-
return {
|
|
154
|
-
text,
|
|
155
|
-
letted,
|
|
156
|
-
hoisted
|
|
157
|
-
};
|
|
158
|
-
}
|
|
159
|
-
export function prettyIRText(_ir, _indent = 2) {
|
|
160
|
-
if (!Number.isSafeInteger(_indent) || _indent < 1)
|
|
161
|
-
return showIR(_ir);
|
|
162
|
-
const indentStr = " ".repeat(_indent);
|
|
163
|
-
function _loop(ir, dbn, depth) {
|
|
164
|
-
const indent = `\n${indentStr.repeat(depth)}`;
|
|
165
|
-
if (ir instanceof IRApp)
|
|
166
|
-
return `${indent}[${_loop(ir.fn, dbn, depth + 1)} ${_loop(ir.arg, dbn, depth + 1)}${indent}]`;
|
|
167
|
-
if (ir instanceof IRCase)
|
|
168
|
-
return `${indent}(case ${indent}${_loop(ir.constrTerm, dbn, depth + 1)} ${indent}[${Array.from(ir.continuations).map(f => _loop(f, dbn, depth + 1)).join(" ")}${indent}])`;
|
|
169
|
-
if (ir instanceof IRConstr)
|
|
170
|
-
return `${indent}(constr ${ir.index.toString()} ${indent}[${Array.from(ir.fields).map(f => _loop(f, dbn, depth + 1)).join(" ")}${indent}])`;
|
|
171
|
-
if (ir instanceof IRNative)
|
|
172
|
-
return `${indent}(native ${nativeTagToString(ir.tag)})`;
|
|
173
|
-
if (ir instanceof IRLetted) {
|
|
174
|
-
// addLetted( ir );
|
|
175
|
-
return `${indent}${lettedToStr(ir)}`;
|
|
176
|
-
}
|
|
177
|
-
if (ir instanceof IRHoisted) {
|
|
178
|
-
return `${indent}${hoistedToStr(ir)}`;
|
|
179
|
-
}
|
|
180
|
-
if (ir instanceof IRVar)
|
|
181
|
-
return indent + getVarNameForDbn(dbn - 1 - ir.dbn);
|
|
182
|
-
if (ir instanceof IRSelfCall)
|
|
183
|
-
return indent + "self_" + getVarNameForDbn(dbn - 1 - ir.dbn);
|
|
184
|
-
if (ir instanceof IRConst)
|
|
185
|
-
return `${indent}${constToString(ir)}`;
|
|
186
|
-
if (ir instanceof IRDelayed)
|
|
187
|
-
return `${indent}(delay ${_loop(ir.delayed, dbn, depth + 1)}${indent})`;
|
|
188
|
-
if (ir instanceof IRForced)
|
|
189
|
-
return `${indent}(force ${_loop(ir.forced, dbn, depth + 1)}${indent})`;
|
|
190
|
-
if (ir instanceof IRError)
|
|
191
|
-
return "(error)";
|
|
192
|
-
if (ir instanceof IRFunc) {
|
|
193
|
-
let vars = new Array(ir.arity);
|
|
194
|
-
for (let i = 0; i < ir.arity; i++) {
|
|
195
|
-
vars[i] = getVarNameForDbn(dbn++);
|
|
196
|
-
}
|
|
197
|
-
return `${indent}(func ${typeof ir.name === "string" ? "{" + ir.name + "}" : ""} ${vars.join(" ")} ${_loop(ir.body, dbn, depth + 1)}${indent})`;
|
|
198
|
-
}
|
|
199
|
-
if (ir instanceof IRRecursive) {
|
|
200
|
-
const varName = "self_" + getVarNameForDbn(dbn++);
|
|
201
|
-
return `${indent}(recursive ${varName} ${_loop(ir.body, dbn, depth + 1)}${indent})`;
|
|
202
|
-
}
|
|
203
|
-
return "";
|
|
204
|
-
}
|
|
205
|
-
return _loop(_ir, 0, 0);
|
|
206
|
-
}
|
|
207
|
-
export function prettyIR(_ir, _indent = 2) {
|
|
208
|
-
if (!Number.isSafeInteger(_indent) || _indent < 1)
|
|
209
|
-
return showIR(_ir);
|
|
210
|
-
const indentStr = " ".repeat(_indent);
|
|
211
|
-
const hoistedHashes = [];
|
|
212
|
-
const hoisted = {};
|
|
213
|
-
function addHoisted(h) {
|
|
214
|
-
const hash = h.hash;
|
|
215
|
-
if (!hoistedHashes.some(hoistedHash => equalIrHash(hoistedHash, hash))) {
|
|
216
|
-
const deps = h.dependencies;
|
|
217
|
-
for (let i = 0; i < deps.length; i++) {
|
|
218
|
-
addHoisted(deps[i].hoisted);
|
|
219
|
-
}
|
|
220
|
-
hoistedHashes.push(hash.slice());
|
|
221
|
-
const hashStr = irHashToHex(hash);
|
|
222
|
-
Object.defineProperty(hoisted, hashStr, { value: prettyIRText(h.hoisted, _indent), writable: true, enumerable: true });
|
|
223
|
-
}
|
|
224
|
-
}
|
|
225
|
-
const lettedHashes = [];
|
|
226
|
-
const letted = {};
|
|
227
|
-
function addLetted(l) {
|
|
228
|
-
const hash = l.hash;
|
|
229
|
-
if (!lettedHashes.some(lettedHash => equalIrHash(lettedHash, hash))) {
|
|
230
|
-
const deps = l.dependencies;
|
|
231
|
-
const nDeps = deps.length;
|
|
232
|
-
for (let i = 0; i < nDeps; i++) {
|
|
233
|
-
addLetted(deps[i].letted);
|
|
234
|
-
}
|
|
235
|
-
lettedHashes.push(hash.slice());
|
|
236
|
-
getHoistedTerms(l.value).forEach(({ hoisted }) => addHoisted(hoisted));
|
|
237
|
-
const hashStr = irHashToHex(hash);
|
|
238
|
-
Object.defineProperty(letted, hashStr, {
|
|
239
|
-
value: prettyIRText(l.value, _indent),
|
|
240
|
-
writable: true,
|
|
241
|
-
enumerable: true
|
|
242
|
-
});
|
|
243
|
-
}
|
|
244
|
-
}
|
|
245
|
-
function _loop(ir, dbn, depth) {
|
|
246
|
-
const indent = `\n${indentStr.repeat(depth)}`;
|
|
247
|
-
if (ir instanceof IRApp)
|
|
248
|
-
return `${indent}[${_loop(ir.fn, dbn, depth + 1)} ${_loop(ir.arg, dbn, depth + 1)}${indent}]`;
|
|
249
|
-
if (ir instanceof IRNative)
|
|
250
|
-
return `${indent}(native ${nativeTagToString(ir.tag)})`;
|
|
251
|
-
if (ir instanceof IRLetted) {
|
|
252
|
-
addLetted(ir);
|
|
253
|
-
return `${indent}${lettedToStr(ir)}`;
|
|
254
|
-
}
|
|
255
|
-
if (ir instanceof IRHoisted) {
|
|
256
|
-
addHoisted(ir);
|
|
257
|
-
return `${indent}${hoistedToStr(ir)}`;
|
|
258
|
-
}
|
|
259
|
-
if (ir instanceof IRVar)
|
|
260
|
-
return indent + getVarNameForDbn(dbn - 1 - ir.dbn);
|
|
261
|
-
if (ir instanceof IRSelfCall)
|
|
262
|
-
return indent + "self_" + getVarNameForDbn(dbn - 1 - ir.dbn);
|
|
263
|
-
if (ir instanceof IRConst)
|
|
264
|
-
return `${indent}${constToString(ir)}`;
|
|
265
|
-
if (ir instanceof IRDelayed)
|
|
266
|
-
return `${indent}(delay ${_loop(ir.delayed, dbn, depth + 1)}${indent})`;
|
|
267
|
-
if (ir instanceof IRForced)
|
|
268
|
-
return `${indent}(force ${_loop(ir.forced, dbn, depth + 1)}${indent})`;
|
|
269
|
-
if (ir instanceof IRError)
|
|
270
|
-
return "(error)";
|
|
271
|
-
if (ir instanceof IRFunc) {
|
|
272
|
-
let vars = new Array(ir.arity);
|
|
273
|
-
for (let i = 0; i < ir.arity; i++) {
|
|
274
|
-
vars[i] = getVarNameForDbn(dbn++);
|
|
275
|
-
}
|
|
276
|
-
return `${indent}(func ${typeof ir.name === "string" ? "{" + ir.name + "}" : ""} ${vars.join(" ")} ${_loop(ir.body, dbn, depth + 1)}${indent})`;
|
|
277
|
-
}
|
|
278
|
-
if (ir instanceof IRRecursive) {
|
|
279
|
-
const varName = "self_" + getVarNameForDbn(dbn++);
|
|
280
|
-
return `${indent}(recursive ${varName} ${_loop(ir.body, dbn, depth + 1)}${indent})`;
|
|
281
|
-
}
|
|
282
|
-
return "";
|
|
283
|
-
}
|
|
284
|
-
const text = _loop(_ir, 0, 0);
|
|
285
|
-
return {
|
|
286
|
-
text,
|
|
287
|
-
letted,
|
|
288
|
-
hoisted
|
|
289
|
-
};
|
|
290
|
-
}
|
|
291
|
-
const defaultPrettyIRJsonStrOpts = {
|
|
292
|
-
text: true,
|
|
293
|
-
letted: true,
|
|
294
|
-
hoisted: true
|
|
295
|
-
};
|
|
296
|
-
export function prettyIRJsonStr(ir, indent = 2, opts = {}) {
|
|
297
|
-
const _opts = {
|
|
298
|
-
...defaultPrettyIRJsonStrOpts,
|
|
299
|
-
...opts
|
|
300
|
-
};
|
|
301
|
-
const toJson = prettyIR(ir, indent);
|
|
302
|
-
if (!_opts.text)
|
|
303
|
-
toJson.text = undefined;
|
|
304
|
-
if (!_opts.letted)
|
|
305
|
-
toJson.letted = undefined;
|
|
306
|
-
if (!_opts.hoisted)
|
|
307
|
-
toJson.hoisted = undefined;
|
|
308
|
-
return stringify(toJson, (k, v) => {
|
|
309
|
-
if ((k === "text" || (typeof k === "string" && k.length === 32)) && typeof v === "string") {
|
|
310
|
-
return v.split("\n");
|
|
311
|
-
}
|
|
312
|
-
return v;
|
|
313
|
-
}, indent);
|
|
314
|
-
}
|
|
315
|
-
export function hoistedToStr(ir) {
|
|
316
|
-
return `(hoisted${(ir.meta.name ? " {" + ir.meta.name + "}" : "")} ${irHashToHex(ir.hash)})`;
|
|
317
|
-
}
|
|
318
|
-
export function lettedToStr(ir) {
|
|
319
|
-
return `(letted${(ir.meta.name ? " {" + ir.meta.name + "}" : "")} ${ir.dbn} ${irHashToHex(ir.hash)})`;
|
|
320
|
-
}
|
|
321
|
-
export function constToString(ir) {
|
|
322
|
-
return `(const ${ir.type.toString()} ${showUPLCConstValue(ir.value)})`;
|
|
323
|
-
}
|
|
324
|
-
export function prettyIRInline(_ir, _indent = 2) {
|
|
325
|
-
const indentStr = " ".repeat(_indent);
|
|
326
|
-
function _loop(ir, dbn, depth) {
|
|
327
|
-
const indent = `\n${indentStr.repeat(depth)}`;
|
|
328
|
-
if (ir instanceof IRApp)
|
|
329
|
-
return `${indent}[${_loop(ir.fn, dbn, depth + 1)} ${_loop(ir.arg, dbn, depth + 1)}${indent}]`;
|
|
330
|
-
if (ir instanceof IRNative)
|
|
331
|
-
return `${indent}(native ${nativeTagToString(ir.tag)})`;
|
|
332
|
-
if (ir instanceof IRLetted) {
|
|
333
|
-
// addLetted( ir );
|
|
334
|
-
return (`${indent}(letted${(ir.meta.name ? " {" + ir.meta.name + "}" : "")} ${ir.dbn} ${irHashToHex(ir.hash)}` +
|
|
335
|
-
`${_loop(ir.value, dbn, depth + 1)}` +
|
|
336
|
-
`${indent})`);
|
|
337
|
-
}
|
|
338
|
-
if (ir instanceof IRHoisted) {
|
|
339
|
-
// addHoisted( ir )
|
|
340
|
-
// return `${indent}${hoistedToStr(ir)}`;
|
|
341
|
-
return (`${indent}(hoisted${(ir.meta.name ? " {" + ir.meta.name + "}" : "")} ${irHashToHex(ir.hash)}` +
|
|
342
|
-
`${_loop(ir.hoisted, dbn, depth + 1)}` +
|
|
343
|
-
`${indent})`);
|
|
344
|
-
}
|
|
345
|
-
if (ir instanceof IRVar)
|
|
346
|
-
return indent + getVarNameForDbn(dbn - 1 - ir.dbn);
|
|
347
|
-
if (ir instanceof IRSelfCall)
|
|
348
|
-
return indent + "self_" + getVarNameForDbn(dbn - 1 - ir.dbn);
|
|
349
|
-
if (ir instanceof IRConst)
|
|
350
|
-
return `${indent}${constToString(ir)}`;
|
|
351
|
-
if (ir instanceof IRDelayed)
|
|
352
|
-
return `${indent}(delay ${_loop(ir.delayed, dbn, depth + 1)}${indent})`;
|
|
353
|
-
if (ir instanceof IRForced)
|
|
354
|
-
return `${indent}(force ${_loop(ir.forced, dbn, depth + 1)}${indent})`;
|
|
355
|
-
if (ir instanceof IRError)
|
|
356
|
-
return "(error)";
|
|
357
|
-
if (ir instanceof IRFunc) {
|
|
358
|
-
let vars = new Array(ir.arity);
|
|
359
|
-
for (let i = 0; i < ir.arity; i++) {
|
|
360
|
-
vars[i] = getVarNameForDbn(dbn++);
|
|
361
|
-
}
|
|
362
|
-
return `${indent}(func ${typeof ir.name === "string" ? "{" + ir.name + "}" : ""} ${vars.join(" ")} ${_loop(ir.body, dbn, depth + 1)}${indent})`;
|
|
363
|
-
}
|
|
364
|
-
if (ir instanceof IRRecursive) {
|
|
365
|
-
const varName = "self_" + getVarNameForDbn(dbn++);
|
|
366
|
-
return `${indent}(recursive ${varName} ${_loop(ir.body, dbn, depth + 1)}${indent})`;
|
|
367
|
-
}
|
|
368
|
-
return "";
|
|
369
|
-
}
|
|
370
|
-
const text = _loop(_ir, 0, 0);
|
|
371
|
-
return text;
|
|
372
|
-
}
|
package/dist/ast/PebbleAst.d.ts
DELETED
|
@@ -1,8 +0,0 @@
|
|
|
1
|
-
import { VarDecl } from "./nodes/statements/declarations/VarDecl/VarDecl.js";
|
|
2
|
-
import { Identifier } from "./nodes/common/Identifier.js";
|
|
3
|
-
import { PebbleExpr } from "./nodes/expr/PebbleExpr.js";
|
|
4
|
-
import { AstTypeExpr } from "./nodes/types/AstTypeExpr.js";
|
|
5
|
-
import { BodyStmt, TopLevelStmt } from "./nodes/statements/PebbleStmt.js";
|
|
6
|
-
import { PebbleTypeDecl } from "./nodes/statements/declarations/PebbleTypeDecl.js";
|
|
7
|
-
export type PebbleAst = VarDecl | TopLevelStmt | BodyStmt | PebbleExpr | AstTypeExpr | Identifier | PebbleTypeDecl;
|
|
8
|
-
export declare function isPebbleAst(thing: any): thing is PebbleAst;
|
package/dist/ast/PebbleAst.js
DELETED
|
@@ -1,15 +0,0 @@
|
|
|
1
|
-
import { isVarDecl } from "./nodes/statements/declarations/VarDecl/VarDecl.js";
|
|
2
|
-
import { Identifier } from "./nodes/common/Identifier.js";
|
|
3
|
-
import { isPebbleExpr } from "./nodes/expr/PebbleExpr.js";
|
|
4
|
-
import { isAstTypeExpr } from "./nodes/types/AstTypeExpr.js";
|
|
5
|
-
import { isBodyStmt, isTopLevelStmt } from "./nodes/statements/PebbleStmt.js";
|
|
6
|
-
import { isPebbleTypeDecl } from "./nodes/statements/declarations/PebbleTypeDecl.js";
|
|
7
|
-
export function isPebbleAst(thing) {
|
|
8
|
-
return (thing instanceof Identifier
|
|
9
|
-
|| isVarDecl(thing)
|
|
10
|
-
|| isTopLevelStmt(thing)
|
|
11
|
-
|| isBodyStmt(thing)
|
|
12
|
-
|| isPebbleExpr(thing)
|
|
13
|
-
|| isAstTypeExpr(thing)
|
|
14
|
-
|| isPebbleTypeDecl(thing));
|
|
15
|
-
}
|
|
@@ -1,47 +0,0 @@
|
|
|
1
|
-
import { TopLevelStmt } from "../nodes/statements/PebbleStmt.js";
|
|
2
|
-
import { SourceRange } from "./SourceRange.js";
|
|
3
|
-
/** Indicates the specific kind of a source. */
|
|
4
|
-
export declare enum SourceKind {
|
|
5
|
-
/** User-provided file. */
|
|
6
|
-
User = 0,
|
|
7
|
-
/** User-provided entry file. */
|
|
8
|
-
UserEntry = 1,
|
|
9
|
-
/** Library-provided file. */
|
|
10
|
-
Library = 2,
|
|
11
|
-
/** Library-provided entry file. */
|
|
12
|
-
LibraryEntry = 3
|
|
13
|
-
}
|
|
14
|
-
/** A top-level source node. */
|
|
15
|
-
export declare class Source {
|
|
16
|
-
/** Source kind. */
|
|
17
|
-
sourceKind: SourceKind;
|
|
18
|
-
/** Normalized path with file extension. */
|
|
19
|
-
absoluteProjPath: string;
|
|
20
|
-
/** unique identifier for the source */
|
|
21
|
-
readonly uid: string;
|
|
22
|
-
/** Full source text. */
|
|
23
|
-
text: string;
|
|
24
|
-
readonly range: SourceRange;
|
|
25
|
-
constructor(
|
|
26
|
-
/** Source kind. */
|
|
27
|
-
sourceKind: SourceKind,
|
|
28
|
-
/** Normalized path with file extension. */
|
|
29
|
-
absoluteProjPath: string,
|
|
30
|
-
/** unique identifier for the source */
|
|
31
|
-
uid: string,
|
|
32
|
-
/** Full source text. */
|
|
33
|
-
text: string);
|
|
34
|
-
static get mock(): Source;
|
|
35
|
-
/** Contained statements. */
|
|
36
|
-
statements: TopLevelStmt[];
|
|
37
|
-
/** Checks if this source is part of the (standard) library. */
|
|
38
|
-
isLibrary(): boolean;
|
|
39
|
-
/** Cached line starts. */
|
|
40
|
-
private lineCache;
|
|
41
|
-
/** Remembered column number. */
|
|
42
|
-
private lineColumn;
|
|
43
|
-
/** Determines the line number at the specified position. Starts at `1`. */
|
|
44
|
-
lineAt(pos: number): number;
|
|
45
|
-
/** Gets the column number at the last position queried with `lineAt`. Starts at `1`. */
|
|
46
|
-
columnAt(): number;
|
|
47
|
-
}
|
|
@@ -1,89 +0,0 @@
|
|
|
1
|
-
import { getUniqueInternalName } from "../../compiler/internalVar.js";
|
|
2
|
-
import { SourceRange } from "./SourceRange.js";
|
|
3
|
-
/** Indicates the specific kind of a source. */
|
|
4
|
-
export var SourceKind;
|
|
5
|
-
(function (SourceKind) {
|
|
6
|
-
/** User-provided file. */
|
|
7
|
-
SourceKind[SourceKind["User"] = 0] = "User";
|
|
8
|
-
/** User-provided entry file. */
|
|
9
|
-
SourceKind[SourceKind["UserEntry"] = 1] = "UserEntry";
|
|
10
|
-
/** Library-provided file. */
|
|
11
|
-
SourceKind[SourceKind["Library"] = 2] = "Library";
|
|
12
|
-
/** Library-provided entry file. */
|
|
13
|
-
SourceKind[SourceKind["LibraryEntry"] = 3] = "LibraryEntry";
|
|
14
|
-
})(SourceKind || (SourceKind = {}));
|
|
15
|
-
Object.freeze(SourceKind);
|
|
16
|
-
/** A top-level source node. */
|
|
17
|
-
export class Source {
|
|
18
|
-
sourceKind;
|
|
19
|
-
absoluteProjPath;
|
|
20
|
-
uid;
|
|
21
|
-
text;
|
|
22
|
-
range;
|
|
23
|
-
constructor(
|
|
24
|
-
/** Source kind. */
|
|
25
|
-
sourceKind,
|
|
26
|
-
/** Normalized path with file extension. */
|
|
27
|
-
absoluteProjPath,
|
|
28
|
-
/** unique identifier for the source */
|
|
29
|
-
uid,
|
|
30
|
-
/** Full source text. */
|
|
31
|
-
text) {
|
|
32
|
-
this.sourceKind = sourceKind;
|
|
33
|
-
this.absoluteProjPath = absoluteProjPath;
|
|
34
|
-
this.uid = uid;
|
|
35
|
-
this.text = text;
|
|
36
|
-
this.range = new SourceRange(this, 0, text.length);
|
|
37
|
-
this.statements = new Array();
|
|
38
|
-
}
|
|
39
|
-
static get mock() {
|
|
40
|
-
return new Source(SourceKind.LibraryEntry, "mock.pebble", getUniqueInternalName("mock"), "");
|
|
41
|
-
}
|
|
42
|
-
/** Contained statements. */
|
|
43
|
-
statements;
|
|
44
|
-
/** Checks if this source is part of the (standard) library. */
|
|
45
|
-
isLibrary() {
|
|
46
|
-
let kind = this.sourceKind;
|
|
47
|
-
return kind === SourceKind.Library || kind === SourceKind.LibraryEntry;
|
|
48
|
-
}
|
|
49
|
-
/** Cached line starts. */
|
|
50
|
-
lineCache = undefined;
|
|
51
|
-
/** Remembered column number. */
|
|
52
|
-
lineColumn = 1;
|
|
53
|
-
/** Determines the line number at the specified position. Starts at `1`. */
|
|
54
|
-
lineAt(pos) {
|
|
55
|
-
if (pos < 0 || pos >= 0x7fffffff)
|
|
56
|
-
throw new Error("pos out of range");
|
|
57
|
-
let lineCache = this.lineCache;
|
|
58
|
-
if (!lineCache) {
|
|
59
|
-
this.lineCache = lineCache = [0];
|
|
60
|
-
let text = this.text;
|
|
61
|
-
let off = 0;
|
|
62
|
-
let end = text.length;
|
|
63
|
-
while (off < end) {
|
|
64
|
-
if (text.charCodeAt(off++) === 10 /* CharCode.LineFeed */)
|
|
65
|
-
lineCache.push(off);
|
|
66
|
-
}
|
|
67
|
-
lineCache.push(0x7fffffff);
|
|
68
|
-
}
|
|
69
|
-
let l = 0;
|
|
70
|
-
let r = lineCache.length - 1;
|
|
71
|
-
while (l < r) {
|
|
72
|
-
let m = l + ((r - l) >> 1);
|
|
73
|
-
let s = (lineCache[m]);
|
|
74
|
-
if (pos < s)
|
|
75
|
-
r = m;
|
|
76
|
-
else if (pos < (lineCache[m + 1])) {
|
|
77
|
-
this.lineColumn = pos - s + 1;
|
|
78
|
-
return m + 1;
|
|
79
|
-
}
|
|
80
|
-
else
|
|
81
|
-
l = m + 1;
|
|
82
|
-
}
|
|
83
|
-
throw new Error("[unreachable] invalid pos");
|
|
84
|
-
}
|
|
85
|
-
/** Gets the column number at the last position queried with `lineAt`. Starts at `1`. */
|
|
86
|
-
columnAt() {
|
|
87
|
-
return this.lineColumn;
|
|
88
|
-
}
|
|
89
|
-
}
|
|
@@ -1,16 +0,0 @@
|
|
|
1
|
-
import { HasSourceRange } from "../nodes/HasSourceRange.js";
|
|
2
|
-
import { Source } from "./Source.js";
|
|
3
|
-
export declare class SourceRange {
|
|
4
|
-
readonly source: Source;
|
|
5
|
-
start: number;
|
|
6
|
-
end: number;
|
|
7
|
-
constructor(source: Source, start: number, end: number);
|
|
8
|
-
static get unknown(): SourceRange;
|
|
9
|
-
static get mock(): SourceRange;
|
|
10
|
-
clone(): SourceRange;
|
|
11
|
-
static join(a: SourceRange | HasSourceRange, b: SourceRange | HasSourceRange): SourceRange;
|
|
12
|
-
equals(other: SourceRange): boolean;
|
|
13
|
-
atStart(): SourceRange;
|
|
14
|
-
atEnd(): SourceRange;
|
|
15
|
-
toString(): string;
|
|
16
|
-
}
|
|
@@ -1,49 +0,0 @@
|
|
|
1
|
-
import { hasSourceRange } from "../nodes/HasSourceRange.js";
|
|
2
|
-
import { Source } from "./Source.js";
|
|
3
|
-
export class SourceRange {
|
|
4
|
-
source;
|
|
5
|
-
start;
|
|
6
|
-
end;
|
|
7
|
-
constructor(source, start, end) {
|
|
8
|
-
if (!Number.isSafeInteger(start))
|
|
9
|
-
throw new Error("start is not a safe integer");
|
|
10
|
-
this.start = start;
|
|
11
|
-
this.end = end;
|
|
12
|
-
this.source = source;
|
|
13
|
-
}
|
|
14
|
-
static get unknown() {
|
|
15
|
-
return SourceRange.mock;
|
|
16
|
-
}
|
|
17
|
-
static get mock() {
|
|
18
|
-
return new SourceRange(Source.mock, -1, -1);
|
|
19
|
-
}
|
|
20
|
-
clone() {
|
|
21
|
-
return new SourceRange(this.source, this.start, this.end);
|
|
22
|
-
}
|
|
23
|
-
static join(a, b) {
|
|
24
|
-
a = hasSourceRange(a) ? a.range : a;
|
|
25
|
-
b = hasSourceRange(b) ? b.range : b;
|
|
26
|
-
if (!(a instanceof SourceRange))
|
|
27
|
-
throw new Error("a is not a SourceRange");
|
|
28
|
-
if (!(b instanceof SourceRange))
|
|
29
|
-
throw new Error("b is not a SourceRange");
|
|
30
|
-
if (a.source !== b.source)
|
|
31
|
-
throw new Error("source mismatch");
|
|
32
|
-
let range = new SourceRange(a.source, a.start < b.start ? a.start : b.start, a.end > b.end ? a.end : b.end);
|
|
33
|
-
return range;
|
|
34
|
-
}
|
|
35
|
-
equals(other) {
|
|
36
|
-
return (this.source === other.source ||
|
|
37
|
-
(this.start === other?.start &&
|
|
38
|
-
this.end === other?.end));
|
|
39
|
-
}
|
|
40
|
-
atStart() {
|
|
41
|
-
return new SourceRange(this.source, this.start, this.start);
|
|
42
|
-
}
|
|
43
|
-
atEnd() {
|
|
44
|
-
return new SourceRange(this.source, this.end, this.end);
|
|
45
|
-
}
|
|
46
|
-
toString() {
|
|
47
|
-
return this.source.text.substring(this.start, this.end);
|
|
48
|
-
}
|
|
49
|
-
}
|
|
@@ -1,13 +0,0 @@
|
|
|
1
|
-
import { SourceRange } from "../../Source/SourceRange.js";
|
|
2
|
-
import { HasSourceRange } from "../HasSourceRange.js";
|
|
3
|
-
export declare class Identifier implements HasSourceRange {
|
|
4
|
-
readonly text: string;
|
|
5
|
-
readonly range: SourceRange;
|
|
6
|
-
constructor(text: string, range: SourceRange);
|
|
7
|
-
clone(): Identifier;
|
|
8
|
-
/**
|
|
9
|
-
* usually used for anonymous arrow functions
|
|
10
|
-
*/
|
|
11
|
-
static anonymous(range: SourceRange): Identifier;
|
|
12
|
-
isAnonymous(): boolean;
|
|
13
|
-
}
|
|
@@ -1,20 +0,0 @@
|
|
|
1
|
-
export class Identifier {
|
|
2
|
-
text;
|
|
3
|
-
range;
|
|
4
|
-
constructor(text, range) {
|
|
5
|
-
this.text = text;
|
|
6
|
-
this.range = range;
|
|
7
|
-
}
|
|
8
|
-
clone() {
|
|
9
|
-
return new Identifier(this.text, this.range.clone());
|
|
10
|
-
}
|
|
11
|
-
/**
|
|
12
|
-
* usually used for anonymous arrow functions
|
|
13
|
-
*/
|
|
14
|
-
static anonymous(range) {
|
|
15
|
-
return new Identifier("", range);
|
|
16
|
-
}
|
|
17
|
-
isAnonymous() {
|
|
18
|
-
return this.text === "";
|
|
19
|
-
}
|
|
20
|
-
}
|
|
@@ -1,22 +0,0 @@
|
|
|
1
|
-
import { SourceRange } from "../../Source/SourceRange.js";
|
|
2
|
-
import { VarDecl } from "../statements/declarations/VarDecl/VarDecl.js";
|
|
3
|
-
import { HasSourceRange } from "../HasSourceRange.js";
|
|
4
|
-
import { PebbleExpr } from "./PebbleExpr.js";
|
|
5
|
-
export declare class CaseExpr implements HasSourceRange {
|
|
6
|
-
readonly matchExpr: PebbleExpr;
|
|
7
|
-
readonly cases: CaseExprMatcher[];
|
|
8
|
-
readonly wildcardCase: CaseWildcardMatcher | undefined;
|
|
9
|
-
readonly range: SourceRange;
|
|
10
|
-
constructor(matchExpr: PebbleExpr, cases: CaseExprMatcher[], wildcardCase: CaseWildcardMatcher | undefined, range: SourceRange);
|
|
11
|
-
}
|
|
12
|
-
export declare class CaseExprMatcher implements HasSourceRange {
|
|
13
|
-
readonly pattern: VarDecl;
|
|
14
|
-
readonly body: PebbleExpr;
|
|
15
|
-
readonly range: SourceRange;
|
|
16
|
-
constructor(pattern: VarDecl, body: PebbleExpr, range: SourceRange);
|
|
17
|
-
}
|
|
18
|
-
export declare class CaseWildcardMatcher implements HasSourceRange {
|
|
19
|
-
readonly body: PebbleExpr;
|
|
20
|
-
readonly range: SourceRange;
|
|
21
|
-
constructor(body: PebbleExpr, range: SourceRange);
|
|
22
|
-
}
|