├── .build.yml ├── .gitignore ├── Cargo.lock ├── Cargo.toml ├── LICENSE ├── Notes ├── .ztr-directory ├── 20220506204442.md ├── 20220506205025.md ├── 20220509195321.md ├── 20220509195813.md └── temporary.md ├── README.md ├── paper ├── Makefile ├── biblio.bib ├── paper.pdf └── paper.tex ├── src ├── ast │ ├── mod.rs │ └── pretty.rs ├── bin │ ├── debug-lsp │ │ └── main.rs │ ├── tethys.rs │ └── uitest │ │ ├── header.rs │ │ ├── main.rs │ │ └── runners.rs ├── codegen │ ├── closure.rs │ ├── ir.rs │ ├── llvm.rs │ └── mod.rs ├── ctxt.rs ├── diag.rs ├── error.rs ├── intern.rs ├── lib.rs ├── parse │ └── mod.rs ├── resolve │ └── mod.rs └── typeck │ ├── ast.rs │ ├── mod.rs │ ├── norm.rs │ ├── pretty.rs │ └── unify.rs ├── support ├── README.md ├── examples │ └── fizzbuzz.tys ├── highlight │ ├── .vscodeignore │ ├── LICENSE │ ├── language-configuration.json │ ├── package.json │ ├── syntaxes │ │ └── tethys.tmLanguage.json │ └── tethys-lang-0.0.1.vsix ├── prelude.tys ├── testing.tys ├── tests │ └── resolve │ │ ├── tyvar-scope-1.tys │ │ ├── tyvar-scope-2.tys │ │ ├── tyvar-scope-3.tys │ │ ├── tyvar-scope-4.tys │ │ ├── tyvar-scope-5.tys │ │ └── tyvar-scope-6.tys ├── tethys-mode.el ├── tychk_nbe.ml ├── typeck.ml ├── typeck │ ├── .gitignore │ ├── .ocamlformat │ ├── bin │ │ ├── dune │ │ └── main.ml │ ├── dune-project │ ├── lib │ │ ├── dune │ │ └── typeck.ml │ ├── test │ │ ├── dune │ │ └── typeck.ml │ └── typeck.opam └── vim-tethys │ ├── README.md │ ├── ftdetect │ └── tethys.vim │ └── syntax │ └── tethys.vim └── tmp.tys /.build.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/.build.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/.gitignore -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/LICENSE -------------------------------------------------------------------------------- /Notes/.ztr-directory: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/Notes/.ztr-directory -------------------------------------------------------------------------------- /Notes/20220506204442.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/Notes/20220506204442.md -------------------------------------------------------------------------------- /Notes/20220506205025.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/Notes/20220506205025.md -------------------------------------------------------------------------------- /Notes/20220509195321.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/Notes/20220509195321.md -------------------------------------------------------------------------------- /Notes/20220509195813.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/Notes/20220509195813.md -------------------------------------------------------------------------------- /Notes/temporary.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/Notes/temporary.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/README.md -------------------------------------------------------------------------------- /paper/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/paper/Makefile -------------------------------------------------------------------------------- /paper/biblio.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/paper/biblio.bib -------------------------------------------------------------------------------- /paper/paper.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/paper/paper.pdf -------------------------------------------------------------------------------- /paper/paper.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/paper/paper.tex -------------------------------------------------------------------------------- /src/ast/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/src/ast/mod.rs -------------------------------------------------------------------------------- /src/ast/pretty.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/src/ast/pretty.rs -------------------------------------------------------------------------------- /src/bin/debug-lsp/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/src/bin/debug-lsp/main.rs -------------------------------------------------------------------------------- /src/bin/tethys.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/src/bin/tethys.rs -------------------------------------------------------------------------------- /src/bin/uitest/header.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/src/bin/uitest/header.rs -------------------------------------------------------------------------------- /src/bin/uitest/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/src/bin/uitest/main.rs -------------------------------------------------------------------------------- /src/bin/uitest/runners.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/src/bin/uitest/runners.rs -------------------------------------------------------------------------------- /src/codegen/closure.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/src/codegen/closure.rs -------------------------------------------------------------------------------- /src/codegen/ir.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/src/codegen/ir.rs -------------------------------------------------------------------------------- /src/codegen/llvm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/src/codegen/llvm.rs -------------------------------------------------------------------------------- /src/codegen/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/src/codegen/mod.rs -------------------------------------------------------------------------------- /src/ctxt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/src/ctxt.rs -------------------------------------------------------------------------------- /src/diag.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/src/diag.rs -------------------------------------------------------------------------------- /src/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/src/error.rs -------------------------------------------------------------------------------- /src/intern.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/src/intern.rs -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/parse/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/src/parse/mod.rs -------------------------------------------------------------------------------- /src/resolve/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/src/resolve/mod.rs -------------------------------------------------------------------------------- /src/typeck/ast.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/src/typeck/ast.rs -------------------------------------------------------------------------------- /src/typeck/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/src/typeck/mod.rs -------------------------------------------------------------------------------- /src/typeck/norm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/src/typeck/norm.rs -------------------------------------------------------------------------------- /src/typeck/pretty.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/src/typeck/pretty.rs -------------------------------------------------------------------------------- /src/typeck/unify.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/src/typeck/unify.rs -------------------------------------------------------------------------------- /support/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/support/README.md -------------------------------------------------------------------------------- /support/examples/fizzbuzz.tys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/support/examples/fizzbuzz.tys -------------------------------------------------------------------------------- /support/highlight/.vscodeignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/support/highlight/.vscodeignore -------------------------------------------------------------------------------- /support/highlight/LICENSE: -------------------------------------------------------------------------------- 1 | ../LICENSE -------------------------------------------------------------------------------- /support/highlight/language-configuration.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/support/highlight/language-configuration.json -------------------------------------------------------------------------------- /support/highlight/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/support/highlight/package.json -------------------------------------------------------------------------------- /support/highlight/syntaxes/tethys.tmLanguage.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/support/highlight/syntaxes/tethys.tmLanguage.json -------------------------------------------------------------------------------- /support/highlight/tethys-lang-0.0.1.vsix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/support/highlight/tethys-lang-0.0.1.vsix -------------------------------------------------------------------------------- /support/prelude.tys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/support/prelude.tys -------------------------------------------------------------------------------- /support/testing.tys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/support/testing.tys -------------------------------------------------------------------------------- /support/tests/resolve/tyvar-scope-1.tys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/support/tests/resolve/tyvar-scope-1.tys -------------------------------------------------------------------------------- /support/tests/resolve/tyvar-scope-2.tys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/support/tests/resolve/tyvar-scope-2.tys -------------------------------------------------------------------------------- /support/tests/resolve/tyvar-scope-3.tys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/support/tests/resolve/tyvar-scope-3.tys -------------------------------------------------------------------------------- /support/tests/resolve/tyvar-scope-4.tys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/support/tests/resolve/tyvar-scope-4.tys -------------------------------------------------------------------------------- /support/tests/resolve/tyvar-scope-5.tys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/support/tests/resolve/tyvar-scope-5.tys -------------------------------------------------------------------------------- /support/tests/resolve/tyvar-scope-6.tys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/support/tests/resolve/tyvar-scope-6.tys -------------------------------------------------------------------------------- /support/tethys-mode.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/support/tethys-mode.el -------------------------------------------------------------------------------- /support/tychk_nbe.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/support/tychk_nbe.ml -------------------------------------------------------------------------------- /support/typeck.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/support/typeck.ml -------------------------------------------------------------------------------- /support/typeck/.gitignore: -------------------------------------------------------------------------------- 1 | _build -------------------------------------------------------------------------------- /support/typeck/.ocamlformat: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /support/typeck/bin/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/support/typeck/bin/dune -------------------------------------------------------------------------------- /support/typeck/bin/main.ml: -------------------------------------------------------------------------------- 1 | let () = print_endline "Hello, World!" 2 | -------------------------------------------------------------------------------- /support/typeck/dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/support/typeck/dune-project -------------------------------------------------------------------------------- /support/typeck/lib/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/support/typeck/lib/dune -------------------------------------------------------------------------------- /support/typeck/lib/typeck.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/support/typeck/lib/typeck.ml -------------------------------------------------------------------------------- /support/typeck/test/dune: -------------------------------------------------------------------------------- 1 | (test 2 | (name typeck)) 3 | -------------------------------------------------------------------------------- /support/typeck/test/typeck.ml: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /support/typeck/typeck.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/support/typeck/typeck.opam -------------------------------------------------------------------------------- /support/vim-tethys/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/support/vim-tethys/README.md -------------------------------------------------------------------------------- /support/vim-tethys/ftdetect/tethys.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/support/vim-tethys/ftdetect/tethys.vim -------------------------------------------------------------------------------- /support/vim-tethys/syntax/tethys.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/support/vim-tethys/syntax/tethys.vim -------------------------------------------------------------------------------- /tmp.tys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ThePuzzlemaker/tethys/HEAD/tmp.tys --------------------------------------------------------------------------------