Error codes
Every error Aontu raises carries a code, and every code has a class. The class says what kind of thing went wrong, which is what decides your next move.
This is the registry itself, not a description of it:
test/spec/errcodes.tsv
is a shared contract both implementations execute, and each asserts set
equality against — a code in one engine and not the file fails that
engine's suite. Codes are append-only; renames are forbidden.
Machine-readable: /errors.json,
or /errors/<code>.json for one.
46 of 111 codes are marked
ahead: they are in the contract but post-date
aontu 0.52.1, the newest published release and the
one this site documents. They will not be raised by an engine you can
install today.
parse 24
the text is not a document — fix the syntax at the site the frame points at
-
decimal_syntax -
each_data0.53.0 -
elided_value0.53.0 -
filter_data0.53.0 -
func_arity0.53.0 -
id_name0.53.0 -
id_spread0.53.0 -
include_denied0.53.0 -
incomplete_expression -
merge_conflict0.53.0 -
module_integrity0.53.0 -
module_missing0.53.0 -
negative -
not_number -
pack_data0.53.0 -
pack_key0.53.0 -
parse -
parse_bad_src -
parse_unknown -
patch_assignment0.53.0 -
pipe_target0.53.0 -
refer_address0.53.0 -
syntax -
unify_no_src
conflict 45
two values cannot both hold — one of them is wrong: aontu why names both and where they were written
-
|:empty -
|:empty-dist -
aggregate_data0.53.0 -
aggregate_empty0.53.0 -
arg -
close -
closed -
constraint -
constraint_pattern0.53.0 -
decimal_budget -
divide_by_zero0.53.0 -
exact_float_mix -
float_overflow0.53.0 -
func -
func:family -
id_conflict0.53.0 -
inexact_divide0.53.0 -
inexact_integer_sum -
invalid-arg -
key_level -
list -
literal_nil -
lossy_integer_literal -
make -
map -
match_none0.53.0 -
must0.53.0 -
nil_gen -
no_first_arg -
no_scalar_unify -
not-scalar-type -
op -
op:family -
op[family -
operate -
pick_key0.53.0 -
place_pair0.53.0 -
relation_cycle0.53.0 -
relation_inverse_missing0.53.0 -
relation_target_unmet0.53.0 -
resolve -
scalar_kind -
scalar_value -
scalar-type -
unite
incomplete 10
nothing contradicts, but the value is not concrete — supply what is missing, or accept it with --partial
reference 13
a path names nothing — check the spelling; aontu get $ --keys lists what is there
-
invalid_var_kind -
multisource_not_found -
no_path -
patch_ambiguous0.53.0 -
patch_not_editable0.53.0 -
path_cycle -
ref -
ref[family -
refer_unresolved0.53.0 -
unknown_function -
unknown_var -
var -
var[family
compat 11
a change breaks an earlier version — that is aontu subsume / aontu breaking talking: widen the change or version it
-
compat_default_changed0.53.0 -
compat_marks_changed0.53.0 -
compat_narrowed0.53.0 -
compat_required_added0.53.0 -
deprecated0.53.0 -
pref_not_instance0.53.0 -
sub_default_indeterminate0.53.0 -
sub_disjunct_distribution0.53.0 -
sub_evaluate_only0.53.0 -
sub_path_dependent_spread0.53.0 -
sub_unresolved0.53.0
budget 4
evaluation hit a deterministic limit — usually a cycle; simplify, or raise the budget deliberately
internal 4
the engine surprised itself — a bug worth reporting