├── .config └── dotnet-tools.json ├── .devcontainer ├── Dockerfile └── devcontainer.json ├── .editorconfig ├── .fantomasignore ├── .gitattributes ├── .github └── workflows │ └── ci.yaml ├── .gitignore ├── LICENSE ├── Litsu.Run ├── Library.fs ├── Library.fsi └── Litsu.Run.fsproj ├── Litsu.Testing ├── .gitignore ├── Litsu.Testing.fsproj ├── Main.fs ├── Settings.fs └── Tests.fs ├── Litsu.sln ├── Litsu ├── .gitignore ├── Codegen.fs ├── Codegen.fsi ├── Compiler.fs ├── Compiler.fsi ├── LexYaccLexer.fsi ├── LexYaccLexer.fsl ├── LexYaccParser.fsi ├── LexYaccParser.fsy ├── Litsu.fsproj ├── Parser.fs ├── Parser.fsi ├── SyntaxTree.fs ├── SyntaxTree.fsi ├── Type.fs ├── Type.fsi ├── TypeEnv.fs ├── TypeEnv.fsi ├── Typing.fs └── Typing.fsi ├── README.md ├── litc ├── Main.fs └── litc.fsproj ├── tests ├── comment_unterminated.fail.lit ├── comments.lit ├── eq.lit ├── expr.lit ├── fail.lit ├── fib.lit ├── if.lit ├── let.lit ├── let_fun.lit ├── string.lit └── unit.lit ├── verified_output ├── tests.comments.lit.verified.txt ├── tests.eq.lit.verified.txt ├── tests.expr.lit.verified.txt ├── tests.fib.lit.verified.txt ├── tests.if.lit.verified.txt ├── tests.let.lit.verified.txt ├── tests.let_fun.lit.verified.txt ├── tests.string.lit.verified.txt └── tests.unit.lit.verified.txt └── z.yaml /.config/dotnet-tools.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/.config/dotnet-tools.json -------------------------------------------------------------------------------- /.devcontainer/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/.devcontainer/Dockerfile -------------------------------------------------------------------------------- /.devcontainer/devcontainer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/.devcontainer/devcontainer.json -------------------------------------------------------------------------------- /.editorconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/.editorconfig -------------------------------------------------------------------------------- /.fantomasignore: -------------------------------------------------------------------------------- 1 | LexYacc* 2 | -------------------------------------------------------------------------------- /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/.gitattributes -------------------------------------------------------------------------------- /.github/workflows/ci.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/.github/workflows/ci.yaml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/LICENSE -------------------------------------------------------------------------------- /Litsu.Run/Library.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/Litsu.Run/Library.fs -------------------------------------------------------------------------------- /Litsu.Run/Library.fsi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/Litsu.Run/Library.fsi -------------------------------------------------------------------------------- /Litsu.Run/Litsu.Run.fsproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/Litsu.Run/Litsu.Run.fsproj -------------------------------------------------------------------------------- /Litsu.Testing/.gitignore: -------------------------------------------------------------------------------- 1 | *.received.* 2 | -------------------------------------------------------------------------------- /Litsu.Testing/Litsu.Testing.fsproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/Litsu.Testing/Litsu.Testing.fsproj -------------------------------------------------------------------------------- /Litsu.Testing/Main.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/Litsu.Testing/Main.fs -------------------------------------------------------------------------------- /Litsu.Testing/Settings.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/Litsu.Testing/Settings.fs -------------------------------------------------------------------------------- /Litsu.Testing/Tests.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/Litsu.Testing/Tests.fs -------------------------------------------------------------------------------- /Litsu.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/Litsu.sln -------------------------------------------------------------------------------- /Litsu/.gitignore: -------------------------------------------------------------------------------- 1 | LexYacc*.fs 2 | -------------------------------------------------------------------------------- /Litsu/Codegen.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/Litsu/Codegen.fs -------------------------------------------------------------------------------- /Litsu/Codegen.fsi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/Litsu/Codegen.fsi -------------------------------------------------------------------------------- /Litsu/Compiler.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/Litsu/Compiler.fs -------------------------------------------------------------------------------- /Litsu/Compiler.fsi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/Litsu/Compiler.fsi -------------------------------------------------------------------------------- /Litsu/LexYaccLexer.fsi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/Litsu/LexYaccLexer.fsi -------------------------------------------------------------------------------- /Litsu/LexYaccLexer.fsl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/Litsu/LexYaccLexer.fsl -------------------------------------------------------------------------------- /Litsu/LexYaccParser.fsi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/Litsu/LexYaccParser.fsi -------------------------------------------------------------------------------- /Litsu/LexYaccParser.fsy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/Litsu/LexYaccParser.fsy -------------------------------------------------------------------------------- /Litsu/Litsu.fsproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/Litsu/Litsu.fsproj -------------------------------------------------------------------------------- /Litsu/Parser.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/Litsu/Parser.fs -------------------------------------------------------------------------------- /Litsu/Parser.fsi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/Litsu/Parser.fsi -------------------------------------------------------------------------------- /Litsu/SyntaxTree.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/Litsu/SyntaxTree.fs -------------------------------------------------------------------------------- /Litsu/SyntaxTree.fsi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/Litsu/SyntaxTree.fsi -------------------------------------------------------------------------------- /Litsu/Type.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/Litsu/Type.fs -------------------------------------------------------------------------------- /Litsu/Type.fsi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/Litsu/Type.fsi -------------------------------------------------------------------------------- /Litsu/TypeEnv.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/Litsu/TypeEnv.fs -------------------------------------------------------------------------------- /Litsu/TypeEnv.fsi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/Litsu/TypeEnv.fsi -------------------------------------------------------------------------------- /Litsu/Typing.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/Litsu/Typing.fs -------------------------------------------------------------------------------- /Litsu/Typing.fsi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/Litsu/Typing.fsi -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/README.md -------------------------------------------------------------------------------- /litc/Main.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/litc/Main.fs -------------------------------------------------------------------------------- /litc/litc.fsproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/litc/litc.fsproj -------------------------------------------------------------------------------- /tests/comment_unterminated.fail.lit: -------------------------------------------------------------------------------- 1 | (* (* *) 2 | -------------------------------------------------------------------------------- /tests/comments.lit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/tests/comments.lit -------------------------------------------------------------------------------- /tests/eq.lit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/tests/eq.lit -------------------------------------------------------------------------------- /tests/expr.lit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/tests/expr.lit -------------------------------------------------------------------------------- /tests/fail.lit: -------------------------------------------------------------------------------- 1 | 1 + 2 | -------------------------------------------------------------------------------- /tests/fib.lit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/tests/fib.lit -------------------------------------------------------------------------------- /tests/if.lit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/tests/if.lit -------------------------------------------------------------------------------- /tests/let.lit: -------------------------------------------------------------------------------- 1 | let n = 10 in n + 1; 2 | -------------------------------------------------------------------------------- /tests/let_fun.lit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/tests/let_fun.lit -------------------------------------------------------------------------------- /tests/string.lit: -------------------------------------------------------------------------------- 1 | "abc\"\\${x}"; 2 | -------------------------------------------------------------------------------- /tests/unit.lit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/tests/unit.lit -------------------------------------------------------------------------------- /verified_output/tests.comments.lit.verified.txt: -------------------------------------------------------------------------------- 1 | 0 2 | 2 3 | 4 4 | -------------------------------------------------------------------------------- /verified_output/tests.eq.lit.verified.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/verified_output/tests.eq.lit.verified.txt -------------------------------------------------------------------------------- /verified_output/tests.expr.lit.verified.txt: -------------------------------------------------------------------------------- 1 | 3 2 | 0 3 | -8 4 | 5 5 | 4 6 | -------------------------------------------------------------------------------- /verified_output/tests.fib.lit.verified.txt: -------------------------------------------------------------------------------- 1 | 55 2 | -------------------------------------------------------------------------------- /verified_output/tests.if.lit.verified.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/verified_output/tests.if.lit.verified.txt -------------------------------------------------------------------------------- /verified_output/tests.let.lit.verified.txt: -------------------------------------------------------------------------------- 1 | 11 2 | -------------------------------------------------------------------------------- /verified_output/tests.let_fun.lit.verified.txt: -------------------------------------------------------------------------------- 1 | unit 2 | 3 3 | 4 4 | 2 5 | -------------------------------------------------------------------------------- /verified_output/tests.string.lit.verified.txt: -------------------------------------------------------------------------------- 1 | abc"\${x} 2 | -------------------------------------------------------------------------------- /verified_output/tests.unit.lit.verified.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/verified_output/tests.unit.lit.verified.txt -------------------------------------------------------------------------------- /z.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cotowali/litsu/HEAD/z.yaml --------------------------------------------------------------------------------