├── .envrc ├── .github └── workflows │ └── test.yaml ├── .gitignore ├── .justfile ├── .ocamlformat ├── .vscode └── settings.json ├── LICENSE ├── README.md ├── dep-graph.png ├── dune-project ├── dune-workspace ├── examples ├── aoc │ └── 2024 │ │ ├── day01.input.txt │ │ └── day01.ks ├── current_scope.ks ├── custom-syntax.ks ├── doesnt-parse.ks ├── example.ks ├── fn-mod-bug.ks ├── generics.ks ├── guess-a-number.ks ├── hello.ks ├── import-test.ks ├── import-zero.ks ├── inference-bug.ks ├── lists.ks ├── lots-of-math.ks ├── mutual-recursion.ks ├── mutually-recursive-generic-types.ks ├── recursive-types.ks ├── refs.ks ├── test-interpreter.ks ├── transpile-ocaml-test.ks ├── treap.ks ├── variant-types.ks └── zero.ks ├── flake.lock ├── flake.nix ├── generated-ocaml ├── .gitignore ├── dune ├── generated_ocaml.ml └── natives.ml ├── lsp-stress-test ├── change.json ├── init.json ├── main.py └── open.json ├── ocaml-playground ├── Ocaml_playground.ml └── dune ├── src ├── ast │ ├── dune │ └── kast_ast.ml ├── compiler │ ├── cli │ │ ├── dune │ │ ├── kast_compiler_cli.ml │ │ └── kast_compiler_cli.mli │ ├── compiler.ml │ ├── compiler_types.ml │ ├── core_syntax.ml │ ├── dune │ ├── error.ml │ ├── init.ml │ ├── kast_compiler.ml │ └── state.ml ├── embedded_std │ ├── dune │ └── kast_embedded_std.ml ├── fmt │ ├── cli │ │ ├── dune │ │ ├── kast_fmt_cli.ml │ │ └── kast_fmt_cli.mli │ ├── dune │ ├── kast_fmt.ml │ └── kast_fmt.mli ├── highlight │ ├── cli │ │ ├── dune │ │ ├── kast_highlight_cli.ml │ │ └── kast_highlight_cli.mli │ ├── dune │ └── kast_highlight.ml ├── inference │ ├── base │ │ ├── dune │ │ ├── error.ml │ │ ├── kast_inference_base.ml │ │ └── kast_inference_base.mli │ ├── dune │ └── kast_inference.ml ├── interpreter │ ├── cli │ │ ├── dune │ │ ├── kast_interpreter_cli.ml │ │ └── kast_interpreter_cli.mli │ ├── common.ml │ ├── dune │ ├── error.ml │ ├── kast_interpreter.ml │ ├── natives.ml │ ├── scope.ml │ └── substitute_bindings.ml ├── kast │ ├── bin │ │ ├── cli.ml │ │ ├── dune │ │ └── main.ml │ ├── js │ │ ├── dune │ │ ├── index.html │ │ └── kast_js.ml │ └── lib │ │ ├── dune │ │ └── kast.ml ├── lexer │ ├── cli │ │ ├── dune │ │ ├── kast_lexer_cli.ml │ │ └── kast_lexer_cli.mli │ ├── dune │ ├── kast_lexer.ml │ ├── kast_lexer.mli │ ├── reader.ml │ └── test │ │ ├── dune │ │ └── test_kast_lexer.ml ├── lsp │ ├── cli │ │ ├── dune │ │ ├── kast_lsp_cli.ml │ │ ├── kast_lsp_cli.mli │ │ └── latest_state.ml │ ├── common.ml │ ├── completion.ml │ ├── diagnostics.ml │ ├── dune │ ├── formatting.ml │ ├── hover.ml │ ├── inlay_hints.ml │ ├── processing.ml │ ├── selection_range.ml │ └── semantic_tokens.ml ├── parser │ ├── cli │ │ ├── dune │ │ ├── kast_parser_cli.ml │ │ └── kast_parser_cli.mli │ ├── dune │ ├── error.ml │ ├── impl.ml │ ├── kast_parser.ml │ ├── parsed_part.ml │ ├── rule.ml │ ├── ruleset.ml │ └── test │ │ ├── dune │ │ └── test_kast_parser.ml ├── ppx_include_dir │ ├── dir │ │ ├── dune │ │ └── included_dir.ml │ ├── dune │ └── ppx_include_dir.ml ├── profiling │ ├── dune │ └── kast_profiling.ml ├── std │ ├── array.ml │ ├── bool.ml │ ├── char.ml │ ├── dune │ ├── effect.ml │ ├── format.ml │ ├── int.ml │ ├── list.ml │ ├── log.ml │ ├── option.ml │ ├── ord.ml │ ├── range.ml │ ├── return.ml │ ├── seq.ml │ ├── set.ml │ ├── std.ml │ └── string.ml ├── syntax │ ├── default │ │ ├── dune │ │ ├── kast_default_syntax.ml │ │ └── rules.ks │ ├── dune │ ├── kast_syntax.ml │ └── simple │ │ ├── dune │ │ ├── kast_simple_syntax.ml │ │ └── rules.ks ├── token │ ├── dune │ └── kast_token.ml ├── types │ ├── dune │ ├── inference_impl.ml │ ├── kast_types.ml │ ├── label.ml │ ├── print.ml │ ├── row.ml │ └── types.ml └── util │ ├── dune │ ├── id.ml │ ├── kast_util.ml │ ├── recurse_cache.ml │ ├── source.ml │ ├── symbol.ml │ └── tuple.ml ├── std ├── char.ks ├── cmp.ks ├── collections │ ├── _mod.ks │ ├── list.ks │ ├── queue.ks │ └── treap.ks ├── convert.ks ├── dbg.ks ├── fs │ └── _mod.ks ├── io │ └── _mod.ks ├── lib.ks ├── op.ks ├── path.ks ├── prelude.ks ├── rng │ └── _mod.ks ├── string.ks ├── syntax.ks └── sys │ └── _mod.ks └── workspace.ks /.envrc: -------------------------------------------------------------------------------- 1 | use flake 2 | -------------------------------------------------------------------------------- /.github/workflows/test.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/.github/workflows/test.yaml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/.gitignore -------------------------------------------------------------------------------- /.justfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/.justfile -------------------------------------------------------------------------------- /.ocamlformat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/.ocamlformat -------------------------------------------------------------------------------- /.vscode/settings.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/.vscode/settings.json -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/README.md -------------------------------------------------------------------------------- /dep-graph.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/dep-graph.png -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/dune-project -------------------------------------------------------------------------------- /dune-workspace: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/dune-workspace -------------------------------------------------------------------------------- /examples/aoc/2024/day01.input.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/examples/aoc/2024/day01.input.txt -------------------------------------------------------------------------------- /examples/aoc/2024/day01.ks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/examples/aoc/2024/day01.ks -------------------------------------------------------------------------------- /examples/current_scope.ks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/examples/current_scope.ks -------------------------------------------------------------------------------- /examples/custom-syntax.ks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/examples/custom-syntax.ks -------------------------------------------------------------------------------- /examples/doesnt-parse.ks: -------------------------------------------------------------------------------- 1 | std.io.print (("hello, world" + )) -------------------------------------------------------------------------------- /examples/example.ks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/examples/example.ks -------------------------------------------------------------------------------- /examples/fn-mod-bug.ks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/examples/fn-mod-bug.ks -------------------------------------------------------------------------------- /examples/generics.ks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/examples/generics.ks -------------------------------------------------------------------------------- /examples/guess-a-number.ks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/examples/guess-a-number.ks -------------------------------------------------------------------------------- /examples/hello.ks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/examples/hello.ks -------------------------------------------------------------------------------- /examples/import-test.ks: -------------------------------------------------------------------------------- 1 | let x :: string = 0; 2 | type () 3 | -------------------------------------------------------------------------------- /examples/import-zero.ks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/examples/import-zero.ks -------------------------------------------------------------------------------- /examples/inference-bug.ks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/examples/inference-bug.ks -------------------------------------------------------------------------------- /examples/lists.ks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/examples/lists.ks -------------------------------------------------------------------------------- /examples/lots-of-math.ks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/examples/lots-of-math.ks -------------------------------------------------------------------------------- /examples/mutual-recursion.ks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/examples/mutual-recursion.ks -------------------------------------------------------------------------------- /examples/mutually-recursive-generic-types.ks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/examples/mutually-recursive-generic-types.ks -------------------------------------------------------------------------------- /examples/recursive-types.ks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/examples/recursive-types.ks -------------------------------------------------------------------------------- /examples/refs.ks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/examples/refs.ks -------------------------------------------------------------------------------- /examples/test-interpreter.ks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/examples/test-interpreter.ks -------------------------------------------------------------------------------- /examples/transpile-ocaml-test.ks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/examples/transpile-ocaml-test.ks -------------------------------------------------------------------------------- /examples/treap.ks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/examples/treap.ks -------------------------------------------------------------------------------- /examples/variant-types.ks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/examples/variant-types.ks -------------------------------------------------------------------------------- /examples/zero.ks: -------------------------------------------------------------------------------- 1 | 0 :: std.int32 2 | -------------------------------------------------------------------------------- /flake.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/flake.lock -------------------------------------------------------------------------------- /flake.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/flake.nix -------------------------------------------------------------------------------- /generated-ocaml/.gitignore: -------------------------------------------------------------------------------- 1 | /generated_ocaml.ml -------------------------------------------------------------------------------- /generated-ocaml/dune: -------------------------------------------------------------------------------- 1 | (executable 2 | (name generated_ocaml)) 3 | -------------------------------------------------------------------------------- /generated-ocaml/generated_ocaml.ml: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /generated-ocaml/natives.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/generated-ocaml/natives.ml -------------------------------------------------------------------------------- /lsp-stress-test/change.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/lsp-stress-test/change.json -------------------------------------------------------------------------------- /lsp-stress-test/init.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/lsp-stress-test/init.json -------------------------------------------------------------------------------- /lsp-stress-test/main.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/lsp-stress-test/main.py -------------------------------------------------------------------------------- /lsp-stress-test/open.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/lsp-stress-test/open.json -------------------------------------------------------------------------------- /ocaml-playground/Ocaml_playground.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/ocaml-playground/Ocaml_playground.ml -------------------------------------------------------------------------------- /ocaml-playground/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/ocaml-playground/dune -------------------------------------------------------------------------------- /src/ast/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/ast/dune -------------------------------------------------------------------------------- /src/ast/kast_ast.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/ast/kast_ast.ml -------------------------------------------------------------------------------- /src/compiler/cli/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/compiler/cli/dune -------------------------------------------------------------------------------- /src/compiler/cli/kast_compiler_cli.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/compiler/cli/kast_compiler_cli.ml -------------------------------------------------------------------------------- /src/compiler/cli/kast_compiler_cli.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/compiler/cli/kast_compiler_cli.mli -------------------------------------------------------------------------------- /src/compiler/compiler.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/compiler/compiler.ml -------------------------------------------------------------------------------- /src/compiler/compiler_types.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/compiler/compiler_types.ml -------------------------------------------------------------------------------- /src/compiler/core_syntax.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/compiler/core_syntax.ml -------------------------------------------------------------------------------- /src/compiler/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/compiler/dune -------------------------------------------------------------------------------- /src/compiler/error.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/compiler/error.ml -------------------------------------------------------------------------------- /src/compiler/init.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/compiler/init.ml -------------------------------------------------------------------------------- /src/compiler/kast_compiler.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/compiler/kast_compiler.ml -------------------------------------------------------------------------------- /src/compiler/state.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/compiler/state.ml -------------------------------------------------------------------------------- /src/embedded_std/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/embedded_std/dune -------------------------------------------------------------------------------- /src/embedded_std/kast_embedded_std.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/embedded_std/kast_embedded_std.ml -------------------------------------------------------------------------------- /src/fmt/cli/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/fmt/cli/dune -------------------------------------------------------------------------------- /src/fmt/cli/kast_fmt_cli.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/fmt/cli/kast_fmt_cli.ml -------------------------------------------------------------------------------- /src/fmt/cli/kast_fmt_cli.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/fmt/cli/kast_fmt_cli.mli -------------------------------------------------------------------------------- /src/fmt/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/fmt/dune -------------------------------------------------------------------------------- /src/fmt/kast_fmt.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/fmt/kast_fmt.ml -------------------------------------------------------------------------------- /src/fmt/kast_fmt.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/fmt/kast_fmt.mli -------------------------------------------------------------------------------- /src/highlight/cli/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/highlight/cli/dune -------------------------------------------------------------------------------- /src/highlight/cli/kast_highlight_cli.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/highlight/cli/kast_highlight_cli.ml -------------------------------------------------------------------------------- /src/highlight/cli/kast_highlight_cli.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/highlight/cli/kast_highlight_cli.mli -------------------------------------------------------------------------------- /src/highlight/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/highlight/dune -------------------------------------------------------------------------------- /src/highlight/kast_highlight.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/highlight/kast_highlight.ml -------------------------------------------------------------------------------- /src/inference/base/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/inference/base/dune -------------------------------------------------------------------------------- /src/inference/base/error.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/inference/base/error.ml -------------------------------------------------------------------------------- /src/inference/base/kast_inference_base.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/inference/base/kast_inference_base.ml -------------------------------------------------------------------------------- /src/inference/base/kast_inference_base.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/inference/base/kast_inference_base.mli -------------------------------------------------------------------------------- /src/inference/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/inference/dune -------------------------------------------------------------------------------- /src/inference/kast_inference.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/inference/kast_inference.ml -------------------------------------------------------------------------------- /src/interpreter/cli/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/interpreter/cli/dune -------------------------------------------------------------------------------- /src/interpreter/cli/kast_interpreter_cli.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/interpreter/cli/kast_interpreter_cli.ml -------------------------------------------------------------------------------- /src/interpreter/cli/kast_interpreter_cli.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/interpreter/cli/kast_interpreter_cli.mli -------------------------------------------------------------------------------- /src/interpreter/common.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/interpreter/common.ml -------------------------------------------------------------------------------- /src/interpreter/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/interpreter/dune -------------------------------------------------------------------------------- /src/interpreter/error.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/interpreter/error.ml -------------------------------------------------------------------------------- /src/interpreter/kast_interpreter.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/interpreter/kast_interpreter.ml -------------------------------------------------------------------------------- /src/interpreter/natives.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/interpreter/natives.ml -------------------------------------------------------------------------------- /src/interpreter/scope.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/interpreter/scope.ml -------------------------------------------------------------------------------- /src/interpreter/substitute_bindings.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/interpreter/substitute_bindings.ml -------------------------------------------------------------------------------- /src/kast/bin/cli.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/kast/bin/cli.ml -------------------------------------------------------------------------------- /src/kast/bin/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/kast/bin/dune -------------------------------------------------------------------------------- /src/kast/bin/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/kast/bin/main.ml -------------------------------------------------------------------------------- /src/kast/js/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/kast/js/dune -------------------------------------------------------------------------------- /src/kast/js/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/kast/js/index.html -------------------------------------------------------------------------------- /src/kast/js/kast_js.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/kast/js/kast_js.ml -------------------------------------------------------------------------------- /src/kast/lib/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/kast/lib/dune -------------------------------------------------------------------------------- /src/kast/lib/kast.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/kast/lib/kast.ml -------------------------------------------------------------------------------- /src/lexer/cli/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/lexer/cli/dune -------------------------------------------------------------------------------- /src/lexer/cli/kast_lexer_cli.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/lexer/cli/kast_lexer_cli.ml -------------------------------------------------------------------------------- /src/lexer/cli/kast_lexer_cli.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/lexer/cli/kast_lexer_cli.mli -------------------------------------------------------------------------------- /src/lexer/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/lexer/dune -------------------------------------------------------------------------------- /src/lexer/kast_lexer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/lexer/kast_lexer.ml -------------------------------------------------------------------------------- /src/lexer/kast_lexer.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/lexer/kast_lexer.mli -------------------------------------------------------------------------------- /src/lexer/reader.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/lexer/reader.ml -------------------------------------------------------------------------------- /src/lexer/test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/lexer/test/dune -------------------------------------------------------------------------------- /src/lexer/test/test_kast_lexer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/lexer/test/test_kast_lexer.ml -------------------------------------------------------------------------------- /src/lsp/cli/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/lsp/cli/dune -------------------------------------------------------------------------------- /src/lsp/cli/kast_lsp_cli.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/lsp/cli/kast_lsp_cli.ml -------------------------------------------------------------------------------- /src/lsp/cli/kast_lsp_cli.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/lsp/cli/kast_lsp_cli.mli -------------------------------------------------------------------------------- /src/lsp/cli/latest_state.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/lsp/cli/latest_state.ml -------------------------------------------------------------------------------- /src/lsp/common.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/lsp/common.ml -------------------------------------------------------------------------------- /src/lsp/completion.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/lsp/completion.ml -------------------------------------------------------------------------------- /src/lsp/diagnostics.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/lsp/diagnostics.ml -------------------------------------------------------------------------------- /src/lsp/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/lsp/dune -------------------------------------------------------------------------------- /src/lsp/formatting.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/lsp/formatting.ml -------------------------------------------------------------------------------- /src/lsp/hover.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/lsp/hover.ml -------------------------------------------------------------------------------- /src/lsp/inlay_hints.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/lsp/inlay_hints.ml -------------------------------------------------------------------------------- /src/lsp/processing.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/lsp/processing.ml -------------------------------------------------------------------------------- /src/lsp/selection_range.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/lsp/selection_range.ml -------------------------------------------------------------------------------- /src/lsp/semantic_tokens.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/lsp/semantic_tokens.ml -------------------------------------------------------------------------------- /src/parser/cli/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/parser/cli/dune -------------------------------------------------------------------------------- /src/parser/cli/kast_parser_cli.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/parser/cli/kast_parser_cli.ml -------------------------------------------------------------------------------- /src/parser/cli/kast_parser_cli.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/parser/cli/kast_parser_cli.mli -------------------------------------------------------------------------------- /src/parser/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/parser/dune -------------------------------------------------------------------------------- /src/parser/error.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/parser/error.ml -------------------------------------------------------------------------------- /src/parser/impl.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/parser/impl.ml -------------------------------------------------------------------------------- /src/parser/kast_parser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/parser/kast_parser.ml -------------------------------------------------------------------------------- /src/parser/parsed_part.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/parser/parsed_part.ml -------------------------------------------------------------------------------- /src/parser/rule.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/parser/rule.ml -------------------------------------------------------------------------------- /src/parser/ruleset.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/parser/ruleset.ml -------------------------------------------------------------------------------- /src/parser/test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/parser/test/dune -------------------------------------------------------------------------------- /src/parser/test/test_kast_parser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/parser/test/test_kast_parser.ml -------------------------------------------------------------------------------- /src/ppx_include_dir/dir/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/ppx_include_dir/dir/dune -------------------------------------------------------------------------------- /src/ppx_include_dir/dir/included_dir.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/ppx_include_dir/dir/included_dir.ml -------------------------------------------------------------------------------- /src/ppx_include_dir/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/ppx_include_dir/dune -------------------------------------------------------------------------------- /src/ppx_include_dir/ppx_include_dir.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/ppx_include_dir/ppx_include_dir.ml -------------------------------------------------------------------------------- /src/profiling/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/profiling/dune -------------------------------------------------------------------------------- /src/profiling/kast_profiling.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/profiling/kast_profiling.ml -------------------------------------------------------------------------------- /src/std/array.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/std/array.ml -------------------------------------------------------------------------------- /src/std/bool.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/std/bool.ml -------------------------------------------------------------------------------- /src/std/char.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/std/char.ml -------------------------------------------------------------------------------- /src/std/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/std/dune -------------------------------------------------------------------------------- /src/std/effect.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/std/effect.ml -------------------------------------------------------------------------------- /src/std/format.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/std/format.ml -------------------------------------------------------------------------------- /src/std/int.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/std/int.ml -------------------------------------------------------------------------------- /src/std/list.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/std/list.ml -------------------------------------------------------------------------------- /src/std/log.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/std/log.ml -------------------------------------------------------------------------------- /src/std/option.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/std/option.ml -------------------------------------------------------------------------------- /src/std/ord.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/std/ord.ml -------------------------------------------------------------------------------- /src/std/range.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/std/range.ml -------------------------------------------------------------------------------- /src/std/return.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/std/return.ml -------------------------------------------------------------------------------- /src/std/seq.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/std/seq.ml -------------------------------------------------------------------------------- /src/std/set.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/std/set.ml -------------------------------------------------------------------------------- /src/std/std.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/std/std.ml -------------------------------------------------------------------------------- /src/std/string.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/std/string.ml -------------------------------------------------------------------------------- /src/syntax/default/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/syntax/default/dune -------------------------------------------------------------------------------- /src/syntax/default/kast_default_syntax.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/syntax/default/kast_default_syntax.ml -------------------------------------------------------------------------------- /src/syntax/default/rules.ks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/syntax/default/rules.ks -------------------------------------------------------------------------------- /src/syntax/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/syntax/dune -------------------------------------------------------------------------------- /src/syntax/kast_syntax.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/syntax/kast_syntax.ml -------------------------------------------------------------------------------- /src/syntax/simple/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/syntax/simple/dune -------------------------------------------------------------------------------- /src/syntax/simple/kast_simple_syntax.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/syntax/simple/kast_simple_syntax.ml -------------------------------------------------------------------------------- /src/syntax/simple/rules.ks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/syntax/simple/rules.ks -------------------------------------------------------------------------------- /src/token/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/token/dune -------------------------------------------------------------------------------- /src/token/kast_token.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/token/kast_token.ml -------------------------------------------------------------------------------- /src/types/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/types/dune -------------------------------------------------------------------------------- /src/types/inference_impl.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/types/inference_impl.ml -------------------------------------------------------------------------------- /src/types/kast_types.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/types/kast_types.ml -------------------------------------------------------------------------------- /src/types/label.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/types/label.ml -------------------------------------------------------------------------------- /src/types/print.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/types/print.ml -------------------------------------------------------------------------------- /src/types/row.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/types/row.ml -------------------------------------------------------------------------------- /src/types/types.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/types/types.ml -------------------------------------------------------------------------------- /src/util/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/util/dune -------------------------------------------------------------------------------- /src/util/id.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/util/id.ml -------------------------------------------------------------------------------- /src/util/kast_util.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/util/kast_util.ml -------------------------------------------------------------------------------- /src/util/recurse_cache.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/util/recurse_cache.ml -------------------------------------------------------------------------------- /src/util/source.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/util/source.ml -------------------------------------------------------------------------------- /src/util/symbol.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/util/symbol.ml -------------------------------------------------------------------------------- /src/util/tuple.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/src/util/tuple.ml -------------------------------------------------------------------------------- /std/char.ks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/std/char.ks -------------------------------------------------------------------------------- /std/cmp.ks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/std/cmp.ks -------------------------------------------------------------------------------- /std/collections/_mod.ks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/std/collections/_mod.ks -------------------------------------------------------------------------------- /std/collections/list.ks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/std/collections/list.ks -------------------------------------------------------------------------------- /std/collections/queue.ks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/std/collections/queue.ks -------------------------------------------------------------------------------- /std/collections/treap.ks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/std/collections/treap.ks -------------------------------------------------------------------------------- /std/convert.ks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/std/convert.ks -------------------------------------------------------------------------------- /std/dbg.ks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/std/dbg.ks -------------------------------------------------------------------------------- /std/fs/_mod.ks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/std/fs/_mod.ks -------------------------------------------------------------------------------- /std/io/_mod.ks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/std/io/_mod.ks -------------------------------------------------------------------------------- /std/lib.ks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/std/lib.ks -------------------------------------------------------------------------------- /std/op.ks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/std/op.ks -------------------------------------------------------------------------------- /std/path.ks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/std/path.ks -------------------------------------------------------------------------------- /std/prelude.ks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/std/prelude.ks -------------------------------------------------------------------------------- /std/rng/_mod.ks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/std/rng/_mod.ks -------------------------------------------------------------------------------- /std/string.ks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/std/string.ks -------------------------------------------------------------------------------- /std/syntax.ks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/std/syntax.ks -------------------------------------------------------------------------------- /std/sys/_mod.ks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/std/sys/_mod.ks -------------------------------------------------------------------------------- /workspace.ks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/kast-lang/kast/HEAD/workspace.ks --------------------------------------------------------------------------------