├── .cargo └── config.toml ├── .gitattributes ├── .github ├── actions │ ├── rust-toolchain │ │ └── action.yaml │ ├── setup-haskell │ │ └── action.yaml │ └── setup-rust │ │ └── action.yaml └── workflows │ ├── ci.yaml │ ├── release.yaml │ └── security-audit.yaml ├── .gitignore ├── .husky ├── pre-commit └── pre-push ├── .nvmrc ├── Cargo.lock ├── Cargo.toml ├── LICENSE ├── README.md ├── cargo-llvm-cov-cargo-lock.patch ├── crates ├── ditto-ast │ ├── Cargo.toml │ ├── README.md │ └── src │ │ ├── expression.rs │ │ ├── graph.rs │ │ ├── kind.rs │ │ ├── lib.rs │ │ ├── module.rs │ │ ├── name.rs │ │ ├── type.rs │ │ └── var.rs ├── ditto-checker │ ├── Cargo.toml │ ├── README.md │ ├── src │ │ ├── bin │ │ │ └── ditto-checker-testbin-check-module.rs │ │ ├── collections.rs │ │ ├── kindchecker │ │ │ ├── env.rs │ │ │ ├── mod.rs │ │ │ ├── state.rs │ │ │ ├── substitution.rs │ │ │ └── tests │ │ │ │ ├── macros.rs │ │ │ │ ├── mod.rs │ │ │ │ ├── prim.rs │ │ │ │ └── variable.rs │ │ ├── lib.rs │ │ ├── module │ │ │ ├── common.rs │ │ │ ├── exports │ │ │ │ └── mod.rs │ │ │ ├── foreign_value_declarations │ │ │ │ └── mod.rs │ │ │ ├── imports │ │ │ │ └── mod.rs │ │ │ ├── mod.rs │ │ │ ├── type_declarations │ │ │ │ ├── mod.rs │ │ │ │ └── tests │ │ │ │ │ ├── acyclic.rs │ │ │ │ │ ├── macros.rs │ │ │ │ │ ├── mod.rs │ │ │ │ │ └── toposort.rs │ │ │ └── value_declarations │ │ │ │ ├── mod.rs │ │ │ │ └── tests │ │ │ │ ├── acyclic.rs │ │ │ │ ├── macros.rs │ │ │ │ ├── mod.rs │ │ │ │ └── toposort.rs │ │ ├── result │ │ │ ├── mod.rs │ │ │ ├── type_error.rs │ │ │ └── warnings.rs │ │ ├── supply.rs │ │ └── typechecker │ │ │ ├── common.rs │ │ │ ├── coverage │ │ │ ├── mod.rs │ │ │ └── tests.rs │ │ │ ├── env.rs │ │ │ ├── mod.rs │ │ │ ├── pre_ast.rs │ │ │ ├── scheme.rs │ │ │ ├── state.rs │ │ │ ├── substitution.rs │ │ │ ├── tests │ │ │ ├── array.rs │ │ │ ├── bool.rs │ │ │ ├── call.rs │ │ │ ├── cond.rs │ │ │ ├── effect.rs │ │ │ ├── float.rs │ │ │ ├── function.rs │ │ │ ├── int.rs │ │ │ ├── let.rs │ │ │ ├── macros.rs │ │ │ ├── match.rs │ │ │ ├── mod.rs │ │ │ ├── records.rs │ │ │ ├── right_pipe.rs │ │ │ ├── string.rs │ │ │ └── unit.rs │ │ │ └── toposort.rs │ └── tests │ │ ├── cmd │ │ ├── .ignore │ │ ├── always_partial_application │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── array_alias │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── array_alias_chain │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── array_int_alias_error │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── basic_task_module │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── closed_record_alias │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── cyclic_type_alias_error │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── cyclic_types │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── cyclic_types_error │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── cyclic_values │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── cyclic_values_error │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── directly_unused_foreign_value │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── duplicate_import_alias │ │ │ ├── test.in │ │ │ │ ├── Bar.ditto │ │ │ │ └── Foo.ditto │ │ │ ├── test.out │ │ │ │ ├── Bar.ast │ │ │ │ └── Foo.ast │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── duplicate_import_line │ │ │ ├── test.in │ │ │ │ └── Dep.ditto │ │ │ ├── test.out │ │ │ │ └── Dep.ast │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── duplicate_import_module_name │ │ │ ├── test.in │ │ │ │ ├── bar │ │ │ │ │ └── A.ditto │ │ │ │ └── foo │ │ │ │ │ └── A.ditto │ │ │ ├── test.out │ │ │ │ ├── bar │ │ │ │ │ └── A.ast │ │ │ │ └── foo │ │ │ │ │ └── A.ast │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── duplicate_same_type_constructor │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── duplicate_type_constructor │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── duplicate_type_declaration │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── duplicate_type_export │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── duplicate_type_export_with_different_visibility │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── duplicate_type_import │ │ │ ├── test.in │ │ │ │ └── Maybe.ditto │ │ │ ├── test.out │ │ │ │ └── Maybe.ast │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── duplicate_type_import_with_different_visibility │ │ │ ├── test.in │ │ │ │ └── Maybe.ditto │ │ │ ├── test.out │ │ │ │ └── Maybe.ast │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── duplicate_value_declaration │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── duplicate_value_export │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── duplicate_value_import │ │ │ ├── test.in │ │ │ │ └── Foo.ditto │ │ │ ├── test.out │ │ │ │ └── Foo.ast │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── export_docs │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── float_alias │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── float_alias_chain │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── foreign_function_impl │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── foreign_value_impl │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── function_type_alias │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── homogeneous_type_alias_array │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── imported_bool_alias │ │ │ ├── test.in │ │ │ │ └── Boolean.ditto │ │ │ ├── test.out │ │ │ │ └── Boolean.ast │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── imported_constructor_matching │ │ │ ├── test.in │ │ │ │ ├── Dep.ditto │ │ │ │ └── Maybe.ditto │ │ │ ├── test.out │ │ │ │ ├── Dep.ast │ │ │ │ └── Maybe.ast │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── indirectly_unused_foreign_value │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── let_destructure_not_exhaustive_error │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── let_destructuring │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── let_not_in_scope_error │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── let_recursive_error │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── let_unused_warning │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── maybe_int_alias │ │ │ ├── test.in │ │ │ │ └── Maybe.ditto │ │ │ ├── test.out │ │ │ │ └── Maybe.ast │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── mini_vdom │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── module_not_found │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── never │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── open_record_alias │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── open_record_alias_chain │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── open_record_alias_chain_error │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── open_record_alias_error │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── option_alias │ │ │ ├── test.in │ │ │ │ └── base │ │ │ │ │ └── Maybe.ditto │ │ │ ├── test.out │ │ │ │ └── base │ │ │ │ │ └── Maybe.ast │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── package_not_found │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── private_type_constructors_import │ │ │ ├── test.in │ │ │ │ └── Dep.ditto │ │ │ ├── test.out │ │ │ │ └── Dep.ast │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── rebound_import_constructors │ │ │ ├── test.in │ │ │ │ ├── Bar.ditto │ │ │ │ └── Foo.ditto │ │ │ ├── test.out │ │ │ │ ├── Bar.ast │ │ │ │ └── Foo.ast │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── rebound_import_type │ │ │ ├── test.in │ │ │ │ ├── Bar.ditto │ │ │ │ └── Foo.ditto │ │ │ ├── test.out │ │ │ │ ├── Bar.ast │ │ │ │ └── Foo.ast │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── rebound_import_value │ │ │ ├── test.in │ │ │ │ ├── Bar.ditto │ │ │ │ └── Foo.ditto │ │ │ ├── test.out │ │ │ │ ├── Bar.ast │ │ │ │ └── Foo.ast │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── record_extension_newtype │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── refutable_function_binder │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── result_alias_effect_matching │ │ │ ├── test.in │ │ │ │ └── Result.ditto │ │ │ ├── test.out │ │ │ │ └── Result.ast │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── result_alias_matching │ │ │ ├── test.in │ │ │ │ └── Result.ditto │ │ │ ├── test.out │ │ │ │ └── Result.ast │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── self_referencing_function_error │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── simple_type_imports │ │ │ ├── test.in │ │ │ │ └── Maybe.ditto │ │ │ ├── test.out │ │ │ │ └── Maybe.ast │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── simple_value_imports │ │ │ ├── test.in │ │ │ │ └── Foo.ditto │ │ │ ├── test.out │ │ │ │ └── Foo.ast │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── template.sh │ │ ├── unknown_type_export │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── unknown_type_import │ │ │ ├── test.in │ │ │ │ └── Dep.ditto │ │ │ ├── test.out │ │ │ │ └── Dep.ast │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── unknown_value_export │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── unknown_value_import │ │ │ ├── test.in │ │ │ │ └── Dep.ditto │ │ │ ├── test.out │ │ │ │ └── Dep.ast │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── unused_import_line │ │ │ ├── test.in │ │ │ │ └── Dep.ditto │ │ │ ├── test.out │ │ │ │ └── Dep.ast │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── unused_package_import_line │ │ │ ├── test.in │ │ │ │ └── pkg │ │ │ │ │ └── Dep.ditto │ │ │ ├── test.out │ │ │ │ └── pkg │ │ │ │ │ └── Dep.ast │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── unused_type_constructors │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── unused_type_declaration │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── unused_unqualified_type_import │ │ │ ├── test.in │ │ │ │ └── Five.ditto │ │ │ ├── test.out │ │ │ │ └── Five.ast │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── unused_unqualified_value_import │ │ │ ├── test.in │ │ │ │ └── Five.ditto │ │ │ ├── test.out │ │ │ │ └── Five.ast │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── unused_value_declaration │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── variable_alias │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ └── verify.py │ │ ├── common.rs │ │ ├── golden │ │ ├── type-errors │ │ │ ├── argument_length_mismatch_0.ditto │ │ │ ├── argument_length_mismatch_0.error │ │ │ ├── argument_length_mismatch_1.ditto │ │ │ ├── argument_length_mismatch_1.error │ │ │ ├── argument_length_mismatch_2.ditto │ │ │ ├── argument_length_mismatch_2.error │ │ │ ├── argument_length_mismatch_3.ditto │ │ │ ├── argument_length_mismatch_3.error │ │ │ ├── duplicate_function_binder.ditto │ │ │ ├── duplicate_function_binder.error │ │ │ ├── duplicate_import_line.ditto │ │ │ ├── duplicate_import_line.error │ │ │ ├── duplicate_import_module_0.ditto │ │ │ ├── duplicate_import_module_0.error │ │ │ ├── duplicate_import_module_1.ditto │ │ │ ├── duplicate_import_module_1.error │ │ │ ├── duplicate_pattern_binder.ditto │ │ │ ├── duplicate_pattern_binder.error │ │ │ ├── duplicate_type_declaration.ditto │ │ │ ├── duplicate_type_declaration.error │ │ │ ├── duplicate_type_declaration_constructor.ditto │ │ │ ├── duplicate_type_declaration_constructor.error │ │ │ ├── duplicate_type_declaration_variable.ditto │ │ │ ├── duplicate_type_declaration_variable.error │ │ │ ├── duplicate_value_declaration.ditto │ │ │ ├── duplicate_value_declaration.error │ │ │ ├── effect_unification_error_0.ditto │ │ │ ├── effect_unification_error_0.error │ │ │ ├── infinite_type.ditto │ │ │ ├── infinite_type.error │ │ │ ├── kind_unification_error_1.ditto │ │ │ ├── kind_unification_error_1.error │ │ │ ├── match_not_exhaustive_0.ditto │ │ │ ├── match_not_exhaustive_0.error │ │ │ ├── match_not_exhaustive_1.ditto │ │ │ ├── match_not_exhaustive_1.error │ │ │ ├── match_unification_error_0.ditto │ │ │ ├── match_unification_error_0.error │ │ │ ├── match_unification_error_1.ditto │ │ │ ├── match_unification_error_1.error │ │ │ ├── match_unification_error_2.ditto │ │ │ ├── match_unification_error_2.error │ │ │ ├── match_unification_error_3.ditto │ │ │ ├── match_unification_error_3.error │ │ │ ├── match_unification_error_4.ditto │ │ │ ├── match_unification_error_4.error │ │ │ ├── match_unification_error_5.ditto │ │ │ ├── match_unification_error_5.error │ │ │ ├── match_unification_error_6.ditto │ │ │ ├── match_unification_error_6.error │ │ │ ├── module_not_found.ditto │ │ │ ├── module_not_found.error │ │ │ ├── module_not_found_in_package.ditto │ │ │ ├── module_not_found_in_package.error │ │ │ ├── no_visible_constructors.ditto │ │ │ ├── no_visible_constructors.error │ │ │ ├── not_a_function_0.ditto │ │ │ ├── not_a_function_0.error │ │ │ ├── not_a_function_1.ditto │ │ │ ├── not_a_function_1.error │ │ │ ├── package_not_found.ditto │ │ │ ├── package_not_found.error │ │ │ ├── rebound_import_constructor.ditto │ │ │ ├── rebound_import_constructor.error │ │ │ ├── rebound_import_type.ditto │ │ │ ├── rebound_import_type.error │ │ │ ├── rebound_import_value.ditto │ │ │ ├── rebound_import_value.error │ │ │ ├── record_unification_error_0.ditto │ │ │ ├── record_unification_error_0.error │ │ │ ├── row_unification_error_0.ditto │ │ │ ├── row_unification_error_0.error │ │ │ ├── row_unification_error_1.ditto │ │ │ ├── row_unification_error_1.error │ │ │ ├── type_argument_length_mismatch_0.ditto │ │ │ ├── type_argument_length_mismatch_0.error │ │ │ ├── type_not_a_function_0.ditto │ │ │ ├── type_not_a_function_0.error │ │ │ ├── unification_error_0.ditto │ │ │ ├── unification_error_0.error │ │ │ ├── unification_error_1.ditto │ │ │ ├── unification_error_1.error │ │ │ ├── unification_error_2.ditto │ │ │ ├── unification_error_2.error │ │ │ ├── unification_error_3.ditto │ │ │ ├── unification_error_3.error │ │ │ ├── unification_error_4.ditto │ │ │ ├── unification_error_4.error │ │ │ ├── unknown_constructor.ditto │ │ │ ├── unknown_constructor.error │ │ │ ├── unknown_constructor_qualified.ditto │ │ │ ├── unknown_constructor_qualified.error │ │ │ ├── unknown_constructor_typo.ditto │ │ │ ├── unknown_constructor_typo.error │ │ │ ├── unknown_type_constructor.ditto │ │ │ ├── unknown_type_constructor.error │ │ │ ├── unknown_type_export.ditto │ │ │ ├── unknown_type_export.error │ │ │ ├── unknown_type_import.ditto │ │ │ ├── unknown_type_import.error │ │ │ ├── unknown_type_variable.ditto │ │ │ ├── unknown_type_variable.error │ │ │ ├── unknown_value_export.ditto │ │ │ ├── unknown_value_export.error │ │ │ ├── unknown_value_import.ditto │ │ │ ├── unknown_value_import.error │ │ │ ├── unknown_variable.ditto │ │ │ ├── unknown_variable.error │ │ │ ├── unknown_variable_qualified.ditto │ │ │ ├── unknown_variable_qualified.error │ │ │ ├── unknown_variable_typo.ditto │ │ │ └── unknown_variable_typo.error │ │ └── warnings │ │ │ ├── duplicate_type_export.ditto │ │ │ ├── duplicate_type_export.warnings │ │ │ ├── duplicate_type_import.ditto │ │ │ ├── duplicate_type_import.warnings │ │ │ ├── duplicate_value_export.ditto │ │ │ ├── duplicate_value_export.warnings │ │ │ ├── duplicate_value_import.ditto │ │ │ ├── duplicate_value_import.warnings │ │ │ ├── redundant_pattern_0.ditto │ │ │ ├── redundant_pattern_0.warnings │ │ │ ├── redundant_pattern_1.ditto │ │ │ ├── redundant_pattern_1.warnings │ │ │ ├── redundant_patterns.ditto │ │ │ ├── redundant_patterns.warnings │ │ │ ├── unused_effect_binder.ditto │ │ │ ├── unused_effect_binder.warnings │ │ │ ├── unused_foreign_value.ditto │ │ │ ├── unused_foreign_value.warnings │ │ │ ├── unused_function_binder.ditto │ │ │ ├── unused_function_binder.warnings │ │ │ ├── unused_import.ditto │ │ │ ├── unused_import.warnings │ │ │ ├── unused_pattern_binder.ditto │ │ │ ├── unused_pattern_binder.warnings │ │ │ ├── unused_type_constructors.ditto │ │ │ ├── unused_type_constructors.warnings │ │ │ ├── unused_type_declaration.ditto │ │ │ ├── unused_type_declaration.warnings │ │ │ ├── unused_value_declaration.ditto │ │ │ └── unused_value_declaration.warnings │ │ ├── golden_error_tests.rs │ │ ├── golden_warning_tests.rs │ │ └── trycmd_tests.rs ├── ditto-cli │ ├── Cargo.toml │ ├── README.md │ ├── build.rs │ ├── src │ │ ├── bootstrap.rs │ │ ├── common.rs │ │ ├── fmt.rs │ │ ├── lsp.rs │ │ ├── main.rs │ │ ├── make.rs │ │ ├── ninja.rs │ │ ├── pkg.rs │ │ ├── spinner.rs │ │ └── version.rs │ └── tests │ │ ├── cmd │ │ ├── .ignore │ │ ├── bootstrap_custom_name │ │ │ ├── test.out │ │ │ │ └── vanilla-pkg │ │ │ │ │ ├── .gitignore │ │ │ │ │ ├── ditto-src │ │ │ │ │ └── Custom.ditto │ │ │ │ │ └── ditto.toml │ │ │ ├── test.stderr │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── bootstrap_dir_exists │ │ │ ├── test.in │ │ │ │ └── vanilla-pkg │ │ │ │ │ └── .keep │ │ │ ├── test.stderr │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── bootstrap_invalid_package_name │ │ │ ├── test.stderr │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── bootstrap_invalid_package_name_from_dir │ │ │ ├── test.stderr │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── bootstrap_javascript │ │ │ ├── test.out │ │ │ │ └── js-pkg │ │ │ │ │ ├── .gitignore │ │ │ │ │ ├── ditto-src │ │ │ │ │ └── JsPkg.ditto │ │ │ │ │ ├── ditto.toml │ │ │ │ │ └── package.json │ │ │ ├── test.stderr │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── bootstrap_nested_dir │ │ │ ├── test.out │ │ │ │ └── pkgs │ │ │ │ │ └── vanilla-pkg │ │ │ │ │ ├── .gitignore │ │ │ │ │ ├── ditto-src │ │ │ │ │ └── VanillaPkg.ditto │ │ │ │ │ └── ditto.toml │ │ │ ├── test.stderr │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── bootstrap_vanilla │ │ │ ├── test.out │ │ │ │ └── vanilla-pkg │ │ │ │ │ ├── .gitignore │ │ │ │ │ ├── ditto-src │ │ │ │ │ └── VanillaPkg.ditto │ │ │ │ │ └── ditto.toml │ │ │ ├── test.stderr │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── fmt_both_files_and_stdin │ │ │ ├── test.in │ │ │ │ ├── Bar.ditto │ │ │ │ └── Foo.ditto │ │ │ ├── test.stderr │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── fmt_file_check_error │ │ │ ├── test.in │ │ │ │ └── Foo.ditto │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── fmt_files │ │ │ ├── test.in │ │ │ │ ├── Bar.ditto │ │ │ │ └── Foo.ditto │ │ │ ├── test.out │ │ │ │ ├── Bar.ditto │ │ │ │ └── Foo.ditto │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── fmt_stdin │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── fmt_stdin_check_error │ │ │ ├── test.stderr │ │ │ ├── test.stdin │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── make_check │ │ │ ├── test.in │ │ │ │ ├── .gitignore │ │ │ │ ├── ditto-src │ │ │ │ │ └── VanillaPkg.ditto │ │ │ │ └── ditto.toml │ │ │ ├── test.stderr │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── make_javascript │ │ │ ├── test.in │ │ │ │ ├── .gitignore │ │ │ │ ├── ditto-src │ │ │ │ │ └── JsPkg.ditto │ │ │ │ ├── ditto.toml │ │ │ │ └── package.json │ │ │ ├── test.out │ │ │ │ └── dist │ │ │ │ │ └── JsPkg.js │ │ │ ├── test.stderr │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ └── version │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ └── trycmd_tests.rs ├── ditto-codegen-js │ ├── Cargo.toml │ ├── README.md │ ├── src │ │ ├── ast.rs │ │ ├── convert.rs │ │ ├── lib.rs │ │ ├── optimize │ │ │ ├── mod.rs │ │ │ └── rewrites.rs │ │ └── render.rs │ └── tests │ │ ├── golden │ │ ├── basic_expressions.ditto │ │ ├── basic_expressions.js │ │ ├── complex_if.ditto │ │ ├── complex_if.js │ │ ├── effect_expressions.ditto │ │ ├── effect_expressions.js │ │ ├── foreign_impls.ditto │ │ ├── foreign_impls.js │ │ ├── imports.ditto │ │ ├── imports.js │ │ ├── irrefutable_argument_patterns.ditto │ │ ├── irrefutable_argument_patterns.js │ │ ├── keyword_mangling.ditto │ │ ├── keyword_mangling.js │ │ ├── let_expressions.ditto │ │ ├── let_expressions.js │ │ ├── match_expressions.ditto │ │ ├── match_expressions.js │ │ ├── number_literals.ditto │ │ ├── number_literals.js │ │ ├── objects.ditto │ │ ├── objects.js │ │ ├── pipe_expressions.ditto │ │ ├── pipe_expressions.js │ │ ├── recursive_constants.ditto │ │ ├── recursive_constants.js │ │ ├── recursive_functions.ditto │ │ ├── recursive_functions.js │ │ ├── strings.ditto │ │ ├── strings.js │ │ ├── type_declarations.ditto │ │ ├── type_declarations.js │ │ ├── unused_patterns.ditto │ │ └── unused_patterns.js │ │ ├── golden_tests.rs │ │ └── node_execution_tests.rs ├── ditto-config │ ├── Cargo.toml │ ├── README.md │ ├── src │ │ ├── lib.rs │ │ ├── package_set.rs │ │ └── tests.rs │ └── tests │ │ ├── golden │ │ └── parse-errors │ │ │ ├── bad_target.error │ │ │ ├── bad_target.toml │ │ │ ├── missing_name.error │ │ │ ├── missing_name.toml │ │ │ ├── syntax_error_0.error │ │ │ ├── syntax_error_0.toml │ │ │ ├── syntax_error_1.error │ │ │ └── syntax_error_1.toml │ │ └── golden_tests.rs ├── ditto-cst │ ├── Cargo.toml │ ├── README.md │ ├── benches │ │ └── expressions.rs │ ├── build.rs │ ├── src │ │ ├── ditto.lalrpop │ │ ├── expression.rs │ │ ├── get_span.rs │ │ ├── lexer.rs │ │ ├── lib.rs │ │ ├── module.rs │ │ ├── name.rs │ │ ├── parser │ │ │ ├── mod.rs │ │ │ └── tests │ │ │ │ ├── declaration.rs │ │ │ │ ├── expression.rs │ │ │ │ ├── imports.rs │ │ │ │ ├── mod.rs │ │ │ │ ├── module_header.rs │ │ │ │ ├── partials.rs │ │ │ │ └── type.rs │ │ ├── syntax.rs │ │ ├── token.rs │ │ └── type.rs │ └── tests │ │ ├── golden │ │ └── parse-errors │ │ │ ├── bad_package_name.ditto │ │ │ ├── bad_package_name.error │ │ │ ├── empty_input.ditto │ │ │ ├── empty_input.error │ │ │ ├── partial_module_header.ditto │ │ │ └── partial_module_header.error │ │ └── golden_tests.rs ├── ditto-fmt │ ├── Cargo.toml │ ├── README.md │ ├── src │ │ ├── config.rs │ │ ├── declaration.rs │ │ ├── expression.rs │ │ ├── has_comments.rs │ │ ├── helpers.rs │ │ ├── lib.rs │ │ ├── module.rs │ │ ├── name.rs │ │ ├── syntax.rs │ │ ├── token.rs │ │ └── type.rs │ └── tests │ │ ├── golden │ │ ├── effect_expressions.ditto │ │ ├── empty_module.ditto │ │ ├── empty_module_with_trailing_comments.ditto │ │ ├── if_then_else.ditto │ │ ├── import_sorting.ditto │ │ ├── kitchen_sink.ditto │ │ ├── let_expressions.ditto │ │ ├── match_expressions.ditto │ │ ├── newtypes.ditto │ │ ├── pipe_expressions.ditto │ │ ├── records.ditto │ │ ├── type_aliases.ditto │ │ ├── type_declarations.ditto │ │ └── value_declarations.ditto │ │ └── golden_tests.rs ├── ditto-highlight │ ├── Cargo.toml │ ├── src │ │ └── lib.rs │ └── tests │ │ ├── golden │ │ ├── brackets.ditto │ │ ├── brackets.html │ │ ├── delimiters.ditto │ │ ├── delimiters.html │ │ ├── functions.ditto │ │ ├── functions.html │ │ ├── keywords-conditional.ditto │ │ ├── keywords-conditional.html │ │ ├── keywords-import.ditto │ │ ├── keywords-import.html │ │ ├── keywords.ditto │ │ ├── keywords.html │ │ ├── literals.ditto │ │ ├── literals.html │ │ ├── members.ditto │ │ ├── members.html │ │ ├── namespace.ditto │ │ ├── namespace.html │ │ ├── operators.ditto │ │ ├── operators.html │ │ ├── parameters.ditto │ │ ├── parameters.html │ │ ├── symbols.ditto │ │ ├── symbols.html │ │ ├── types.ditto │ │ ├── types.html │ │ ├── variables.ditto │ │ └── variables.html │ │ └── golden_tests.rs ├── ditto-lsp │ ├── Cargo.toml │ ├── README.md │ ├── fixtures │ │ ├── .ignore │ │ ├── diagnostics-0 │ │ │ ├── ditto-src │ │ │ │ └── A.ditto │ │ │ ├── ditto.toml │ │ │ └── logs.txt │ │ ├── diagnostics-1 │ │ │ ├── .ditto │ │ │ │ └── packages │ │ │ │ │ └── core │ │ │ │ │ ├── ditto-src │ │ │ │ │ ├── B.ditto │ │ │ │ │ └── C.ditto │ │ │ │ │ └── ditto.toml │ │ │ ├── ditto-src │ │ │ │ └── A.ditto │ │ │ ├── ditto.toml │ │ │ └── logs.txt │ │ ├── formatting │ │ │ ├── Example.ditto │ │ │ └── logs.txt │ │ └── semantic-tokens │ │ │ ├── Example.ditto │ │ │ └── logs.txt │ ├── lsp-test │ │ ├── Main.hs │ │ └── ditto-lsp-test.cabal │ ├── src │ │ ├── bin │ │ │ └── ditto-lsp-testbin.rs │ │ ├── common.rs │ │ ├── db.rs │ │ ├── goto_definition.rs │ │ ├── hover.rs │ │ ├── lib.rs │ │ ├── locate.rs │ │ ├── semantic_tokens.rs │ │ └── test.rs │ └── tests │ │ └── lsp_test.rs ├── ditto-make │ ├── Cargo.toml │ ├── README.md │ ├── src │ │ ├── bin │ │ │ └── ditto-make-testbin.rs │ │ ├── build_ninja.rs │ │ ├── common.rs │ │ ├── compile.rs │ │ ├── lib.rs │ │ └── utils.rs │ └── tests │ │ ├── cmd │ │ ├── .ignore │ │ ├── all-good │ │ │ ├── test.in │ │ │ │ ├── dep │ │ │ │ │ ├── ditto-src │ │ │ │ │ │ ├── Dep.ditto │ │ │ │ │ │ └── Util.ditto │ │ │ │ │ └── ditto.toml │ │ │ │ ├── ditto-src │ │ │ │ │ ├── A.ditto │ │ │ │ │ ├── B.ditto │ │ │ │ │ ├── C.ditto │ │ │ │ │ ├── D.ditto │ │ │ │ │ └── D │ │ │ │ │ │ └── E.ditto │ │ │ │ └── ditto.toml │ │ │ ├── test.stderr │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── duplicate-module-name │ │ │ ├── test.in │ │ │ │ ├── ditto-src │ │ │ │ │ ├── A.ditto │ │ │ │ │ └── B.ditto │ │ │ │ └── ditto.toml │ │ │ ├── test.stderr │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── missing-module │ │ │ ├── test.in │ │ │ │ ├── ditto-src │ │ │ │ │ └── A.ditto │ │ │ │ └── ditto.toml │ │ │ ├── test.stderr │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── module-cycle │ │ │ ├── test.in │ │ │ │ ├── ditto-src │ │ │ │ │ ├── A.ditto │ │ │ │ │ └── B.ditto │ │ │ │ └── ditto.toml │ │ │ ├── test.stderr │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── no-codegen │ │ │ ├── test.in │ │ │ │ ├── build.ninja │ │ │ │ ├── dep │ │ │ │ │ ├── ditto-src │ │ │ │ │ │ └── Dep.ditto │ │ │ │ │ └── ditto.toml │ │ │ │ ├── ditto-src │ │ │ │ │ ├── A.ditto │ │ │ │ │ ├── B.ditto │ │ │ │ │ ├── C.ditto │ │ │ │ │ └── D.ditto │ │ │ │ └── ditto.toml │ │ │ ├── test.stderr │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── self-referencing-module │ │ │ ├── test.in │ │ │ │ ├── ditto-src │ │ │ │ │ └── A.ditto │ │ │ │ └── ditto.toml │ │ │ ├── test.stderr │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ ├── target-mismatch │ │ │ ├── test.in │ │ │ │ ├── dep │ │ │ │ │ ├── ditto-src │ │ │ │ │ │ └── Dep.ditto │ │ │ │ │ └── ditto.toml │ │ │ │ ├── ditto-src │ │ │ │ │ ├── A.ditto │ │ │ │ │ ├── B.ditto │ │ │ │ │ ├── C.ditto │ │ │ │ │ └── D.ditto │ │ │ │ └── ditto.toml │ │ │ ├── test.stderr │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ └── unsupported-ditto-version │ │ │ ├── test.in │ │ │ ├── ditto-src │ │ │ │ └── A.ditto │ │ │ └── ditto.toml │ │ │ ├── test.stderr │ │ │ ├── test.stdout │ │ │ └── test.toml │ │ └── trycmd_tests.rs └── ditto-tree-sitter │ ├── Cargo.toml │ ├── README.md │ ├── src │ └── lib.rs │ └── tests │ └── parsing_tests.rs ├── images └── hello-ditto.svg ├── nixpkgs.nix ├── package.json ├── rust-toolchain.toml ├── rustfmt.toml ├── scripts ├── cargo-dupdeps.py ├── cst-generator │ ├── Main.hs │ └── cst-generator.cabal ├── dev.sh ├── list-executables.py ├── log-analysis │ ├── .gitignore │ ├── main.R │ └── shell.nix └── release │ ├── README.md │ ├── index.js │ ├── package-lock.json │ └── package.json ├── shell.nix ├── stack.yaml ├── stack.yaml.lock └── treefmt.toml /.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/.cargo/config.toml -------------------------------------------------------------------------------- /.gitattributes: -------------------------------------------------------------------------------- 1 | * text eol=lf -------------------------------------------------------------------------------- /.github/actions/rust-toolchain/action.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/.github/actions/rust-toolchain/action.yaml -------------------------------------------------------------------------------- /.github/actions/setup-haskell/action.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/.github/actions/setup-haskell/action.yaml -------------------------------------------------------------------------------- /.github/actions/setup-rust/action.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/.github/actions/setup-rust/action.yaml -------------------------------------------------------------------------------- /.github/workflows/ci.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/.github/workflows/ci.yaml -------------------------------------------------------------------------------- /.github/workflows/release.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/.github/workflows/release.yaml -------------------------------------------------------------------------------- /.github/workflows/security-audit.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/.github/workflows/security-audit.yaml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/.gitignore -------------------------------------------------------------------------------- /.husky/pre-commit: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/.husky/pre-commit -------------------------------------------------------------------------------- /.husky/pre-push: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/.husky/pre-push -------------------------------------------------------------------------------- /.nvmrc: -------------------------------------------------------------------------------- 1 | 18.9.1 2 | -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/README.md -------------------------------------------------------------------------------- /cargo-llvm-cov-cargo-lock.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/cargo-llvm-cov-cargo-lock.patch -------------------------------------------------------------------------------- /crates/ditto-ast/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-ast/Cargo.toml -------------------------------------------------------------------------------- /crates/ditto-ast/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-ast/README.md -------------------------------------------------------------------------------- /crates/ditto-ast/src/expression.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-ast/src/expression.rs -------------------------------------------------------------------------------- /crates/ditto-ast/src/graph.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-ast/src/graph.rs -------------------------------------------------------------------------------- /crates/ditto-ast/src/kind.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-ast/src/kind.rs -------------------------------------------------------------------------------- /crates/ditto-ast/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-ast/src/lib.rs -------------------------------------------------------------------------------- /crates/ditto-ast/src/module.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-ast/src/module.rs -------------------------------------------------------------------------------- /crates/ditto-ast/src/name.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-ast/src/name.rs -------------------------------------------------------------------------------- /crates/ditto-ast/src/type.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-ast/src/type.rs -------------------------------------------------------------------------------- /crates/ditto-ast/src/var.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-ast/src/var.rs -------------------------------------------------------------------------------- /crates/ditto-checker/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/Cargo.toml -------------------------------------------------------------------------------- /crates/ditto-checker/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/README.md -------------------------------------------------------------------------------- /crates/ditto-checker/src/bin/ditto-checker-testbin-check-module.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/bin/ditto-checker-testbin-check-module.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/collections.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/collections.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/kindchecker/env.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/kindchecker/env.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/kindchecker/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/kindchecker/mod.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/kindchecker/state.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/kindchecker/state.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/kindchecker/substitution.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/kindchecker/substitution.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/kindchecker/tests/macros.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/kindchecker/tests/macros.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/kindchecker/tests/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/kindchecker/tests/mod.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/kindchecker/tests/prim.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/kindchecker/tests/prim.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/kindchecker/tests/variable.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/kindchecker/tests/variable.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/lib.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/module/common.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/module/common.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/module/exports/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/module/exports/mod.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/module/foreign_value_declarations/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/module/foreign_value_declarations/mod.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/module/imports/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/module/imports/mod.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/module/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/module/mod.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/module/type_declarations/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/module/type_declarations/mod.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/module/type_declarations/tests/acyclic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/module/type_declarations/tests/acyclic.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/module/type_declarations/tests/macros.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/module/type_declarations/tests/macros.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/module/type_declarations/tests/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/module/type_declarations/tests/mod.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/module/type_declarations/tests/toposort.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/module/type_declarations/tests/toposort.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/module/value_declarations/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/module/value_declarations/mod.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/module/value_declarations/tests/acyclic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/module/value_declarations/tests/acyclic.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/module/value_declarations/tests/macros.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/module/value_declarations/tests/macros.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/module/value_declarations/tests/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/module/value_declarations/tests/mod.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/module/value_declarations/tests/toposort.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/module/value_declarations/tests/toposort.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/result/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/result/mod.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/result/type_error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/result/type_error.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/result/warnings.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/result/warnings.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/supply.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/supply.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/typechecker/common.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/typechecker/common.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/typechecker/coverage/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/typechecker/coverage/mod.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/typechecker/coverage/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/typechecker/coverage/tests.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/typechecker/env.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/typechecker/env.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/typechecker/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/typechecker/mod.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/typechecker/pre_ast.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/typechecker/pre_ast.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/typechecker/scheme.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/typechecker/scheme.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/typechecker/state.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/typechecker/state.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/typechecker/substitution.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/typechecker/substitution.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/typechecker/tests/array.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/typechecker/tests/array.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/typechecker/tests/bool.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/typechecker/tests/bool.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/typechecker/tests/call.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/typechecker/tests/call.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/typechecker/tests/cond.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/typechecker/tests/cond.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/typechecker/tests/effect.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/typechecker/tests/effect.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/typechecker/tests/float.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/typechecker/tests/float.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/typechecker/tests/function.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/typechecker/tests/function.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/typechecker/tests/int.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/typechecker/tests/int.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/typechecker/tests/let.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/typechecker/tests/let.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/typechecker/tests/macros.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/typechecker/tests/macros.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/typechecker/tests/match.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/typechecker/tests/match.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/typechecker/tests/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/typechecker/tests/mod.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/typechecker/tests/records.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/typechecker/tests/records.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/typechecker/tests/right_pipe.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/typechecker/tests/right_pipe.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/typechecker/tests/string.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/typechecker/tests/string.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/typechecker/tests/unit.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/typechecker/tests/unit.rs -------------------------------------------------------------------------------- /crates/ditto-checker/src/typechecker/toposort.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/src/typechecker/toposort.rs -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/.ignore: -------------------------------------------------------------------------------- 1 | *.in -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/always_partial_application/test.stderr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/always_partial_application/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/always_partial_application/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/always_partial_application/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/always_partial_application/test.stdout -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/always_partial_application/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/always_partial_application/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/array_alias/test.stderr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/array_alias/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/array_alias/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/array_alias/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/array_alias/test.stdout -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/array_alias/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/array_alias/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/array_alias_chain/test.stderr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/array_alias_chain/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/array_alias_chain/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/array_alias_chain/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/array_alias_chain/test.stdout -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/array_alias_chain/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/array_alias_chain/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/array_int_alias_error/test.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/array_int_alias_error/test.stderr -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/array_int_alias_error/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/array_int_alias_error/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/array_int_alias_error/test.stdout: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/array_int_alias_error/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/array_int_alias_error/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/basic_task_module/test.stderr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/basic_task_module/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/basic_task_module/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/basic_task_module/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/basic_task_module/test.stdout -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/basic_task_module/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/basic_task_module/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/closed_record_alias/test.stderr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/closed_record_alias/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/closed_record_alias/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/closed_record_alias/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/closed_record_alias/test.stdout -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/closed_record_alias/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/closed_record_alias/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/cyclic_type_alias_error/test.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/cyclic_type_alias_error/test.stderr -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/cyclic_type_alias_error/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/cyclic_type_alias_error/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/cyclic_type_alias_error/test.stdout: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/cyclic_type_alias_error/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/cyclic_type_alias_error/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/cyclic_types/test.stderr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/cyclic_types/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/cyclic_types/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/cyclic_types/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/cyclic_types/test.stdout -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/cyclic_types/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/cyclic_types/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/cyclic_types_error/test.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/cyclic_types_error/test.stderr -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/cyclic_types_error/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/cyclic_types_error/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/cyclic_types_error/test.stdout: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/cyclic_types_error/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/cyclic_types_error/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/cyclic_values/test.stderr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/cyclic_values/test.stdin: -------------------------------------------------------------------------------- 1 | module Test exports (..) 2 | 3 | a = b 4 | b = a 5 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/cyclic_values/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/cyclic_values/test.stdout -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/cyclic_values/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/cyclic_values/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/cyclic_values_error/test.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/cyclic_values_error/test.stderr -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/cyclic_values_error/test.stdin: -------------------------------------------------------------------------------- 1 | module Test exports (..) 2 | 3 | a : Bool = b 4 | b = a(true) 5 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/cyclic_values_error/test.stdout: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/cyclic_values_error/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/cyclic_values_error/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/directly_unused_foreign_value/test.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/directly_unused_foreign_value/test.stderr -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/directly_unused_foreign_value/test.stdin: -------------------------------------------------------------------------------- 1 | module Test exports (..) 2 | 3 | foreign unused_impl: (Int) -> Bool 4 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/directly_unused_foreign_value/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/directly_unused_foreign_value/test.stdout -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/directly_unused_foreign_value/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/directly_unused_foreign_value/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_import_alias/test.in/Bar.ditto: -------------------------------------------------------------------------------- 1 | module Bar exports (..) 2 | 3 | yes = true -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_import_alias/test.in/Foo.ditto: -------------------------------------------------------------------------------- 1 | module Foo exports (..) 2 | 3 | yes = true -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_import_alias/test.out/Bar.ast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/duplicate_import_alias/test.out/Bar.ast -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_import_alias/test.out/Foo.ast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/duplicate_import_alias/test.out/Foo.ast -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_import_alias/test.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/duplicate_import_alias/test.stderr -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_import_alias/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/duplicate_import_alias/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_import_alias/test.stdout: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_import_alias/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/duplicate_import_alias/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_import_line/test.in/Dep.ditto: -------------------------------------------------------------------------------- 1 | module Dep exports (..) 2 | 3 | five = 5 -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_import_line/test.out/Dep.ast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/duplicate_import_line/test.out/Dep.ast -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_import_line/test.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/duplicate_import_line/test.stderr -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_import_line/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/duplicate_import_line/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_import_line/test.stdout: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_import_line/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/duplicate_import_line/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_import_module_name/test.in/bar/A.ditto: -------------------------------------------------------------------------------- 1 | module A exports (..) 2 | 3 | yes = true -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_import_module_name/test.in/foo/A.ditto: -------------------------------------------------------------------------------- 1 | module A exports (..) 2 | 3 | yes = true -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_import_module_name/test.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/duplicate_import_module_name/test.stderr -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_import_module_name/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/duplicate_import_module_name/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_import_module_name/test.stdout: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_import_module_name/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/duplicate_import_module_name/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_same_type_constructor/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/duplicate_same_type_constructor/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_same_type_constructor/test.stdout: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_same_type_constructor/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/duplicate_same_type_constructor/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_type_constructor/test.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/duplicate_type_constructor/test.stderr -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_type_constructor/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/duplicate_type_constructor/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_type_constructor/test.stdout: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_type_constructor/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/duplicate_type_constructor/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_type_declaration/test.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/duplicate_type_declaration/test.stderr -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_type_declaration/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/duplicate_type_declaration/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_type_declaration/test.stdout: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_type_declaration/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/duplicate_type_declaration/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_type_export/test.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/duplicate_type_export/test.stderr -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_type_export/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/duplicate_type_export/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_type_export/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/duplicate_type_export/test.stdout -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_type_export/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/duplicate_type_export/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_type_import/test.in/Maybe.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/duplicate_type_import/test.in/Maybe.ditto -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_type_import/test.out/Maybe.ast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/duplicate_type_import/test.out/Maybe.ast -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_type_import/test.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/duplicate_type_import/test.stderr -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_type_import/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/duplicate_type_import/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_type_import/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/duplicate_type_import/test.stdout -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_type_import/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/duplicate_type_import/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_value_declaration/test.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/duplicate_value_declaration/test.stderr -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_value_declaration/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/duplicate_value_declaration/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_value_declaration/test.stdout: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_value_declaration/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/duplicate_value_declaration/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_value_export/test.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/duplicate_value_export/test.stderr -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_value_export/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/duplicate_value_export/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_value_export/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/duplicate_value_export/test.stdout -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_value_export/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/duplicate_value_export/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_value_import/test.in/Foo.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/duplicate_value_import/test.in/Foo.ditto -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_value_import/test.out/Foo.ast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/duplicate_value_import/test.out/Foo.ast -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_value_import/test.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/duplicate_value_import/test.stderr -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_value_import/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/duplicate_value_import/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_value_import/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/duplicate_value_import/test.stdout -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/duplicate_value_import/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/duplicate_value_import/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/export_docs/test.stderr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/export_docs/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/export_docs/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/export_docs/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/export_docs/test.stdout -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/export_docs/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/export_docs/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/float_alias/test.stderr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/float_alias/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/float_alias/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/float_alias/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/float_alias/test.stdout -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/float_alias/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/float_alias/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/float_alias_chain/test.stderr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/float_alias_chain/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/float_alias_chain/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/float_alias_chain/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/float_alias_chain/test.stdout -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/float_alias_chain/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/float_alias_chain/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/foreign_function_impl/test.stderr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/foreign_function_impl/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/foreign_function_impl/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/foreign_function_impl/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/foreign_function_impl/test.stdout -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/foreign_function_impl/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/foreign_function_impl/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/foreign_value_impl/test.stderr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/foreign_value_impl/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/foreign_value_impl/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/foreign_value_impl/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/foreign_value_impl/test.stdout -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/foreign_value_impl/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/foreign_value_impl/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/function_type_alias/test.stderr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/function_type_alias/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/function_type_alias/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/function_type_alias/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/function_type_alias/test.stdout -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/function_type_alias/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/function_type_alias/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/homogeneous_type_alias_array/test.stderr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/homogeneous_type_alias_array/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/homogeneous_type_alias_array/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/homogeneous_type_alias_array/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/homogeneous_type_alias_array/test.stdout -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/homogeneous_type_alias_array/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/homogeneous_type_alias_array/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/imported_bool_alias/test.in/Boolean.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/imported_bool_alias/test.in/Boolean.ditto -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/imported_bool_alias/test.out/Boolean.ast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/imported_bool_alias/test.out/Boolean.ast -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/imported_bool_alias/test.stderr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/imported_bool_alias/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/imported_bool_alias/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/imported_bool_alias/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/imported_bool_alias/test.stdout -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/imported_bool_alias/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/imported_bool_alias/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/imported_constructor_matching/test.stderr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/imported_constructor_matching/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/imported_constructor_matching/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/imported_constructor_matching/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/imported_constructor_matching/test.stdout -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/imported_constructor_matching/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/imported_constructor_matching/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/indirectly_unused_foreign_value/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/indirectly_unused_foreign_value/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/indirectly_unused_foreign_value/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/indirectly_unused_foreign_value/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/let_destructure_not_exhaustive_error/test.stdout: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/let_destructuring/test.stderr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/let_destructuring/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/let_destructuring/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/let_destructuring/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/let_destructuring/test.stdout -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/let_destructuring/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/let_destructuring/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/let_not_in_scope_error/test.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/let_not_in_scope_error/test.stderr -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/let_not_in_scope_error/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/let_not_in_scope_error/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/let_not_in_scope_error/test.stdout: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/let_not_in_scope_error/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/let_not_in_scope_error/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/let_recursive_error/test.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/let_recursive_error/test.stderr -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/let_recursive_error/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/let_recursive_error/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/let_recursive_error/test.stdout: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/let_recursive_error/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/let_recursive_error/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/let_unused_warning/test.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/let_unused_warning/test.stderr -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/let_unused_warning/test.stdin: -------------------------------------------------------------------------------- 1 | module Test exports (..) 2 | 3 | why = let fives : Array(Int) = [5] in unit 4 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/let_unused_warning/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/let_unused_warning/test.stdout -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/let_unused_warning/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/let_unused_warning/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/maybe_int_alias/test.in/Maybe.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/maybe_int_alias/test.in/Maybe.ditto -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/maybe_int_alias/test.out/Maybe.ast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/maybe_int_alias/test.out/Maybe.ast -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/maybe_int_alias/test.stderr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/maybe_int_alias/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/maybe_int_alias/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/maybe_int_alias/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/maybe_int_alias/test.stdout -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/maybe_int_alias/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/maybe_int_alias/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/mini_vdom/test.stderr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/mini_vdom/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/mini_vdom/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/mini_vdom/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/mini_vdom/test.stdout -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/mini_vdom/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/mini_vdom/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/module_not_found/test.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/module_not_found/test.stderr -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/module_not_found/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/module_not_found/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/module_not_found/test.stdout: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/module_not_found/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/module_not_found/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/never/test.stderr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/never/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/never/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/never/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/never/test.stdout -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/never/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/never/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/open_record_alias/test.stderr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/open_record_alias/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/open_record_alias/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/open_record_alias/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/open_record_alias/test.stdout -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/open_record_alias/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/open_record_alias/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/open_record_alias_chain/test.stderr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/open_record_alias_chain/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/open_record_alias_chain/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/open_record_alias_chain/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/open_record_alias_chain/test.stdout -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/open_record_alias_chain/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/open_record_alias_chain/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/open_record_alias_chain_error/test.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/open_record_alias_chain_error/test.stderr -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/open_record_alias_chain_error/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/open_record_alias_chain_error/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/open_record_alias_chain_error/test.stdout: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/open_record_alias_chain_error/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/open_record_alias_chain_error/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/open_record_alias_error/test.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/open_record_alias_error/test.stderr -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/open_record_alias_error/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/open_record_alias_error/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/open_record_alias_error/test.stdout: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/open_record_alias_error/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/open_record_alias_error/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/option_alias/test.in/base/Maybe.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/option_alias/test.in/base/Maybe.ditto -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/option_alias/test.out/base/Maybe.ast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/option_alias/test.out/base/Maybe.ast -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/option_alias/test.stderr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/option_alias/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/option_alias/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/option_alias/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/option_alias/test.stdout -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/option_alias/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/option_alias/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/package_not_found/test.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/package_not_found/test.stderr -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/package_not_found/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/package_not_found/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/package_not_found/test.stdout: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/package_not_found/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/package_not_found/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/private_type_constructors_import/test.stdout: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/private_type_constructors_import/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/private_type_constructors_import/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/rebound_import_constructors/test.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/rebound_import_constructors/test.stderr -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/rebound_import_constructors/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/rebound_import_constructors/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/rebound_import_constructors/test.stdout: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/rebound_import_constructors/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/rebound_import_constructors/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/rebound_import_type/test.in/Bar.ditto: -------------------------------------------------------------------------------- 1 | module Bar exports (..) 2 | 3 | type A = A -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/rebound_import_type/test.in/Foo.ditto: -------------------------------------------------------------------------------- 1 | module Foo exports (..) 2 | 3 | type A(a) = A -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/rebound_import_type/test.out/Bar.ast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/rebound_import_type/test.out/Bar.ast -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/rebound_import_type/test.out/Foo.ast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/rebound_import_type/test.out/Foo.ast -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/rebound_import_type/test.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/rebound_import_type/test.stderr -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/rebound_import_type/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/rebound_import_type/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/rebound_import_type/test.stdout: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/rebound_import_type/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/rebound_import_type/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/rebound_import_value/test.in/Bar.ditto: -------------------------------------------------------------------------------- 1 | module Bar exports (..) 2 | 3 | yes = true -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/rebound_import_value/test.in/Foo.ditto: -------------------------------------------------------------------------------- 1 | module Foo exports (..) 2 | 3 | yes = true -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/rebound_import_value/test.out/Bar.ast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/rebound_import_value/test.out/Bar.ast -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/rebound_import_value/test.out/Foo.ast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/rebound_import_value/test.out/Foo.ast -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/rebound_import_value/test.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/rebound_import_value/test.stderr -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/rebound_import_value/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/rebound_import_value/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/rebound_import_value/test.stdout: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/rebound_import_value/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/rebound_import_value/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/record_extension_newtype/test.stderr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/record_extension_newtype/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/record_extension_newtype/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/record_extension_newtype/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/record_extension_newtype/test.stdout -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/record_extension_newtype/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/record_extension_newtype/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/refutable_function_binder/test.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/refutable_function_binder/test.stderr -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/refutable_function_binder/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/refutable_function_binder/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/refutable_function_binder/test.stdout: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/refutable_function_binder/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/refutable_function_binder/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/result_alias_effect_matching/test.stderr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/result_alias_effect_matching/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/result_alias_effect_matching/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/result_alias_effect_matching/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/result_alias_effect_matching/test.stdout -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/result_alias_effect_matching/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/result_alias_effect_matching/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/result_alias_matching/test.in/Result.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/result_alias_matching/test.in/Result.ditto -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/result_alias_matching/test.out/Result.ast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/result_alias_matching/test.out/Result.ast -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/result_alias_matching/test.stderr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/result_alias_matching/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/result_alias_matching/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/result_alias_matching/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/result_alias_matching/test.stdout -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/result_alias_matching/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/result_alias_matching/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/self_referencing_function_error/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/self_referencing_function_error/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/self_referencing_function_error/test.stdout: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/self_referencing_function_error/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/self_referencing_function_error/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/simple_type_imports/test.in/Maybe.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/simple_type_imports/test.in/Maybe.ditto -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/simple_type_imports/test.out/Maybe.ast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/simple_type_imports/test.out/Maybe.ast -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/simple_type_imports/test.stderr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/simple_type_imports/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/simple_type_imports/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/simple_type_imports/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/simple_type_imports/test.stdout -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/simple_type_imports/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/simple_type_imports/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/simple_value_imports/test.in/Foo.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/simple_value_imports/test.in/Foo.ditto -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/simple_value_imports/test.out/Foo.ast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/simple_value_imports/test.out/Foo.ast -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/simple_value_imports/test.stderr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/simple_value_imports/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/simple_value_imports/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/simple_value_imports/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/simple_value_imports/test.stdout -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/simple_value_imports/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/simple_value_imports/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/template.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/template.sh -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unknown_type_export/test.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/unknown_type_export/test.stderr -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unknown_type_export/test.stdin: -------------------------------------------------------------------------------- 1 | module Test exports (Huh) 2 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unknown_type_export/test.stdout: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unknown_type_export/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/unknown_type_export/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unknown_type_import/test.in/Dep.ditto: -------------------------------------------------------------------------------- 1 | module Dep exports (..) 2 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unknown_type_import/test.out/Dep.ast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/unknown_type_import/test.out/Dep.ast -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unknown_type_import/test.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/unknown_type_import/test.stderr -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unknown_type_import/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/unknown_type_import/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unknown_type_import/test.stdout: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unknown_type_import/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/unknown_type_import/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unknown_value_export/test.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/unknown_value_export/test.stderr -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unknown_value_export/test.stdin: -------------------------------------------------------------------------------- 1 | module Test exports (wut) 2 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unknown_value_export/test.stdout: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unknown_value_export/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/unknown_value_export/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unknown_value_import/test.in/Dep.ditto: -------------------------------------------------------------------------------- 1 | module Dep exports (..) 2 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unknown_value_import/test.out/Dep.ast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/unknown_value_import/test.out/Dep.ast -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unknown_value_import/test.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/unknown_value_import/test.stderr -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unknown_value_import/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/unknown_value_import/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unknown_value_import/test.stdout: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unknown_value_import/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/unknown_value_import/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unused_import_line/test.in/Dep.ditto: -------------------------------------------------------------------------------- 1 | module Dep exports (..) 2 | 3 | type ABC = A | B | C 4 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unused_import_line/test.out/Dep.ast: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/unused_import_line/test.out/Dep.ast -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unused_import_line/test.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/unused_import_line/test.stderr -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unused_import_line/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/unused_import_line/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unused_import_line/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/unused_import_line/test.stdout -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unused_import_line/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/unused_import_line/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unused_package_import_line/test.in/pkg/Dep.ditto: -------------------------------------------------------------------------------- 1 | module Dep exports (..) 2 | 3 | type ABC = A | B | C 4 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unused_package_import_line/test.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/unused_package_import_line/test.stderr -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unused_package_import_line/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/unused_package_import_line/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unused_package_import_line/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/unused_package_import_line/test.stdout -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unused_package_import_line/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/unused_package_import_line/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unused_type_constructors/test.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/unused_type_constructors/test.stderr -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unused_type_constructors/test.stdin: -------------------------------------------------------------------------------- 1 | module Test exports (A) 2 | 3 | type A = A 4 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unused_type_constructors/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/unused_type_constructors/test.stdout -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unused_type_constructors/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/unused_type_constructors/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unused_type_declaration/test.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/unused_type_declaration/test.stderr -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unused_type_declaration/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/unused_type_declaration/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unused_type_declaration/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/unused_type_declaration/test.stdout -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unused_type_declaration/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/unused_type_declaration/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unused_unqualified_type_import/test.stderr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unused_unqualified_type_import/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/unused_unqualified_type_import/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unused_unqualified_type_import/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/unused_unqualified_type_import/test.stdout -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unused_unqualified_type_import/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/unused_unqualified_type_import/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unused_unqualified_value_import/test.stderr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unused_unqualified_value_import/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/unused_unqualified_value_import/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unused_unqualified_value_import/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/unused_unqualified_value_import/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unused_value_declaration/test.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/unused_value_declaration/test.stderr -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unused_value_declaration/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/unused_value_declaration/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unused_value_declaration/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/unused_value_declaration/test.stdout -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/unused_value_declaration/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/unused_value_declaration/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/variable_alias/test.stderr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/variable_alias/test.stdin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/variable_alias/test.stdin -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/variable_alias/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/variable_alias/test.stdout -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/variable_alias/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/variable_alias/test.toml -------------------------------------------------------------------------------- /crates/ditto-checker/tests/cmd/verify.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/cmd/verify.py -------------------------------------------------------------------------------- /crates/ditto-checker/tests/common.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/common.rs -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden/type-errors/argument_length_mismatch_3.ditto: -------------------------------------------------------------------------------- 1 | module Test exports (..) 2 | 3 | bad_pipe = 5 |> (fn () -> 10) 4 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden/type-errors/duplicate_import_line.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/golden/type-errors/duplicate_import_line.ditto -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden/type-errors/duplicate_import_line.error: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/golden/type-errors/duplicate_import_line.error -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden/type-errors/infinite_type.ditto: -------------------------------------------------------------------------------- 1 | module Test exports (..) 2 | 3 | boom = fn (f) -> f(f) 4 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden/type-errors/infinite_type.error: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/golden/type-errors/infinite_type.error -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden/type-errors/kind_unification_error_1.ditto: -------------------------------------------------------------------------------- 1 | module Test exports (..) 2 | 3 | fives : Array = [1, 2, 3] 4 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden/type-errors/module_not_found.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/golden/type-errors/module_not_found.ditto -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden/type-errors/module_not_found.error: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/golden/type-errors/module_not_found.error -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden/type-errors/not_a_function_0.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/golden/type-errors/not_a_function_0.ditto -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden/type-errors/not_a_function_0.error: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/golden/type-errors/not_a_function_0.error -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden/type-errors/not_a_function_1.ditto: -------------------------------------------------------------------------------- 1 | module Test exports (..) 2 | 3 | huh = 5 |> 5 4 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden/type-errors/not_a_function_1.error: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/golden/type-errors/not_a_function_1.error -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden/type-errors/package_not_found.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/golden/type-errors/package_not_found.ditto -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden/type-errors/package_not_found.error: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/golden/type-errors/package_not_found.error -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden/type-errors/rebound_import_type.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/golden/type-errors/rebound_import_type.ditto -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden/type-errors/rebound_import_type.error: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/golden/type-errors/rebound_import_type.error -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden/type-errors/rebound_import_value.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/golden/type-errors/rebound_import_value.ditto -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden/type-errors/rebound_import_value.error: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/golden/type-errors/rebound_import_value.error -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden/type-errors/type_argument_length_mismatch_0.ditto: -------------------------------------------------------------------------------- 1 | module Test exports (..) 2 | 3 | fives : Array(Int, Bool) = [1, 2, 3] 4 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden/type-errors/type_not_a_function_0.ditto: -------------------------------------------------------------------------------- 1 | module Test exports (..) 2 | 3 | huh : Bool(Int) = True 4 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden/type-errors/type_not_a_function_0.error: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/golden/type-errors/type_not_a_function_0.error -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden/type-errors/unification_error_0.ditto: -------------------------------------------------------------------------------- 1 | module Test exports (..) 2 | 3 | five : Int = 5.0 4 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden/type-errors/unification_error_0.error: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/golden/type-errors/unification_error_0.error -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden/type-errors/unification_error_1.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/golden/type-errors/unification_error_1.ditto -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden/type-errors/unification_error_2.ditto: -------------------------------------------------------------------------------- 1 | module Test exports (..) 2 | 3 | five = if true then 5 else "5" 4 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden/type-errors/unification_error_3.ditto: -------------------------------------------------------------------------------- 1 | module Test exports (..) 2 | 3 | not_five = if "false" then 5 else 4 4 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden/type-errors/unknown_constructor.ditto: -------------------------------------------------------------------------------- 1 | module Test exports (..) 2 | 3 | bang = Nada 4 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden/type-errors/unknown_type_constructor.ditto: -------------------------------------------------------------------------------- 1 | module Test exports (..) 2 | 3 | wut = fn (eh: NotReal) -> unit 4 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden/type-errors/unknown_type_export.ditto: -------------------------------------------------------------------------------- 1 | module Test exports ( 2 | Huh 3 | ) 4 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden/type-errors/unknown_value_export.ditto: -------------------------------------------------------------------------------- 1 | module Test exports (huh) 2 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden/type-errors/unknown_variable.ditto: -------------------------------------------------------------------------------- 1 | module Test exports (..) 2 | 3 | bang = nada 4 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden/type-errors/unknown_variable.error: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/golden/type-errors/unknown_variable.error -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden/type-errors/unknown_variable_typo.ditto: -------------------------------------------------------------------------------- 1 | module Test exports (..) 2 | 3 | five = 5 4 | 5 | suggest = fide 6 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden/warnings/duplicate_type_export.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/golden/warnings/duplicate_type_export.ditto -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden/warnings/duplicate_type_import.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/golden/warnings/duplicate_type_import.ditto -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden/warnings/redundant_pattern_0.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/golden/warnings/redundant_pattern_0.ditto -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden/warnings/redundant_pattern_1.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/golden/warnings/redundant_pattern_1.ditto -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden/warnings/redundant_patterns.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/golden/warnings/redundant_patterns.ditto -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden/warnings/redundant_patterns.warnings: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/golden/warnings/redundant_patterns.warnings -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden/warnings/unused_effect_binder.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/golden/warnings/unused_effect_binder.ditto -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden/warnings/unused_foreign_value.ditto: -------------------------------------------------------------------------------- 1 | module Test exports (..) 2 | 3 | foreign five : Int 4 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden/warnings/unused_function_binder.ditto: -------------------------------------------------------------------------------- 1 | module Test exports (..) 2 | 3 | always_five = fn (ignore) -> 5 4 | -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden/warnings/unused_import.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/golden/warnings/unused_import.ditto -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden/warnings/unused_import.warnings: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/golden/warnings/unused_import.warnings -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden/warnings/unused_pattern_binder.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/golden/warnings/unused_pattern_binder.ditto -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden_error_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/golden_error_tests.rs -------------------------------------------------------------------------------- /crates/ditto-checker/tests/golden_warning_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/golden_warning_tests.rs -------------------------------------------------------------------------------- /crates/ditto-checker/tests/trycmd_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-checker/tests/trycmd_tests.rs -------------------------------------------------------------------------------- /crates/ditto-cli/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cli/Cargo.toml -------------------------------------------------------------------------------- /crates/ditto-cli/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cli/README.md -------------------------------------------------------------------------------- /crates/ditto-cli/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cli/build.rs -------------------------------------------------------------------------------- /crates/ditto-cli/src/bootstrap.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cli/src/bootstrap.rs -------------------------------------------------------------------------------- /crates/ditto-cli/src/common.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cli/src/common.rs -------------------------------------------------------------------------------- /crates/ditto-cli/src/fmt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cli/src/fmt.rs -------------------------------------------------------------------------------- /crates/ditto-cli/src/lsp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cli/src/lsp.rs -------------------------------------------------------------------------------- /crates/ditto-cli/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cli/src/main.rs -------------------------------------------------------------------------------- /crates/ditto-cli/src/make.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cli/src/make.rs -------------------------------------------------------------------------------- /crates/ditto-cli/src/ninja.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cli/src/ninja.rs -------------------------------------------------------------------------------- /crates/ditto-cli/src/pkg.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cli/src/pkg.rs -------------------------------------------------------------------------------- /crates/ditto-cli/src/spinner.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cli/src/spinner.rs -------------------------------------------------------------------------------- /crates/ditto-cli/src/version.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cli/src/version.rs -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/.ignore: -------------------------------------------------------------------------------- 1 | *.in -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/bootstrap_custom_name/test.out/vanilla-pkg/.gitignore: -------------------------------------------------------------------------------- 1 | .ditto -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/bootstrap_custom_name/test.out/vanilla-pkg/ditto-src/Custom.ditto: -------------------------------------------------------------------------------- 1 | module Custom exports (..) 2 | -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/bootstrap_custom_name/test.stderr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/bootstrap_custom_name/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cli/tests/cmd/bootstrap_custom_name/test.stdout -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/bootstrap_custom_name/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cli/tests/cmd/bootstrap_custom_name/test.toml -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/bootstrap_dir_exists/test.in/vanilla-pkg/.keep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/bootstrap_dir_exists/test.stderr: -------------------------------------------------------------------------------- 1 | 2 | × path "vanilla-pkg" already exists 3 | 4 | -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/bootstrap_dir_exists/test.stdout: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/bootstrap_dir_exists/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cli/tests/cmd/bootstrap_dir_exists/test.toml -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/bootstrap_invalid_package_name/test.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cli/tests/cmd/bootstrap_invalid_package_name/test.stderr -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/bootstrap_invalid_package_name/test.stdout: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/bootstrap_invalid_package_name/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cli/tests/cmd/bootstrap_invalid_package_name/test.toml -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/bootstrap_invalid_package_name_from_dir/test.stdout: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/bootstrap_javascript/test.out/js-pkg/.gitignore: -------------------------------------------------------------------------------- 1 | .ditto 2 | dist 3 | node_modules -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/bootstrap_javascript/test.out/js-pkg/ditto-src/JsPkg.ditto: -------------------------------------------------------------------------------- 1 | module JsPkg exports (..) 2 | -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/bootstrap_javascript/test.stderr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/bootstrap_javascript/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cli/tests/cmd/bootstrap_javascript/test.stdout -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/bootstrap_javascript/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cli/tests/cmd/bootstrap_javascript/test.toml -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/bootstrap_nested_dir/test.out/pkgs/vanilla-pkg/.gitignore: -------------------------------------------------------------------------------- 1 | .ditto -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/bootstrap_nested_dir/test.out/pkgs/vanilla-pkg/ditto-src/VanillaPkg.ditto: -------------------------------------------------------------------------------- 1 | module VanillaPkg exports (..) 2 | -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/bootstrap_nested_dir/test.stderr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/bootstrap_nested_dir/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cli/tests/cmd/bootstrap_nested_dir/test.stdout -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/bootstrap_nested_dir/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cli/tests/cmd/bootstrap_nested_dir/test.toml -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/bootstrap_vanilla/test.out/vanilla-pkg/.gitignore: -------------------------------------------------------------------------------- 1 | .ditto -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/bootstrap_vanilla/test.out/vanilla-pkg/ditto-src/VanillaPkg.ditto: -------------------------------------------------------------------------------- 1 | module VanillaPkg exports (..) 2 | -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/bootstrap_vanilla/test.stderr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/bootstrap_vanilla/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cli/tests/cmd/bootstrap_vanilla/test.stdout -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/bootstrap_vanilla/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cli/tests/cmd/bootstrap_vanilla/test.toml -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/fmt_both_files_and_stdin/test.in/Bar.ditto: -------------------------------------------------------------------------------- 1 | module Bar exports (..) 2 | -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/fmt_both_files_and_stdin/test.in/Foo.ditto: -------------------------------------------------------------------------------- 1 | module Foo exports (..); 2 | -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/fmt_both_files_and_stdin/test.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cli/tests/cmd/fmt_both_files_and_stdin/test.stderr -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/fmt_both_files_and_stdin/test.stdout: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/fmt_both_files_and_stdin/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cli/tests/cmd/fmt_both_files_and_stdin/test.toml -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/fmt_file_check_error/test.in/Foo.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cli/tests/cmd/fmt_file_check_error/test.in/Foo.ditto -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/fmt_file_check_error/test.stderr: -------------------------------------------------------------------------------- 1 | Foo.ditto needs formatting 2 | -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/fmt_file_check_error/test.stdin: -------------------------------------------------------------------------------- 1 | module 2 | Foo 3 | exports 4 | (..); -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/fmt_file_check_error/test.stdout: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/fmt_file_check_error/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cli/tests/cmd/fmt_file_check_error/test.toml -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/fmt_files/test.in/Bar.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cli/tests/cmd/fmt_files/test.in/Bar.ditto -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/fmt_files/test.in/Foo.ditto: -------------------------------------------------------------------------------- 1 | module 2 | Foo 3 | exports 4 | (..) -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/fmt_files/test.out/Bar.ditto: -------------------------------------------------------------------------------- 1 | module Bar exports (..) 2 | -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/fmt_files/test.out/Foo.ditto: -------------------------------------------------------------------------------- 1 | module Foo exports (..) 2 | -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/fmt_files/test.stdout: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/fmt_files/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cli/tests/cmd/fmt_files/test.toml -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/fmt_stdin/test.stdin: -------------------------------------------------------------------------------- 1 | module 2 | Foo 3 | exports 4 | (..) -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/fmt_stdin/test.stdout: -------------------------------------------------------------------------------- 1 | module Foo exports (..) 2 | -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/fmt_stdin/test.toml: -------------------------------------------------------------------------------- 1 | bin.name = "ditto" 2 | args = ["fmt", "--stdin"] 3 | -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/fmt_stdin_check_error/test.stderr: -------------------------------------------------------------------------------- 1 | 2 | × stdin isn't formatted 3 | 4 | -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/fmt_stdin_check_error/test.stdin: -------------------------------------------------------------------------------- 1 | module 2 | Foo 3 | exports 4 | (..) -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/fmt_stdin_check_error/test.stdout: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/fmt_stdin_check_error/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cli/tests/cmd/fmt_stdin_check_error/test.toml -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/make_check/test.in/.gitignore: -------------------------------------------------------------------------------- 1 | .ditto -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/make_check/test.in/ditto-src/VanillaPkg.ditto: -------------------------------------------------------------------------------- 1 | module VanillaPkg exports (..) 2 | -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/make_check/test.in/ditto.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cli/tests/cmd/make_check/test.in/ditto.toml -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/make_check/test.stderr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/make_check/test.stdout: -------------------------------------------------------------------------------- 1 | Checking VanillaPkg 2 | -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/make_check/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cli/tests/cmd/make_check/test.toml -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/make_javascript/test.in/.gitignore: -------------------------------------------------------------------------------- 1 | .ditto 2 | dist 3 | node_modules -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/make_javascript/test.in/ditto-src/JsPkg.ditto: -------------------------------------------------------------------------------- 1 | module JsPkg exports (..) 2 | -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/make_javascript/test.in/ditto.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cli/tests/cmd/make_javascript/test.in/ditto.toml -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/make_javascript/test.in/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cli/tests/cmd/make_javascript/test.in/package.json -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/make_javascript/test.out/dist/JsPkg.js: -------------------------------------------------------------------------------- 1 | export {}; 2 | -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/make_javascript/test.stderr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/make_javascript/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cli/tests/cmd/make_javascript/test.stdout -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/make_javascript/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cli/tests/cmd/make_javascript/test.toml -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/version/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cli/tests/cmd/version/test.stdout -------------------------------------------------------------------------------- /crates/ditto-cli/tests/cmd/version/test.toml: -------------------------------------------------------------------------------- 1 | bin.name = "ditto" 2 | args = ["--version"] 3 | -------------------------------------------------------------------------------- /crates/ditto-cli/tests/trycmd_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cli/tests/trycmd_tests.rs -------------------------------------------------------------------------------- /crates/ditto-codegen-js/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-codegen-js/Cargo.toml -------------------------------------------------------------------------------- /crates/ditto-codegen-js/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-codegen-js/README.md -------------------------------------------------------------------------------- /crates/ditto-codegen-js/src/ast.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-codegen-js/src/ast.rs -------------------------------------------------------------------------------- /crates/ditto-codegen-js/src/convert.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-codegen-js/src/convert.rs -------------------------------------------------------------------------------- /crates/ditto-codegen-js/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-codegen-js/src/lib.rs -------------------------------------------------------------------------------- /crates/ditto-codegen-js/src/optimize/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-codegen-js/src/optimize/mod.rs -------------------------------------------------------------------------------- /crates/ditto-codegen-js/src/optimize/rewrites.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-codegen-js/src/optimize/rewrites.rs -------------------------------------------------------------------------------- /crates/ditto-codegen-js/src/render.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-codegen-js/src/render.rs -------------------------------------------------------------------------------- /crates/ditto-codegen-js/tests/golden/basic_expressions.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-codegen-js/tests/golden/basic_expressions.ditto -------------------------------------------------------------------------------- /crates/ditto-codegen-js/tests/golden/basic_expressions.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-codegen-js/tests/golden/basic_expressions.js -------------------------------------------------------------------------------- /crates/ditto-codegen-js/tests/golden/complex_if.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-codegen-js/tests/golden/complex_if.ditto -------------------------------------------------------------------------------- /crates/ditto-codegen-js/tests/golden/complex_if.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-codegen-js/tests/golden/complex_if.js -------------------------------------------------------------------------------- /crates/ditto-codegen-js/tests/golden/effect_expressions.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-codegen-js/tests/golden/effect_expressions.ditto -------------------------------------------------------------------------------- /crates/ditto-codegen-js/tests/golden/effect_expressions.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-codegen-js/tests/golden/effect_expressions.js -------------------------------------------------------------------------------- /crates/ditto-codegen-js/tests/golden/foreign_impls.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-codegen-js/tests/golden/foreign_impls.ditto -------------------------------------------------------------------------------- /crates/ditto-codegen-js/tests/golden/foreign_impls.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-codegen-js/tests/golden/foreign_impls.js -------------------------------------------------------------------------------- /crates/ditto-codegen-js/tests/golden/imports.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-codegen-js/tests/golden/imports.ditto -------------------------------------------------------------------------------- /crates/ditto-codegen-js/tests/golden/imports.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-codegen-js/tests/golden/imports.js -------------------------------------------------------------------------------- /crates/ditto-codegen-js/tests/golden/irrefutable_argument_patterns.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-codegen-js/tests/golden/irrefutable_argument_patterns.js -------------------------------------------------------------------------------- /crates/ditto-codegen-js/tests/golden/keyword_mangling.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-codegen-js/tests/golden/keyword_mangling.ditto -------------------------------------------------------------------------------- /crates/ditto-codegen-js/tests/golden/keyword_mangling.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-codegen-js/tests/golden/keyword_mangling.js -------------------------------------------------------------------------------- /crates/ditto-codegen-js/tests/golden/let_expressions.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-codegen-js/tests/golden/let_expressions.ditto -------------------------------------------------------------------------------- /crates/ditto-codegen-js/tests/golden/let_expressions.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-codegen-js/tests/golden/let_expressions.js -------------------------------------------------------------------------------- /crates/ditto-codegen-js/tests/golden/match_expressions.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-codegen-js/tests/golden/match_expressions.ditto -------------------------------------------------------------------------------- /crates/ditto-codegen-js/tests/golden/match_expressions.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-codegen-js/tests/golden/match_expressions.js -------------------------------------------------------------------------------- /crates/ditto-codegen-js/tests/golden/number_literals.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-codegen-js/tests/golden/number_literals.ditto -------------------------------------------------------------------------------- /crates/ditto-codegen-js/tests/golden/number_literals.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-codegen-js/tests/golden/number_literals.js -------------------------------------------------------------------------------- /crates/ditto-codegen-js/tests/golden/objects.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-codegen-js/tests/golden/objects.ditto -------------------------------------------------------------------------------- /crates/ditto-codegen-js/tests/golden/objects.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-codegen-js/tests/golden/objects.js -------------------------------------------------------------------------------- /crates/ditto-codegen-js/tests/golden/pipe_expressions.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-codegen-js/tests/golden/pipe_expressions.ditto -------------------------------------------------------------------------------- /crates/ditto-codegen-js/tests/golden/pipe_expressions.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-codegen-js/tests/golden/pipe_expressions.js -------------------------------------------------------------------------------- /crates/ditto-codegen-js/tests/golden/recursive_constants.ditto: -------------------------------------------------------------------------------- 1 | module Test exports (..) 2 | 3 | a = b 4 | b = a 5 | -------------------------------------------------------------------------------- /crates/ditto-codegen-js/tests/golden/recursive_constants.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-codegen-js/tests/golden/recursive_constants.js -------------------------------------------------------------------------------- /crates/ditto-codegen-js/tests/golden/recursive_functions.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-codegen-js/tests/golden/recursive_functions.ditto -------------------------------------------------------------------------------- /crates/ditto-codegen-js/tests/golden/recursive_functions.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-codegen-js/tests/golden/recursive_functions.js -------------------------------------------------------------------------------- /crates/ditto-codegen-js/tests/golden/strings.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-codegen-js/tests/golden/strings.ditto -------------------------------------------------------------------------------- /crates/ditto-codegen-js/tests/golden/strings.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-codegen-js/tests/golden/strings.js -------------------------------------------------------------------------------- /crates/ditto-codegen-js/tests/golden/type_declarations.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-codegen-js/tests/golden/type_declarations.ditto -------------------------------------------------------------------------------- /crates/ditto-codegen-js/tests/golden/type_declarations.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-codegen-js/tests/golden/type_declarations.js -------------------------------------------------------------------------------- /crates/ditto-codegen-js/tests/golden/unused_patterns.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-codegen-js/tests/golden/unused_patterns.ditto -------------------------------------------------------------------------------- /crates/ditto-codegen-js/tests/golden/unused_patterns.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-codegen-js/tests/golden/unused_patterns.js -------------------------------------------------------------------------------- /crates/ditto-codegen-js/tests/golden_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-codegen-js/tests/golden_tests.rs -------------------------------------------------------------------------------- /crates/ditto-codegen-js/tests/node_execution_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-codegen-js/tests/node_execution_tests.rs -------------------------------------------------------------------------------- /crates/ditto-config/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-config/Cargo.toml -------------------------------------------------------------------------------- /crates/ditto-config/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-config/README.md -------------------------------------------------------------------------------- /crates/ditto-config/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-config/src/lib.rs -------------------------------------------------------------------------------- /crates/ditto-config/src/package_set.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-config/src/package_set.rs -------------------------------------------------------------------------------- /crates/ditto-config/src/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-config/src/tests.rs -------------------------------------------------------------------------------- /crates/ditto-config/tests/golden/parse-errors/bad_target.error: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-config/tests/golden/parse-errors/bad_target.error -------------------------------------------------------------------------------- /crates/ditto-config/tests/golden/parse-errors/bad_target.toml: -------------------------------------------------------------------------------- 1 | name = "test" 2 | 3 | targets = ["nah"] 4 | -------------------------------------------------------------------------------- /crates/ditto-config/tests/golden/parse-errors/missing_name.error: -------------------------------------------------------------------------------- 1 | 2 | × missing field `name` 3 | -------------------------------------------------------------------------------- /crates/ditto-config/tests/golden/parse-errors/missing_name.toml: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-config/tests/golden/parse-errors/syntax_error_0.error: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-config/tests/golden/parse-errors/syntax_error_0.error -------------------------------------------------------------------------------- /crates/ditto-config/tests/golden/parse-errors/syntax_error_0.toml: -------------------------------------------------------------------------------- 1 | name = " 2 | -------------------------------------------------------------------------------- /crates/ditto-config/tests/golden/parse-errors/syntax_error_1.error: -------------------------------------------------------------------------------- 1 | 2 | × unexpected eof encountered at line 4 column 1 3 | -------------------------------------------------------------------------------- /crates/ditto-config/tests/golden/parse-errors/syntax_error_1.toml: -------------------------------------------------------------------------------- 1 | name = "test" 2 | 3 | targets = [ 4 | -------------------------------------------------------------------------------- /crates/ditto-config/tests/golden_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-config/tests/golden_tests.rs -------------------------------------------------------------------------------- /crates/ditto-cst/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cst/Cargo.toml -------------------------------------------------------------------------------- /crates/ditto-cst/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cst/README.md -------------------------------------------------------------------------------- /crates/ditto-cst/benches/expressions.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cst/benches/expressions.rs -------------------------------------------------------------------------------- /crates/ditto-cst/build.rs: -------------------------------------------------------------------------------- 1 | fn main() { 2 | lalrpop::process_root().unwrap(); 3 | } 4 | -------------------------------------------------------------------------------- /crates/ditto-cst/src/ditto.lalrpop: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cst/src/ditto.lalrpop -------------------------------------------------------------------------------- /crates/ditto-cst/src/expression.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cst/src/expression.rs -------------------------------------------------------------------------------- /crates/ditto-cst/src/get_span.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cst/src/get_span.rs -------------------------------------------------------------------------------- /crates/ditto-cst/src/lexer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cst/src/lexer.rs -------------------------------------------------------------------------------- /crates/ditto-cst/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cst/src/lib.rs -------------------------------------------------------------------------------- /crates/ditto-cst/src/module.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cst/src/module.rs -------------------------------------------------------------------------------- /crates/ditto-cst/src/name.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cst/src/name.rs -------------------------------------------------------------------------------- /crates/ditto-cst/src/parser/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cst/src/parser/mod.rs -------------------------------------------------------------------------------- /crates/ditto-cst/src/parser/tests/declaration.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cst/src/parser/tests/declaration.rs -------------------------------------------------------------------------------- /crates/ditto-cst/src/parser/tests/expression.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cst/src/parser/tests/expression.rs -------------------------------------------------------------------------------- /crates/ditto-cst/src/parser/tests/imports.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cst/src/parser/tests/imports.rs -------------------------------------------------------------------------------- /crates/ditto-cst/src/parser/tests/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cst/src/parser/tests/mod.rs -------------------------------------------------------------------------------- /crates/ditto-cst/src/parser/tests/module_header.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cst/src/parser/tests/module_header.rs -------------------------------------------------------------------------------- /crates/ditto-cst/src/parser/tests/partials.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cst/src/parser/tests/partials.rs -------------------------------------------------------------------------------- /crates/ditto-cst/src/parser/tests/type.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cst/src/parser/tests/type.rs -------------------------------------------------------------------------------- /crates/ditto-cst/src/syntax.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cst/src/syntax.rs -------------------------------------------------------------------------------- /crates/ditto-cst/src/token.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cst/src/token.rs -------------------------------------------------------------------------------- /crates/ditto-cst/src/type.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cst/src/type.rs -------------------------------------------------------------------------------- /crates/ditto-cst/tests/golden/parse-errors/bad_package_name.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cst/tests/golden/parse-errors/bad_package_name.ditto -------------------------------------------------------------------------------- /crates/ditto-cst/tests/golden/parse-errors/bad_package_name.error: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cst/tests/golden/parse-errors/bad_package_name.error -------------------------------------------------------------------------------- /crates/ditto-cst/tests/golden/parse-errors/empty_input.ditto: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-cst/tests/golden/parse-errors/empty_input.error: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cst/tests/golden/parse-errors/empty_input.error -------------------------------------------------------------------------------- /crates/ditto-cst/tests/golden/parse-errors/partial_module_header.ditto: -------------------------------------------------------------------------------- 1 | -- test 2 | module 3 | -------------------------------------------------------------------------------- /crates/ditto-cst/tests/golden/parse-errors/partial_module_header.error: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cst/tests/golden/parse-errors/partial_module_header.error -------------------------------------------------------------------------------- /crates/ditto-cst/tests/golden_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-cst/tests/golden_tests.rs -------------------------------------------------------------------------------- /crates/ditto-fmt/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-fmt/Cargo.toml -------------------------------------------------------------------------------- /crates/ditto-fmt/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-fmt/README.md -------------------------------------------------------------------------------- /crates/ditto-fmt/src/config.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-fmt/src/config.rs -------------------------------------------------------------------------------- /crates/ditto-fmt/src/declaration.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-fmt/src/declaration.rs -------------------------------------------------------------------------------- /crates/ditto-fmt/src/expression.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-fmt/src/expression.rs -------------------------------------------------------------------------------- /crates/ditto-fmt/src/has_comments.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-fmt/src/has_comments.rs -------------------------------------------------------------------------------- /crates/ditto-fmt/src/helpers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-fmt/src/helpers.rs -------------------------------------------------------------------------------- /crates/ditto-fmt/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-fmt/src/lib.rs -------------------------------------------------------------------------------- /crates/ditto-fmt/src/module.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-fmt/src/module.rs -------------------------------------------------------------------------------- /crates/ditto-fmt/src/name.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-fmt/src/name.rs -------------------------------------------------------------------------------- /crates/ditto-fmt/src/syntax.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-fmt/src/syntax.rs -------------------------------------------------------------------------------- /crates/ditto-fmt/src/token.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-fmt/src/token.rs -------------------------------------------------------------------------------- /crates/ditto-fmt/src/type.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-fmt/src/type.rs -------------------------------------------------------------------------------- /crates/ditto-fmt/tests/golden/effect_expressions.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-fmt/tests/golden/effect_expressions.ditto -------------------------------------------------------------------------------- /crates/ditto-fmt/tests/golden/empty_module.ditto: -------------------------------------------------------------------------------- 1 | module Test exports (..) 2 | -------------------------------------------------------------------------------- /crates/ditto-fmt/tests/golden/empty_module_with_trailing_comments.ditto: -------------------------------------------------------------------------------- 1 | module Test exports (..) 2 | 3 | 4 | -- comment 5 | -------------------------------------------------------------------------------- /crates/ditto-fmt/tests/golden/if_then_else.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-fmt/tests/golden/if_then_else.ditto -------------------------------------------------------------------------------- /crates/ditto-fmt/tests/golden/import_sorting.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-fmt/tests/golden/import_sorting.ditto -------------------------------------------------------------------------------- /crates/ditto-fmt/tests/golden/kitchen_sink.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-fmt/tests/golden/kitchen_sink.ditto -------------------------------------------------------------------------------- /crates/ditto-fmt/tests/golden/let_expressions.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-fmt/tests/golden/let_expressions.ditto -------------------------------------------------------------------------------- /crates/ditto-fmt/tests/golden/match_expressions.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-fmt/tests/golden/match_expressions.ditto -------------------------------------------------------------------------------- /crates/ditto-fmt/tests/golden/newtypes.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-fmt/tests/golden/newtypes.ditto -------------------------------------------------------------------------------- /crates/ditto-fmt/tests/golden/pipe_expressions.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-fmt/tests/golden/pipe_expressions.ditto -------------------------------------------------------------------------------- /crates/ditto-fmt/tests/golden/records.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-fmt/tests/golden/records.ditto -------------------------------------------------------------------------------- /crates/ditto-fmt/tests/golden/type_aliases.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-fmt/tests/golden/type_aliases.ditto -------------------------------------------------------------------------------- /crates/ditto-fmt/tests/golden/type_declarations.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-fmt/tests/golden/type_declarations.ditto -------------------------------------------------------------------------------- /crates/ditto-fmt/tests/golden/value_declarations.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-fmt/tests/golden/value_declarations.ditto -------------------------------------------------------------------------------- /crates/ditto-fmt/tests/golden_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-fmt/tests/golden_tests.rs -------------------------------------------------------------------------------- /crates/ditto-highlight/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-highlight/Cargo.toml -------------------------------------------------------------------------------- /crates/ditto-highlight/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-highlight/src/lib.rs -------------------------------------------------------------------------------- /crates/ditto-highlight/tests/golden/brackets.ditto: -------------------------------------------------------------------------------- 1 | module Test exports (..); 2 | 3 | 4 | brackets = [{}]; 5 | -------------------------------------------------------------------------------- /crates/ditto-highlight/tests/golden/brackets.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-highlight/tests/golden/brackets.html -------------------------------------------------------------------------------- /crates/ditto-highlight/tests/golden/delimiters.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-highlight/tests/golden/delimiters.ditto -------------------------------------------------------------------------------- /crates/ditto-highlight/tests/golden/delimiters.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-highlight/tests/golden/delimiters.html -------------------------------------------------------------------------------- /crates/ditto-highlight/tests/golden/functions.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-highlight/tests/golden/functions.ditto -------------------------------------------------------------------------------- /crates/ditto-highlight/tests/golden/functions.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-highlight/tests/golden/functions.html -------------------------------------------------------------------------------- /crates/ditto-highlight/tests/golden/keywords-conditional.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-highlight/tests/golden/keywords-conditional.ditto -------------------------------------------------------------------------------- /crates/ditto-highlight/tests/golden/keywords-conditional.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-highlight/tests/golden/keywords-conditional.html -------------------------------------------------------------------------------- /crates/ditto-highlight/tests/golden/keywords-import.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-highlight/tests/golden/keywords-import.ditto -------------------------------------------------------------------------------- /crates/ditto-highlight/tests/golden/keywords-import.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-highlight/tests/golden/keywords-import.html -------------------------------------------------------------------------------- /crates/ditto-highlight/tests/golden/keywords.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-highlight/tests/golden/keywords.ditto -------------------------------------------------------------------------------- /crates/ditto-highlight/tests/golden/keywords.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-highlight/tests/golden/keywords.html -------------------------------------------------------------------------------- /crates/ditto-highlight/tests/golden/literals.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-highlight/tests/golden/literals.ditto -------------------------------------------------------------------------------- /crates/ditto-highlight/tests/golden/literals.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-highlight/tests/golden/literals.html -------------------------------------------------------------------------------- /crates/ditto-highlight/tests/golden/members.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-highlight/tests/golden/members.ditto -------------------------------------------------------------------------------- /crates/ditto-highlight/tests/golden/members.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-highlight/tests/golden/members.html -------------------------------------------------------------------------------- /crates/ditto-highlight/tests/golden/namespace.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-highlight/tests/golden/namespace.ditto -------------------------------------------------------------------------------- /crates/ditto-highlight/tests/golden/namespace.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-highlight/tests/golden/namespace.html -------------------------------------------------------------------------------- /crates/ditto-highlight/tests/golden/operators.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-highlight/tests/golden/operators.ditto -------------------------------------------------------------------------------- /crates/ditto-highlight/tests/golden/operators.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-highlight/tests/golden/operators.html -------------------------------------------------------------------------------- /crates/ditto-highlight/tests/golden/parameters.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-highlight/tests/golden/parameters.ditto -------------------------------------------------------------------------------- /crates/ditto-highlight/tests/golden/parameters.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-highlight/tests/golden/parameters.html -------------------------------------------------------------------------------- /crates/ditto-highlight/tests/golden/symbols.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-highlight/tests/golden/symbols.ditto -------------------------------------------------------------------------------- /crates/ditto-highlight/tests/golden/symbols.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-highlight/tests/golden/symbols.html -------------------------------------------------------------------------------- /crates/ditto-highlight/tests/golden/types.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-highlight/tests/golden/types.ditto -------------------------------------------------------------------------------- /crates/ditto-highlight/tests/golden/types.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-highlight/tests/golden/types.html -------------------------------------------------------------------------------- /crates/ditto-highlight/tests/golden/variables.ditto: -------------------------------------------------------------------------------- 1 | module Test exports (..); 2 | 3 | 4 | identity = fn (a) -> a; 5 | -------------------------------------------------------------------------------- /crates/ditto-highlight/tests/golden/variables.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-highlight/tests/golden/variables.html -------------------------------------------------------------------------------- /crates/ditto-highlight/tests/golden_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-highlight/tests/golden_tests.rs -------------------------------------------------------------------------------- /crates/ditto-lsp/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-lsp/Cargo.toml -------------------------------------------------------------------------------- /crates/ditto-lsp/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-lsp/README.md -------------------------------------------------------------------------------- /crates/ditto-lsp/fixtures/.ignore: -------------------------------------------------------------------------------- 1 | # For cargo-watch 2 | * 3 | -------------------------------------------------------------------------------- /crates/ditto-lsp/fixtures/diagnostics-0/ditto-src/A.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-lsp/fixtures/diagnostics-0/ditto-src/A.ditto -------------------------------------------------------------------------------- /crates/ditto-lsp/fixtures/diagnostics-0/ditto.toml: -------------------------------------------------------------------------------- 1 | name = "test" -------------------------------------------------------------------------------- /crates/ditto-lsp/fixtures/diagnostics-0/logs.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-lsp/fixtures/diagnostics-0/logs.txt -------------------------------------------------------------------------------- /crates/ditto-lsp/fixtures/diagnostics-1/.ditto/packages/core/ditto.toml: -------------------------------------------------------------------------------- 1 | name = "core" -------------------------------------------------------------------------------- /crates/ditto-lsp/fixtures/diagnostics-1/ditto-src/A.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-lsp/fixtures/diagnostics-1/ditto-src/A.ditto -------------------------------------------------------------------------------- /crates/ditto-lsp/fixtures/diagnostics-1/ditto.toml: -------------------------------------------------------------------------------- 1 | name = "test" -------------------------------------------------------------------------------- /crates/ditto-lsp/fixtures/diagnostics-1/logs.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-lsp/fixtures/diagnostics-1/logs.txt -------------------------------------------------------------------------------- /crates/ditto-lsp/fixtures/formatting/Example.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-lsp/fixtures/formatting/Example.ditto -------------------------------------------------------------------------------- /crates/ditto-lsp/fixtures/formatting/logs.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-lsp/fixtures/formatting/logs.txt -------------------------------------------------------------------------------- /crates/ditto-lsp/fixtures/semantic-tokens/Example.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-lsp/fixtures/semantic-tokens/Example.ditto -------------------------------------------------------------------------------- /crates/ditto-lsp/fixtures/semantic-tokens/logs.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-lsp/fixtures/semantic-tokens/logs.txt -------------------------------------------------------------------------------- /crates/ditto-lsp/lsp-test/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-lsp/lsp-test/Main.hs -------------------------------------------------------------------------------- /crates/ditto-lsp/lsp-test/ditto-lsp-test.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-lsp/lsp-test/ditto-lsp-test.cabal -------------------------------------------------------------------------------- /crates/ditto-lsp/src/bin/ditto-lsp-testbin.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-lsp/src/bin/ditto-lsp-testbin.rs -------------------------------------------------------------------------------- /crates/ditto-lsp/src/common.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-lsp/src/common.rs -------------------------------------------------------------------------------- /crates/ditto-lsp/src/db.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-lsp/src/db.rs -------------------------------------------------------------------------------- /crates/ditto-lsp/src/goto_definition.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-lsp/src/goto_definition.rs -------------------------------------------------------------------------------- /crates/ditto-lsp/src/hover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-lsp/src/hover.rs -------------------------------------------------------------------------------- /crates/ditto-lsp/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-lsp/src/lib.rs -------------------------------------------------------------------------------- /crates/ditto-lsp/src/locate.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-lsp/src/locate.rs -------------------------------------------------------------------------------- /crates/ditto-lsp/src/semantic_tokens.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-lsp/src/semantic_tokens.rs -------------------------------------------------------------------------------- /crates/ditto-lsp/src/test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-lsp/src/test.rs -------------------------------------------------------------------------------- /crates/ditto-lsp/tests/lsp_test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-lsp/tests/lsp_test.rs -------------------------------------------------------------------------------- /crates/ditto-make/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-make/Cargo.toml -------------------------------------------------------------------------------- /crates/ditto-make/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-make/README.md -------------------------------------------------------------------------------- /crates/ditto-make/src/bin/ditto-make-testbin.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-make/src/bin/ditto-make-testbin.rs -------------------------------------------------------------------------------- /crates/ditto-make/src/build_ninja.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-make/src/build_ninja.rs -------------------------------------------------------------------------------- /crates/ditto-make/src/common.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-make/src/common.rs -------------------------------------------------------------------------------- /crates/ditto-make/src/compile.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-make/src/compile.rs -------------------------------------------------------------------------------- /crates/ditto-make/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-make/src/lib.rs -------------------------------------------------------------------------------- /crates/ditto-make/src/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-make/src/utils.rs -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/.ignore: -------------------------------------------------------------------------------- 1 | *.in -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/all-good/test.in/dep/ditto-src/Dep.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-make/tests/cmd/all-good/test.in/dep/ditto-src/Dep.ditto -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/all-good/test.in/dep/ditto-src/Util.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-make/tests/cmd/all-good/test.in/dep/ditto-src/Util.ditto -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/all-good/test.in/dep/ditto.toml: -------------------------------------------------------------------------------- 1 | name = "dep" 2 | targets = ["web", "nodejs"] 3 | -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/all-good/test.in/ditto-src/A.ditto: -------------------------------------------------------------------------------- 1 | module A exports (..) 2 | 3 | type A = A 4 | -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/all-good/test.in/ditto-src/B.ditto: -------------------------------------------------------------------------------- 1 | module B exports (..) 2 | 3 | type B = B 4 | -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/all-good/test.in/ditto-src/C.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-make/tests/cmd/all-good/test.in/ditto-src/C.ditto -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/all-good/test.in/ditto-src/D.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-make/tests/cmd/all-good/test.in/ditto-src/D.ditto -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/all-good/test.in/ditto-src/D/E.ditto: -------------------------------------------------------------------------------- 1 | module D.E exports (..) 2 | 3 | type E = E 4 | -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/all-good/test.in/ditto.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-make/tests/cmd/all-good/test.in/ditto.toml -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/all-good/test.stderr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/all-good/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-make/tests/cmd/all-good/test.stdout -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/all-good/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-make/tests/cmd/all-good/test.toml -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/duplicate-module-name/test.in/ditto-src/A.ditto: -------------------------------------------------------------------------------- 1 | module A exports (..) 2 | 3 | type A = A 4 | -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/duplicate-module-name/test.in/ditto-src/B.ditto: -------------------------------------------------------------------------------- 1 | module A exports (..) 2 | 3 | type B = B 4 | -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/duplicate-module-name/test.in/ditto.toml: -------------------------------------------------------------------------------- 1 | name = "test" 2 | -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/duplicate-module-name/test.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-make/tests/cmd/duplicate-module-name/test.stderr -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/duplicate-module-name/test.stdout: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/duplicate-module-name/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-make/tests/cmd/duplicate-module-name/test.toml -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/missing-module/test.in/ditto-src/A.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-make/tests/cmd/missing-module/test.in/ditto-src/A.ditto -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/missing-module/test.in/ditto.toml: -------------------------------------------------------------------------------- 1 | name = "test" 2 | -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/missing-module/test.stderr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/missing-module/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-make/tests/cmd/missing-module/test.stdout -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/missing-module/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-make/tests/cmd/missing-module/test.toml -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/module-cycle/test.in/ditto-src/A.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-make/tests/cmd/module-cycle/test.in/ditto-src/A.ditto -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/module-cycle/test.in/ditto-src/B.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-make/tests/cmd/module-cycle/test.in/ditto-src/B.ditto -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/module-cycle/test.in/ditto.toml: -------------------------------------------------------------------------------- 1 | name = "test" 2 | -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/module-cycle/test.stderr: -------------------------------------------------------------------------------- 1 | 2 | × modules form a cycle: `A`, `B` 3 | 4 | -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/module-cycle/test.stdout: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/module-cycle/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-make/tests/cmd/module-cycle/test.toml -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/no-codegen/test.in/build.ninja: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-make/tests/cmd/no-codegen/test.in/build.ninja -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/no-codegen/test.in/dep/ditto-src/Dep.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-make/tests/cmd/no-codegen/test.in/dep/ditto-src/Dep.ditto -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/no-codegen/test.in/dep/ditto.toml: -------------------------------------------------------------------------------- 1 | name = "dep" 2 | -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/no-codegen/test.in/ditto-src/A.ditto: -------------------------------------------------------------------------------- 1 | module A exports (..) 2 | 3 | type A = A 4 | -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/no-codegen/test.in/ditto-src/B.ditto: -------------------------------------------------------------------------------- 1 | module B exports (..) 2 | 3 | type B = B 4 | -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/no-codegen/test.in/ditto-src/C.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-make/tests/cmd/no-codegen/test.in/ditto-src/C.ditto -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/no-codegen/test.in/ditto-src/D.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-make/tests/cmd/no-codegen/test.in/ditto-src/D.ditto -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/no-codegen/test.in/ditto.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-make/tests/cmd/no-codegen/test.in/ditto.toml -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/no-codegen/test.stderr: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/no-codegen/test.stdout: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-make/tests/cmd/no-codegen/test.stdout -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/no-codegen/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-make/tests/cmd/no-codegen/test.toml -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/self-referencing-module/test.in/ditto.toml: -------------------------------------------------------------------------------- 1 | name = "test" 2 | -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/self-referencing-module/test.stderr: -------------------------------------------------------------------------------- 1 | 2 | × module `A` can't import itself! 3 | 4 | -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/self-referencing-module/test.stdout: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/self-referencing-module/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-make/tests/cmd/self-referencing-module/test.toml -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/target-mismatch/test.in/dep/ditto.toml: -------------------------------------------------------------------------------- 1 | name = "dep" 2 | targets = ["nodejs"] 3 | -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/target-mismatch/test.in/ditto-src/A.ditto: -------------------------------------------------------------------------------- 1 | module A exports (..) 2 | 3 | type A = A 4 | -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/target-mismatch/test.in/ditto-src/B.ditto: -------------------------------------------------------------------------------- 1 | module B exports (..) 2 | 3 | type B = B 4 | -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/target-mismatch/test.in/ditto-src/C.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-make/tests/cmd/target-mismatch/test.in/ditto-src/C.ditto -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/target-mismatch/test.in/ditto-src/D.ditto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-make/tests/cmd/target-mismatch/test.in/ditto-src/D.ditto -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/target-mismatch/test.in/ditto.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-make/tests/cmd/target-mismatch/test.in/ditto.toml -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/target-mismatch/test.stderr: -------------------------------------------------------------------------------- 1 | 2 | × package "dep" doesn't support targets: "web" 3 | 4 | -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/target-mismatch/test.stdout: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/target-mismatch/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-make/tests/cmd/target-mismatch/test.toml -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/unsupported-ditto-version/test.in/ditto.toml: -------------------------------------------------------------------------------- 1 | name = "test" 2 | ditto-version = "^1.0.0" 3 | -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/unsupported-ditto-version/test.stderr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-make/tests/cmd/unsupported-ditto-version/test.stderr -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/unsupported-ditto-version/test.stdout: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/ditto-make/tests/cmd/unsupported-ditto-version/test.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-make/tests/cmd/unsupported-ditto-version/test.toml -------------------------------------------------------------------------------- /crates/ditto-make/tests/trycmd_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-make/tests/trycmd_tests.rs -------------------------------------------------------------------------------- /crates/ditto-tree-sitter/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-tree-sitter/Cargo.toml -------------------------------------------------------------------------------- /crates/ditto-tree-sitter/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-tree-sitter/README.md -------------------------------------------------------------------------------- /crates/ditto-tree-sitter/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-tree-sitter/src/lib.rs -------------------------------------------------------------------------------- /crates/ditto-tree-sitter/tests/parsing_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/crates/ditto-tree-sitter/tests/parsing_tests.rs -------------------------------------------------------------------------------- /images/hello-ditto.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/images/hello-ditto.svg -------------------------------------------------------------------------------- /nixpkgs.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/nixpkgs.nix -------------------------------------------------------------------------------- /package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/package.json -------------------------------------------------------------------------------- /rust-toolchain.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/rust-toolchain.toml -------------------------------------------------------------------------------- /rustfmt.toml: -------------------------------------------------------------------------------- 1 | imports_granularity = "Crate" 2 | -------------------------------------------------------------------------------- /scripts/cargo-dupdeps.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/scripts/cargo-dupdeps.py -------------------------------------------------------------------------------- /scripts/cst-generator/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/scripts/cst-generator/Main.hs -------------------------------------------------------------------------------- /scripts/cst-generator/cst-generator.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/scripts/cst-generator/cst-generator.cabal -------------------------------------------------------------------------------- /scripts/dev.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/scripts/dev.sh -------------------------------------------------------------------------------- /scripts/list-executables.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/scripts/list-executables.py -------------------------------------------------------------------------------- /scripts/log-analysis/.gitignore: -------------------------------------------------------------------------------- 1 | logs.ndjson 2 | plot.png 3 | -------------------------------------------------------------------------------- /scripts/log-analysis/main.R: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/scripts/log-analysis/main.R -------------------------------------------------------------------------------- /scripts/log-analysis/shell.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/scripts/log-analysis/shell.nix -------------------------------------------------------------------------------- /scripts/release/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/scripts/release/README.md -------------------------------------------------------------------------------- /scripts/release/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/scripts/release/index.js -------------------------------------------------------------------------------- /scripts/release/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/scripts/release/package-lock.json -------------------------------------------------------------------------------- /scripts/release/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/scripts/release/package.json -------------------------------------------------------------------------------- /shell.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/shell.nix -------------------------------------------------------------------------------- /stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/stack.yaml -------------------------------------------------------------------------------- /stack.yaml.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/stack.yaml.lock -------------------------------------------------------------------------------- /treefmt.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ditto-lang/ditto/HEAD/treefmt.toml --------------------------------------------------------------------------------