├── .devcontainer ├── Dockerfile └── devcontainer.json ├── .gitattributes ├── .github └── workflows │ ├── ante-ls.yml │ └── ante.yml ├── .gitignore ├── .gitmodules ├── Cargo.lock ├── Cargo.toml ├── LICENSE ├── README.md ├── TODO.md ├── ante-ls ├── Cargo.toml └── src │ ├── main.rs │ └── util.rs ├── crates.nix ├── default.nix ├── examples ├── codegen │ ├── bitwise.an │ ├── builtin_float.an │ ├── builtin_int.an │ ├── closure_basic.an │ ├── closure_nested.an │ ├── closure_return.an │ ├── data.an │ ├── effects │ │ ├── add_effect.an │ │ ├── count_effect.an │ │ ├── generators_basic.an │ │ ├── generators_complex.an │ │ ├── handle_multiple_effects.an │ │ └── state.an │ ├── explicit_curry.an │ ├── fib.an │ ├── function_call.an │ ├── hello.an │ ├── implicit_import.an │ ├── int_string_cast.an │ ├── iter.an │ ├── logical.an │ ├── loop.an │ ├── map.an │ ├── monomorphise_all.an │ ├── mutability.an │ ├── pass_by_ref.an │ ├── string_append.an │ ├── string_builder.an │ ├── tuples.an │ └── vec_basic.an ├── nameresolution │ ├── Library.an │ ├── T.an │ ├── Trait.an │ ├── U.an │ ├── conflictingimport.an │ ├── effects.an │ ├── errors.an │ ├── functions.an │ ├── import.an │ ├── named_constructor.an │ ├── redeclare.an │ ├── type_decl.an │ └── unused_warning.an ├── parsing │ ├── apply_operators.an │ ├── effects.an │ ├── explicit_curry.an │ ├── hello.an │ ├── indent.an │ ├── invalid_integer_literal_suffix.an │ ├── irrefutable_pattern.an │ ├── loop.an │ ├── match.an │ ├── math.an │ ├── named_constructor.an │ ├── parse_error.an │ ├── semicolon_inference.an │ ├── string_interpolation.an │ ├── trait_decl.an │ ├── type_decl.an │ └── with_effect.an ├── regressions │ ├── 103_size_of_ptr.an │ ├── 104_print_twice.an │ ├── 119_top_level_subscopes.an │ ├── 129_int_defaulting_generalization.an │ ├── 130_lambda_int_defaulting.an │ ├── 146_invalid_int_type.an │ ├── 159_two_trait_functions.an │ ├── 201_mutable_variables_copy.an │ ├── 217_filter.an │ ├── 80_empty_match.an │ ├── 85_type_defaulting_rules.an │ └── 96_rebind_origin.an └── typechecking │ ├── bind.an │ ├── completeness_checking.an │ ├── count_effect.an │ ├── effects.an │ ├── effects_subset.an │ ├── extern.an │ ├── field_diagnostics.an │ ├── functor_and_monad.an │ ├── generalization.an │ ├── given_constraint_error.an │ ├── impl.an │ ├── instantiation.an │ ├── int_inference.an │ ├── member_access.an │ ├── multiple_matching_impls.an │ ├── mutual_recursion.an │ ├── mutual_recursion_rigid.an │ ├── named_constructor.an │ ├── repeated_traits.an │ ├── rigid.an │ ├── trait_fundep_result.an │ ├── trait_generalization.an │ ├── trait_impls.an │ ├── trait_propagation.an │ └── type_annotations.an ├── examples_failing ├── 141_recursive_closure.an ├── 142_incorrect_defaulting.an └── capture_by_ref.an ├── flake.lock ├── flake.nix ├── rustfmt.toml ├── shell.nix ├── src ├── cache │ ├── counter.rs │ ├── dependency_graph.rs │ ├── mod.rs │ └── unsafecache.rs ├── cli.rs ├── cranelift_backend │ ├── builtin.rs │ ├── context.rs │ ├── decisiontree.rs │ ├── mod.rs │ └── module.rs ├── error │ ├── location.rs │ └── mod.rs ├── frontend.rs ├── hir │ ├── capabilities.rs │ ├── closures.rs │ ├── decision_tree_monomorphisation.rs │ ├── definitions.rs │ ├── mod.rs │ ├── monomorphisation │ │ ├── effects.rs │ │ └── mod.rs │ ├── printer.rs │ └── types.rs ├── lexer │ ├── mod.rs │ └── token.rs ├── lib.rs ├── lifetimes │ └── mod.rs ├── llvm │ ├── builtin.rs │ ├── decisiontree.rs │ └── mod.rs ├── main.rs ├── mir │ ├── ir │ │ ├── block.rs │ │ ├── function.rs │ │ ├── instruction.rs │ │ ├── ir.rs │ │ ├── mod.rs │ │ └── value.rs │ └── mod.rs ├── nameresolution │ ├── builtin.rs │ ├── free_variables.rs │ ├── mod.rs │ ├── scope.rs │ └── visitor.rs ├── parser │ ├── ast.rs │ ├── combinators.rs │ ├── desugar.rs │ ├── error.rs │ ├── mod.rs │ └── pretty_printer.rs ├── types │ ├── effects.rs │ ├── mod.rs │ ├── mutual_recursion.rs │ ├── pattern.rs │ ├── traitchecker.rs │ ├── traits.rs │ ├── typechecker.rs │ ├── typed.rs │ └── typeprinter.rs └── util │ ├── id.rs │ ├── logging.rs │ ├── mod.rs │ ├── timing.rs │ ├── trustme.rs │ └── vecmap.rs ├── stdlib ├── HashMap.an ├── StringBuilder.an ├── Vec.an ├── future │ ├── abort.an │ ├── str.an │ └── stream.an └── prelude.an └── tests └── golden_tests.rs /.devcontainer/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/.devcontainer/Dockerfile -------------------------------------------------------------------------------- /.devcontainer/devcontainer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/.devcontainer/devcontainer.json -------------------------------------------------------------------------------- /.gitattributes: -------------------------------------------------------------------------------- 1 | * text=auto 2 | *.an linguist-language=scala 3 | -------------------------------------------------------------------------------- /.github/workflows/ante-ls.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/.github/workflows/ante-ls.yml -------------------------------------------------------------------------------- /.github/workflows/ante.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/.github/workflows/ante.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | .vscode 3 | 4 | # Nix build artifacts 5 | /result 6 | -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/.gitmodules -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/README.md -------------------------------------------------------------------------------- /TODO.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/TODO.md -------------------------------------------------------------------------------- /ante-ls/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/ante-ls/Cargo.toml -------------------------------------------------------------------------------- /ante-ls/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/ante-ls/src/main.rs -------------------------------------------------------------------------------- /ante-ls/src/util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/ante-ls/src/util.rs -------------------------------------------------------------------------------- /crates.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/crates.nix -------------------------------------------------------------------------------- /default.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/default.nix -------------------------------------------------------------------------------- /examples/codegen/bitwise.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/codegen/bitwise.an -------------------------------------------------------------------------------- /examples/codegen/builtin_float.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/codegen/builtin_float.an -------------------------------------------------------------------------------- /examples/codegen/builtin_int.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/codegen/builtin_int.an -------------------------------------------------------------------------------- /examples/codegen/closure_basic.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/codegen/closure_basic.an -------------------------------------------------------------------------------- /examples/codegen/closure_nested.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/codegen/closure_nested.an -------------------------------------------------------------------------------- /examples/codegen/closure_return.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/codegen/closure_return.an -------------------------------------------------------------------------------- /examples/codegen/data.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/codegen/data.an -------------------------------------------------------------------------------- /examples/codegen/effects/add_effect.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/codegen/effects/add_effect.an -------------------------------------------------------------------------------- /examples/codegen/effects/count_effect.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/codegen/effects/count_effect.an -------------------------------------------------------------------------------- /examples/codegen/effects/generators_basic.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/codegen/effects/generators_basic.an -------------------------------------------------------------------------------- /examples/codegen/effects/generators_complex.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/codegen/effects/generators_complex.an -------------------------------------------------------------------------------- /examples/codegen/effects/handle_multiple_effects.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/codegen/effects/handle_multiple_effects.an -------------------------------------------------------------------------------- /examples/codegen/effects/state.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/codegen/effects/state.an -------------------------------------------------------------------------------- /examples/codegen/explicit_curry.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/codegen/explicit_curry.an -------------------------------------------------------------------------------- /examples/codegen/fib.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/codegen/fib.an -------------------------------------------------------------------------------- /examples/codegen/function_call.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/codegen/function_call.an -------------------------------------------------------------------------------- /examples/codegen/hello.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/codegen/hello.an -------------------------------------------------------------------------------- /examples/codegen/implicit_import.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/codegen/implicit_import.an -------------------------------------------------------------------------------- /examples/codegen/int_string_cast.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/codegen/int_string_cast.an -------------------------------------------------------------------------------- /examples/codegen/iter.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/codegen/iter.an -------------------------------------------------------------------------------- /examples/codegen/logical.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/codegen/logical.an -------------------------------------------------------------------------------- /examples/codegen/loop.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/codegen/loop.an -------------------------------------------------------------------------------- /examples/codegen/map.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/codegen/map.an -------------------------------------------------------------------------------- /examples/codegen/monomorphise_all.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/codegen/monomorphise_all.an -------------------------------------------------------------------------------- /examples/codegen/mutability.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/codegen/mutability.an -------------------------------------------------------------------------------- /examples/codegen/pass_by_ref.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/codegen/pass_by_ref.an -------------------------------------------------------------------------------- /examples/codegen/string_append.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/codegen/string_append.an -------------------------------------------------------------------------------- /examples/codegen/string_builder.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/codegen/string_builder.an -------------------------------------------------------------------------------- /examples/codegen/tuples.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/codegen/tuples.an -------------------------------------------------------------------------------- /examples/codegen/vec_basic.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/codegen/vec_basic.an -------------------------------------------------------------------------------- /examples/nameresolution/Library.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/nameresolution/Library.an -------------------------------------------------------------------------------- /examples/nameresolution/T.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/nameresolution/T.an -------------------------------------------------------------------------------- /examples/nameresolution/Trait.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/nameresolution/Trait.an -------------------------------------------------------------------------------- /examples/nameresolution/U.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/nameresolution/U.an -------------------------------------------------------------------------------- /examples/nameresolution/conflictingimport.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/nameresolution/conflictingimport.an -------------------------------------------------------------------------------- /examples/nameresolution/effects.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/nameresolution/effects.an -------------------------------------------------------------------------------- /examples/nameresolution/errors.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/nameresolution/errors.an -------------------------------------------------------------------------------- /examples/nameresolution/functions.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/nameresolution/functions.an -------------------------------------------------------------------------------- /examples/nameresolution/import.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/nameresolution/import.an -------------------------------------------------------------------------------- /examples/nameresolution/named_constructor.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/nameresolution/named_constructor.an -------------------------------------------------------------------------------- /examples/nameresolution/redeclare.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/nameresolution/redeclare.an -------------------------------------------------------------------------------- /examples/nameresolution/type_decl.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/nameresolution/type_decl.an -------------------------------------------------------------------------------- /examples/nameresolution/unused_warning.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/nameresolution/unused_warning.an -------------------------------------------------------------------------------- /examples/parsing/apply_operators.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/parsing/apply_operators.an -------------------------------------------------------------------------------- /examples/parsing/effects.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/parsing/effects.an -------------------------------------------------------------------------------- /examples/parsing/explicit_curry.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/parsing/explicit_curry.an -------------------------------------------------------------------------------- /examples/parsing/hello.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/parsing/hello.an -------------------------------------------------------------------------------- /examples/parsing/indent.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/parsing/indent.an -------------------------------------------------------------------------------- /examples/parsing/invalid_integer_literal_suffix.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/parsing/invalid_integer_literal_suffix.an -------------------------------------------------------------------------------- /examples/parsing/irrefutable_pattern.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/parsing/irrefutable_pattern.an -------------------------------------------------------------------------------- /examples/parsing/loop.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/parsing/loop.an -------------------------------------------------------------------------------- /examples/parsing/match.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/parsing/match.an -------------------------------------------------------------------------------- /examples/parsing/math.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/parsing/math.an -------------------------------------------------------------------------------- /examples/parsing/named_constructor.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/parsing/named_constructor.an -------------------------------------------------------------------------------- /examples/parsing/parse_error.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/parsing/parse_error.an -------------------------------------------------------------------------------- /examples/parsing/semicolon_inference.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/parsing/semicolon_inference.an -------------------------------------------------------------------------------- /examples/parsing/string_interpolation.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/parsing/string_interpolation.an -------------------------------------------------------------------------------- /examples/parsing/trait_decl.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/parsing/trait_decl.an -------------------------------------------------------------------------------- /examples/parsing/type_decl.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/parsing/type_decl.an -------------------------------------------------------------------------------- /examples/parsing/with_effect.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/parsing/with_effect.an -------------------------------------------------------------------------------- /examples/regressions/103_size_of_ptr.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/regressions/103_size_of_ptr.an -------------------------------------------------------------------------------- /examples/regressions/104_print_twice.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/regressions/104_print_twice.an -------------------------------------------------------------------------------- /examples/regressions/119_top_level_subscopes.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/regressions/119_top_level_subscopes.an -------------------------------------------------------------------------------- /examples/regressions/129_int_defaulting_generalization.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/regressions/129_int_defaulting_generalization.an -------------------------------------------------------------------------------- /examples/regressions/130_lambda_int_defaulting.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/regressions/130_lambda_int_defaulting.an -------------------------------------------------------------------------------- /examples/regressions/146_invalid_int_type.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/regressions/146_invalid_int_type.an -------------------------------------------------------------------------------- /examples/regressions/159_two_trait_functions.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/regressions/159_two_trait_functions.an -------------------------------------------------------------------------------- /examples/regressions/201_mutable_variables_copy.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/regressions/201_mutable_variables_copy.an -------------------------------------------------------------------------------- /examples/regressions/217_filter.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/regressions/217_filter.an -------------------------------------------------------------------------------- /examples/regressions/80_empty_match.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/regressions/80_empty_match.an -------------------------------------------------------------------------------- /examples/regressions/85_type_defaulting_rules.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/regressions/85_type_defaulting_rules.an -------------------------------------------------------------------------------- /examples/regressions/96_rebind_origin.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/regressions/96_rebind_origin.an -------------------------------------------------------------------------------- /examples/typechecking/bind.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/typechecking/bind.an -------------------------------------------------------------------------------- /examples/typechecking/completeness_checking.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/typechecking/completeness_checking.an -------------------------------------------------------------------------------- /examples/typechecking/count_effect.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/typechecking/count_effect.an -------------------------------------------------------------------------------- /examples/typechecking/effects.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/typechecking/effects.an -------------------------------------------------------------------------------- /examples/typechecking/effects_subset.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/typechecking/effects_subset.an -------------------------------------------------------------------------------- /examples/typechecking/extern.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/typechecking/extern.an -------------------------------------------------------------------------------- /examples/typechecking/field_diagnostics.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/typechecking/field_diagnostics.an -------------------------------------------------------------------------------- /examples/typechecking/functor_and_monad.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/typechecking/functor_and_monad.an -------------------------------------------------------------------------------- /examples/typechecking/generalization.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/typechecking/generalization.an -------------------------------------------------------------------------------- /examples/typechecking/given_constraint_error.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/typechecking/given_constraint_error.an -------------------------------------------------------------------------------- /examples/typechecking/impl.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/typechecking/impl.an -------------------------------------------------------------------------------- /examples/typechecking/instantiation.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/typechecking/instantiation.an -------------------------------------------------------------------------------- /examples/typechecking/int_inference.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/typechecking/int_inference.an -------------------------------------------------------------------------------- /examples/typechecking/member_access.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/typechecking/member_access.an -------------------------------------------------------------------------------- /examples/typechecking/multiple_matching_impls.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/typechecking/multiple_matching_impls.an -------------------------------------------------------------------------------- /examples/typechecking/mutual_recursion.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/typechecking/mutual_recursion.an -------------------------------------------------------------------------------- /examples/typechecking/mutual_recursion_rigid.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/typechecking/mutual_recursion_rigid.an -------------------------------------------------------------------------------- /examples/typechecking/named_constructor.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/typechecking/named_constructor.an -------------------------------------------------------------------------------- /examples/typechecking/repeated_traits.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/typechecking/repeated_traits.an -------------------------------------------------------------------------------- /examples/typechecking/rigid.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/typechecking/rigid.an -------------------------------------------------------------------------------- /examples/typechecking/trait_fundep_result.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/typechecking/trait_fundep_result.an -------------------------------------------------------------------------------- /examples/typechecking/trait_generalization.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/typechecking/trait_generalization.an -------------------------------------------------------------------------------- /examples/typechecking/trait_impls.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/typechecking/trait_impls.an -------------------------------------------------------------------------------- /examples/typechecking/trait_propagation.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/typechecking/trait_propagation.an -------------------------------------------------------------------------------- /examples/typechecking/type_annotations.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples/typechecking/type_annotations.an -------------------------------------------------------------------------------- /examples_failing/141_recursive_closure.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples_failing/141_recursive_closure.an -------------------------------------------------------------------------------- /examples_failing/142_incorrect_defaulting.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples_failing/142_incorrect_defaulting.an -------------------------------------------------------------------------------- /examples_failing/capture_by_ref.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/examples_failing/capture_by_ref.an -------------------------------------------------------------------------------- /flake.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/flake.lock -------------------------------------------------------------------------------- /flake.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/flake.nix -------------------------------------------------------------------------------- /rustfmt.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/rustfmt.toml -------------------------------------------------------------------------------- /shell.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/shell.nix -------------------------------------------------------------------------------- /src/cache/counter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/cache/counter.rs -------------------------------------------------------------------------------- /src/cache/dependency_graph.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/cache/dependency_graph.rs -------------------------------------------------------------------------------- /src/cache/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/cache/mod.rs -------------------------------------------------------------------------------- /src/cache/unsafecache.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/cache/unsafecache.rs -------------------------------------------------------------------------------- /src/cli.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/cli.rs -------------------------------------------------------------------------------- /src/cranelift_backend/builtin.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/cranelift_backend/builtin.rs -------------------------------------------------------------------------------- /src/cranelift_backend/context.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/cranelift_backend/context.rs -------------------------------------------------------------------------------- /src/cranelift_backend/decisiontree.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/cranelift_backend/decisiontree.rs -------------------------------------------------------------------------------- /src/cranelift_backend/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/cranelift_backend/mod.rs -------------------------------------------------------------------------------- /src/cranelift_backend/module.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/cranelift_backend/module.rs -------------------------------------------------------------------------------- /src/error/location.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/error/location.rs -------------------------------------------------------------------------------- /src/error/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/error/mod.rs -------------------------------------------------------------------------------- /src/frontend.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/frontend.rs -------------------------------------------------------------------------------- /src/hir/capabilities.rs: -------------------------------------------------------------------------------- 1 | 2 | fn convert_capabilities() { 3 | 4 | } 5 | -------------------------------------------------------------------------------- /src/hir/closures.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/hir/closures.rs -------------------------------------------------------------------------------- /src/hir/decision_tree_monomorphisation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/hir/decision_tree_monomorphisation.rs -------------------------------------------------------------------------------- /src/hir/definitions.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/hir/definitions.rs -------------------------------------------------------------------------------- /src/hir/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/hir/mod.rs -------------------------------------------------------------------------------- /src/hir/monomorphisation/effects.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/hir/monomorphisation/effects.rs -------------------------------------------------------------------------------- /src/hir/monomorphisation/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/hir/monomorphisation/mod.rs -------------------------------------------------------------------------------- /src/hir/printer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/hir/printer.rs -------------------------------------------------------------------------------- /src/hir/types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/hir/types.rs -------------------------------------------------------------------------------- /src/lexer/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/lexer/mod.rs -------------------------------------------------------------------------------- /src/lexer/token.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/lexer/token.rs -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/lifetimes/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/lifetimes/mod.rs -------------------------------------------------------------------------------- /src/llvm/builtin.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/llvm/builtin.rs -------------------------------------------------------------------------------- /src/llvm/decisiontree.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/llvm/decisiontree.rs -------------------------------------------------------------------------------- /src/llvm/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/llvm/mod.rs -------------------------------------------------------------------------------- /src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/main.rs -------------------------------------------------------------------------------- /src/mir/ir/block.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/mir/ir/block.rs -------------------------------------------------------------------------------- /src/mir/ir/function.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/mir/ir/function.rs -------------------------------------------------------------------------------- /src/mir/ir/instruction.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/mir/ir/instruction.rs -------------------------------------------------------------------------------- /src/mir/ir/ir.rs: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /src/mir/ir/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/mir/ir/mod.rs -------------------------------------------------------------------------------- /src/mir/ir/value.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/mir/ir/value.rs -------------------------------------------------------------------------------- /src/mir/mod.rs: -------------------------------------------------------------------------------- 1 | pub mod ir; 2 | -------------------------------------------------------------------------------- /src/nameresolution/builtin.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/nameresolution/builtin.rs -------------------------------------------------------------------------------- /src/nameresolution/free_variables.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/nameresolution/free_variables.rs -------------------------------------------------------------------------------- /src/nameresolution/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/nameresolution/mod.rs -------------------------------------------------------------------------------- /src/nameresolution/scope.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/nameresolution/scope.rs -------------------------------------------------------------------------------- /src/nameresolution/visitor.rs: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /src/parser/ast.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/parser/ast.rs -------------------------------------------------------------------------------- /src/parser/combinators.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/parser/combinators.rs -------------------------------------------------------------------------------- /src/parser/desugar.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/parser/desugar.rs -------------------------------------------------------------------------------- /src/parser/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/parser/error.rs -------------------------------------------------------------------------------- /src/parser/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/parser/mod.rs -------------------------------------------------------------------------------- /src/parser/pretty_printer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/parser/pretty_printer.rs -------------------------------------------------------------------------------- /src/types/effects.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/types/effects.rs -------------------------------------------------------------------------------- /src/types/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/types/mod.rs -------------------------------------------------------------------------------- /src/types/mutual_recursion.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/types/mutual_recursion.rs -------------------------------------------------------------------------------- /src/types/pattern.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/types/pattern.rs -------------------------------------------------------------------------------- /src/types/traitchecker.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/types/traitchecker.rs -------------------------------------------------------------------------------- /src/types/traits.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/types/traits.rs -------------------------------------------------------------------------------- /src/types/typechecker.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/types/typechecker.rs -------------------------------------------------------------------------------- /src/types/typed.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/types/typed.rs -------------------------------------------------------------------------------- /src/types/typeprinter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/types/typeprinter.rs -------------------------------------------------------------------------------- /src/util/id.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/util/id.rs -------------------------------------------------------------------------------- /src/util/logging.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/util/logging.rs -------------------------------------------------------------------------------- /src/util/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/util/mod.rs -------------------------------------------------------------------------------- /src/util/timing.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/util/timing.rs -------------------------------------------------------------------------------- /src/util/trustme.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/util/trustme.rs -------------------------------------------------------------------------------- /src/util/vecmap.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/src/util/vecmap.rs -------------------------------------------------------------------------------- /stdlib/HashMap.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/stdlib/HashMap.an -------------------------------------------------------------------------------- /stdlib/StringBuilder.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/stdlib/StringBuilder.an -------------------------------------------------------------------------------- /stdlib/Vec.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/stdlib/Vec.an -------------------------------------------------------------------------------- /stdlib/future/abort.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/stdlib/future/abort.an -------------------------------------------------------------------------------- /stdlib/future/str.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/stdlib/future/str.an -------------------------------------------------------------------------------- /stdlib/future/stream.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/stdlib/future/stream.an -------------------------------------------------------------------------------- /stdlib/prelude.an: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/stdlib/prelude.an -------------------------------------------------------------------------------- /tests/golden_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jfecher/ante/HEAD/tests/golden_tests.rs --------------------------------------------------------------------------------