David Peter dc1eeeb2ad Rename speed => velocity vor 2 Jahren
..
assert_eq_1.nbt 25001b5ed1 Better type checking for assert_eq vor 2 Jahren
assert_eq_2.nbt 25001b5ed1 Better type checking for assert_eq vor 2 Jahren
assert_eq_3.nbt 25001b5ed1 Better type checking for assert_eq vor 2 Jahren
can_not_add_apples_to_oranges.nbt 3c4d93af1b Shorthand notation for adding new dimensions, closes #42 vor 2 Jahren
can_not_infer_type_parameters.nbt 5533d88fbf Add spans to remaining type check errors vor 2 Jahren
conditional_branch_type_mismatch.nbt 714b262873 Add tests for typecheck errors vor 2 Jahren
conditional_expected_bool.nbt 714b262873 Add tests for typecheck errors vor 2 Jahren
dimension_name_conflict.nbt fedd0913fe Disallow base/derived dimension conflicts, closes #153 vor 2 Jahren
division_by_zero_in_const_eval.nbt 24b936f5b0 More spans for type check errors vor 2 Jahren
expected_dtype_1.nbt 714b262873 Add tests for typecheck errors vor 2 Jahren
expected_dtype_2.nbt 714b262873 Add tests for typecheck errors vor 2 Jahren
expected_dtype_3.nbt 714b262873 Add tests for typecheck errors vor 2 Jahren
foreign_function_without_parameter_type.nbt 53aa753949 Allow non-annotated parameter types, see #29 vor 2 Jahren
foreign_function_without_return_type.nbt 53aa753949 Allow non-annotated parameter types, see #29 vor 2 Jahren
incompatible_alternative_dimensions.nbt dc1eeeb2ad Rename speed => velocity vor 2 Jahren
incompatible_types_in_addition.nbt dc1eeeb2ad Rename speed => velocity vor 2 Jahren
incompatible_types_in_conversion.nbt 13f3a39bd2 Better incompatible-dimensions errors vor 2 Jahren
incompatible_types_in_function_argument.nbt dc1eeeb2ad Rename speed => velocity vor 2 Jahren
incompatible_types_in_modulo.nbt 5a041505d5 Remove modulo operator, add '%' unit vor 2 Jahren
multiple_unresolved_type_parameters.nbt 5533d88fbf Add spans to remaining type check errors vor 2 Jahren
non_scalar_exponent.nbt 24b936f5b0 More spans for type check errors vor 2 Jahren
type_parameter_name_clash.nbt 5533d88fbf Add spans to remaining type check errors vor 2 Jahren
unit_definition.nbt f0d603f9aa declare => define, new book chapters vor 2 Jahren
unknown_callable.nbt 24b936f5b0 More spans for type check errors vor 2 Jahren
unknown_foreign_function.nbt 24b936f5b0 More spans for type check errors vor 2 Jahren
unknown_identifier.nbt 24b936f5b0 More spans for type check errors vor 2 Jahren
unsupported_const_eval_expr_conversion.nbt 27f4fee657 Better wrong-arity errors vor 2 Jahren
unsupported_const_eval_expr_function_call.nbt 27f4fee657 Better wrong-arity errors vor 2 Jahren
unsupported_const_eval_expr_non_integer_exponent.nbt 27f4fee657 Better wrong-arity errors vor 2 Jahren
unsupported_const_eval_expr_unit.nbt 27f4fee657 Better wrong-arity errors vor 2 Jahren
unsupported_const_eval_expr_variable.nbt 27f4fee657 Better wrong-arity errors vor 2 Jahren
variable_definition.nbt f0d603f9aa declare => define, new book chapters vor 2 Jahren
wrong_arity_fn.nbt 1cf4e86e82 Better wrong-arity errors vor 2 Jahren
wrong_arity_procedure.nbt 1cf4e86e82 Better wrong-arity errors vor 2 Jahren
wrong_return_type.nbt dc1eeeb2ad Rename speed => velocity vor 2 Jahren