├── .gitignore ├── LICENSE ├── README.md ├── gradle.properties ├── gradle └── wrapper │ ├── gradle-wrapper.jar │ └── gradle-wrapper.properties ├── gradlew ├── gradlew.bat ├── settings.gradle.kts └── src ├── main ├── antlr │ ├── MoiraiLexer.g4 │ └── MoiraiParser.g4 └── kotlin │ └── moirai │ ├── composition │ ├── AstParseTreeVisitor.kt │ ├── CompilerFrontend.kt │ ├── ExecutionCache.kt │ ├── Imports.kt │ ├── ImportsParseTreeListener.kt │ ├── Parsing.kt │ ├── PluginInstantiationValidation.kt │ ├── PluginsParseTreeListener.kt │ ├── ProcessPlugins.kt │ ├── ScriptType.kt │ ├── SourceStore.kt │ ├── SyntaxErrorListener.kt │ └── TypeLiteralParseTreeVisitor.kt │ ├── eval │ ├── EvalAstVisitor.kt │ ├── EvalWithCost.kt │ ├── Plugins.kt │ ├── UserPlugin.kt │ └── Value.kt │ ├── semantics │ ├── core │ │ ├── Architecture.kt │ │ ├── Ast.kt │ │ ├── AstVisitor.kt │ │ ├── Constructs.kt │ │ ├── CostExpression.kt │ │ ├── Errors.kt │ │ ├── FeatureSupport.kt │ │ ├── InstantiationValidation.kt │ │ ├── RawTerminus.kt │ │ ├── Scope.kt │ │ ├── Signifier.kt │ │ ├── StringMechanics.kt │ │ ├── Symbol.kt │ │ ├── SymbolSlots.kt │ │ ├── TopologicalSort.kt │ │ ├── Type.kt │ │ └── TypeMechanics.kt │ ├── infer │ │ ├── Constraint.kt │ │ ├── ConstraintInstantiations.kt │ │ ├── DecimalInstantiationValidation.kt │ │ ├── DictionaryInstantiations.kt │ │ ├── InstantiationChain.kt │ │ ├── ListInstantiations.kt │ │ ├── PluginInstantiations.kt │ │ ├── SetInstantiations.kt │ │ ├── StaticInstantiations.kt │ │ ├── StringInstantiationValidation.kt │ │ └── Substitution.kt │ ├── prelude │ │ ├── DecimalOpMembers.kt │ │ ├── DictionaryTypes.kt │ │ ├── EqualityMembers.kt │ │ ├── Lang.kt │ │ ├── ListTypes.kt │ │ ├── OpMembers.kt │ │ ├── Operators.kt │ │ ├── SetTypes.kt │ │ ├── StaticPlugins.kt │ │ ├── StringOpMembers.kt │ │ └── StringTypes.kt │ ├── visitors │ │ ├── BanFeaturePositionsAstVisitor.kt │ │ ├── BanHigherOrderRefAstVisitor.kt │ │ ├── BanNestedDefinitionAstVisitor.kt │ │ ├── BanSecondDegreeAstVisitor.kt │ │ ├── BindScopesAstVisitor.kt │ │ ├── CheckTypesAstVisitor.kt │ │ ├── CostExpressionAstVisitor.kt │ │ ├── CostMultiplierAstVisitor.kt │ │ ├── FinDebuggerAstVisitor.kt │ │ ├── FunctionScanAstVisitor.kt │ │ ├── GenerateFunctionEdgesAstVisitor.kt │ │ ├── GenerateRecordEdgesAstVisitor.kt │ │ ├── ParameterScanAstVisitor.kt │ │ ├── PropagateTypesAstVisitor.kt │ │ ├── RecordScanAstVisitor.kt │ │ └── UnitVisitors.kt │ └── workflow │ │ ├── Phases.kt │ │ └── ProcessAst.kt │ └── transport │ ├── TransportAst.kt │ ├── TransportFunctions.kt │ └── TransportTypes.kt └── test └── kotlin └── moirai ├── acceptance ├── AscribeTests.kt ├── AssignTests.kt ├── BanTests.kt ├── BranchHappyTests.kt ├── CostTests.kt ├── DictionaryErrorTests.kt ├── DictionaryHappyTests.kt ├── EitherErrorTests.kt ├── EitherHappyTests.kt ├── EqualityTests.kt ├── ExpressionTests.kt ├── FunctionErrorTests.kt ├── FunctionHappyTests.kt ├── GeneratedDecimalExpressionTests.kt ├── GeneratedIntegerExpressionTests.kt ├── ImportErrorTests.kt ├── ImportHappyTests.kt ├── LambdaErrorTests.kt ├── LambdaHappyTests.kt ├── ListErrorTests.kt ├── ListHappyTests.kt ├── LiteralTests.kt ├── OptionErrorTests.kt ├── OptionHappyTests.kt ├── PairTests.kt ├── PluginTests.kt ├── RecordErrorTests.kt ├── RecordHappyTests.kt ├── SetErrorTests.kt ├── SetHappyTests.kt ├── StaticPluginErrorTests.kt ├── StaticPluginHappyTests.kt ├── StringTests.kt ├── TestUtils.kt ├── TransportTests.kt └── TutorialTests.kt └── semantics └── core └── TopologicalSortTest.kt /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/README.md -------------------------------------------------------------------------------- /gradle.properties: -------------------------------------------------------------------------------- 1 | kotlin.code.style=official 2 | -------------------------------------------------------------------------------- /gradle/wrapper/gradle-wrapper.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/gradle/wrapper/gradle-wrapper.jar -------------------------------------------------------------------------------- /gradle/wrapper/gradle-wrapper.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/gradle/wrapper/gradle-wrapper.properties -------------------------------------------------------------------------------- /gradlew: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/gradlew -------------------------------------------------------------------------------- /gradlew.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/gradlew.bat -------------------------------------------------------------------------------- /settings.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/settings.gradle.kts -------------------------------------------------------------------------------- /src/main/antlr/MoiraiLexer.g4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/antlr/MoiraiLexer.g4 -------------------------------------------------------------------------------- /src/main/antlr/MoiraiParser.g4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/antlr/MoiraiParser.g4 -------------------------------------------------------------------------------- /src/main/kotlin/moirai/composition/AstParseTreeVisitor.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/composition/AstParseTreeVisitor.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/composition/CompilerFrontend.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/composition/CompilerFrontend.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/composition/ExecutionCache.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/composition/ExecutionCache.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/composition/Imports.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/composition/Imports.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/composition/ImportsParseTreeListener.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/composition/ImportsParseTreeListener.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/composition/Parsing.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/composition/Parsing.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/composition/PluginInstantiationValidation.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/composition/PluginInstantiationValidation.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/composition/PluginsParseTreeListener.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/composition/PluginsParseTreeListener.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/composition/ProcessPlugins.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/composition/ProcessPlugins.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/composition/ScriptType.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/composition/ScriptType.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/composition/SourceStore.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/composition/SourceStore.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/composition/SyntaxErrorListener.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/composition/SyntaxErrorListener.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/composition/TypeLiteralParseTreeVisitor.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/composition/TypeLiteralParseTreeVisitor.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/eval/EvalAstVisitor.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/eval/EvalAstVisitor.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/eval/EvalWithCost.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/eval/EvalWithCost.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/eval/Plugins.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/eval/Plugins.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/eval/UserPlugin.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/eval/UserPlugin.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/eval/Value.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/eval/Value.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/core/Architecture.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/core/Architecture.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/core/Ast.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/core/Ast.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/core/AstVisitor.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/core/AstVisitor.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/core/Constructs.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/core/Constructs.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/core/CostExpression.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/core/CostExpression.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/core/Errors.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/core/Errors.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/core/FeatureSupport.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/core/FeatureSupport.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/core/InstantiationValidation.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/core/InstantiationValidation.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/core/RawTerminus.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/core/RawTerminus.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/core/Scope.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/core/Scope.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/core/Signifier.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/core/Signifier.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/core/StringMechanics.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/core/StringMechanics.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/core/Symbol.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/core/Symbol.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/core/SymbolSlots.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/core/SymbolSlots.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/core/TopologicalSort.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/core/TopologicalSort.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/core/Type.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/core/Type.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/core/TypeMechanics.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/core/TypeMechanics.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/infer/Constraint.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/infer/Constraint.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/infer/ConstraintInstantiations.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/infer/ConstraintInstantiations.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/infer/DecimalInstantiationValidation.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/infer/DecimalInstantiationValidation.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/infer/DictionaryInstantiations.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/infer/DictionaryInstantiations.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/infer/InstantiationChain.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/infer/InstantiationChain.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/infer/ListInstantiations.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/infer/ListInstantiations.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/infer/PluginInstantiations.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/infer/PluginInstantiations.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/infer/SetInstantiations.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/infer/SetInstantiations.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/infer/StaticInstantiations.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/infer/StaticInstantiations.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/infer/StringInstantiationValidation.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/infer/StringInstantiationValidation.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/infer/Substitution.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/infer/Substitution.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/prelude/DecimalOpMembers.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/prelude/DecimalOpMembers.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/prelude/DictionaryTypes.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/prelude/DictionaryTypes.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/prelude/EqualityMembers.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/prelude/EqualityMembers.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/prelude/Lang.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/prelude/Lang.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/prelude/ListTypes.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/prelude/ListTypes.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/prelude/OpMembers.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/prelude/OpMembers.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/prelude/Operators.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/prelude/Operators.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/prelude/SetTypes.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/prelude/SetTypes.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/prelude/StaticPlugins.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/prelude/StaticPlugins.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/prelude/StringOpMembers.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/prelude/StringOpMembers.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/prelude/StringTypes.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/prelude/StringTypes.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/visitors/BanFeaturePositionsAstVisitor.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/visitors/BanFeaturePositionsAstVisitor.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/visitors/BanHigherOrderRefAstVisitor.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/visitors/BanHigherOrderRefAstVisitor.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/visitors/BanNestedDefinitionAstVisitor.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/visitors/BanNestedDefinitionAstVisitor.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/visitors/BanSecondDegreeAstVisitor.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/visitors/BanSecondDegreeAstVisitor.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/visitors/BindScopesAstVisitor.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/visitors/BindScopesAstVisitor.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/visitors/CheckTypesAstVisitor.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/visitors/CheckTypesAstVisitor.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/visitors/CostExpressionAstVisitor.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/visitors/CostExpressionAstVisitor.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/visitors/CostMultiplierAstVisitor.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/visitors/CostMultiplierAstVisitor.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/visitors/FinDebuggerAstVisitor.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/visitors/FinDebuggerAstVisitor.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/visitors/FunctionScanAstVisitor.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/visitors/FunctionScanAstVisitor.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/visitors/GenerateFunctionEdgesAstVisitor.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/visitors/GenerateFunctionEdgesAstVisitor.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/visitors/GenerateRecordEdgesAstVisitor.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/visitors/GenerateRecordEdgesAstVisitor.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/visitors/ParameterScanAstVisitor.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/visitors/ParameterScanAstVisitor.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/visitors/PropagateTypesAstVisitor.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/visitors/PropagateTypesAstVisitor.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/visitors/RecordScanAstVisitor.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/visitors/RecordScanAstVisitor.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/visitors/UnitVisitors.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/visitors/UnitVisitors.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/workflow/Phases.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/workflow/Phases.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/semantics/workflow/ProcessAst.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/semantics/workflow/ProcessAst.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/transport/TransportAst.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/transport/TransportAst.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/transport/TransportFunctions.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/transport/TransportFunctions.kt -------------------------------------------------------------------------------- /src/main/kotlin/moirai/transport/TransportTypes.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/main/kotlin/moirai/transport/TransportTypes.kt -------------------------------------------------------------------------------- /src/test/kotlin/moirai/acceptance/AscribeTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/test/kotlin/moirai/acceptance/AscribeTests.kt -------------------------------------------------------------------------------- /src/test/kotlin/moirai/acceptance/AssignTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/test/kotlin/moirai/acceptance/AssignTests.kt -------------------------------------------------------------------------------- /src/test/kotlin/moirai/acceptance/BanTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/test/kotlin/moirai/acceptance/BanTests.kt -------------------------------------------------------------------------------- /src/test/kotlin/moirai/acceptance/BranchHappyTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/test/kotlin/moirai/acceptance/BranchHappyTests.kt -------------------------------------------------------------------------------- /src/test/kotlin/moirai/acceptance/CostTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/test/kotlin/moirai/acceptance/CostTests.kt -------------------------------------------------------------------------------- /src/test/kotlin/moirai/acceptance/DictionaryErrorTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/test/kotlin/moirai/acceptance/DictionaryErrorTests.kt -------------------------------------------------------------------------------- /src/test/kotlin/moirai/acceptance/DictionaryHappyTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/test/kotlin/moirai/acceptance/DictionaryHappyTests.kt -------------------------------------------------------------------------------- /src/test/kotlin/moirai/acceptance/EitherErrorTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/test/kotlin/moirai/acceptance/EitherErrorTests.kt -------------------------------------------------------------------------------- /src/test/kotlin/moirai/acceptance/EitherHappyTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/test/kotlin/moirai/acceptance/EitherHappyTests.kt -------------------------------------------------------------------------------- /src/test/kotlin/moirai/acceptance/EqualityTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/test/kotlin/moirai/acceptance/EqualityTests.kt -------------------------------------------------------------------------------- /src/test/kotlin/moirai/acceptance/ExpressionTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/test/kotlin/moirai/acceptance/ExpressionTests.kt -------------------------------------------------------------------------------- /src/test/kotlin/moirai/acceptance/FunctionErrorTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/test/kotlin/moirai/acceptance/FunctionErrorTests.kt -------------------------------------------------------------------------------- /src/test/kotlin/moirai/acceptance/FunctionHappyTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/test/kotlin/moirai/acceptance/FunctionHappyTests.kt -------------------------------------------------------------------------------- /src/test/kotlin/moirai/acceptance/GeneratedDecimalExpressionTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/test/kotlin/moirai/acceptance/GeneratedDecimalExpressionTests.kt -------------------------------------------------------------------------------- /src/test/kotlin/moirai/acceptance/GeneratedIntegerExpressionTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/test/kotlin/moirai/acceptance/GeneratedIntegerExpressionTests.kt -------------------------------------------------------------------------------- /src/test/kotlin/moirai/acceptance/ImportErrorTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/test/kotlin/moirai/acceptance/ImportErrorTests.kt -------------------------------------------------------------------------------- /src/test/kotlin/moirai/acceptance/ImportHappyTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/test/kotlin/moirai/acceptance/ImportHappyTests.kt -------------------------------------------------------------------------------- /src/test/kotlin/moirai/acceptance/LambdaErrorTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/test/kotlin/moirai/acceptance/LambdaErrorTests.kt -------------------------------------------------------------------------------- /src/test/kotlin/moirai/acceptance/LambdaHappyTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/test/kotlin/moirai/acceptance/LambdaHappyTests.kt -------------------------------------------------------------------------------- /src/test/kotlin/moirai/acceptance/ListErrorTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/test/kotlin/moirai/acceptance/ListErrorTests.kt -------------------------------------------------------------------------------- /src/test/kotlin/moirai/acceptance/ListHappyTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/test/kotlin/moirai/acceptance/ListHappyTests.kt -------------------------------------------------------------------------------- /src/test/kotlin/moirai/acceptance/LiteralTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/test/kotlin/moirai/acceptance/LiteralTests.kt -------------------------------------------------------------------------------- /src/test/kotlin/moirai/acceptance/OptionErrorTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/test/kotlin/moirai/acceptance/OptionErrorTests.kt -------------------------------------------------------------------------------- /src/test/kotlin/moirai/acceptance/OptionHappyTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/test/kotlin/moirai/acceptance/OptionHappyTests.kt -------------------------------------------------------------------------------- /src/test/kotlin/moirai/acceptance/PairTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/test/kotlin/moirai/acceptance/PairTests.kt -------------------------------------------------------------------------------- /src/test/kotlin/moirai/acceptance/PluginTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/test/kotlin/moirai/acceptance/PluginTests.kt -------------------------------------------------------------------------------- /src/test/kotlin/moirai/acceptance/RecordErrorTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/test/kotlin/moirai/acceptance/RecordErrorTests.kt -------------------------------------------------------------------------------- /src/test/kotlin/moirai/acceptance/RecordHappyTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/test/kotlin/moirai/acceptance/RecordHappyTests.kt -------------------------------------------------------------------------------- /src/test/kotlin/moirai/acceptance/SetErrorTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/test/kotlin/moirai/acceptance/SetErrorTests.kt -------------------------------------------------------------------------------- /src/test/kotlin/moirai/acceptance/SetHappyTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/test/kotlin/moirai/acceptance/SetHappyTests.kt -------------------------------------------------------------------------------- /src/test/kotlin/moirai/acceptance/StaticPluginErrorTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/test/kotlin/moirai/acceptance/StaticPluginErrorTests.kt -------------------------------------------------------------------------------- /src/test/kotlin/moirai/acceptance/StaticPluginHappyTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/test/kotlin/moirai/acceptance/StaticPluginHappyTests.kt -------------------------------------------------------------------------------- /src/test/kotlin/moirai/acceptance/StringTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/test/kotlin/moirai/acceptance/StringTests.kt -------------------------------------------------------------------------------- /src/test/kotlin/moirai/acceptance/TestUtils.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/test/kotlin/moirai/acceptance/TestUtils.kt -------------------------------------------------------------------------------- /src/test/kotlin/moirai/acceptance/TransportTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/test/kotlin/moirai/acceptance/TransportTests.kt -------------------------------------------------------------------------------- /src/test/kotlin/moirai/acceptance/TutorialTests.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/test/kotlin/moirai/acceptance/TutorialTests.kt -------------------------------------------------------------------------------- /src/test/kotlin/moirai/semantics/core/TopologicalSortTest.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/moirai-lang/moirai-kt/HEAD/src/test/kotlin/moirai/semantics/core/TopologicalSortTest.kt --------------------------------------------------------------------------------