Split type errors from type checker
This commit is contained in:
Gaith Hallak
parent
433d180c17
commit
1f0726fad7
@ -18,6 +18,7 @@
|
|||||||
, unfold_types_in_type/3
|
, unfold_types_in_type/3
|
||||||
, switch_scope/2
|
, switch_scope/2
|
||||||
, lookup_env1/4
|
, lookup_env1/4
|
||||||
|
, get_env_namespace/1 %% TODO: Newly added
|
||||||
]).
|
]).
|
||||||
|
|
||||||
-include("aeso_utils.hrl").
|
-include("aeso_utils.hrl").
|
||||||
@ -163,24 +164,27 @@
|
|||||||
name(A) -> aeso_tc_name_manip:name(A).
|
name(A) -> aeso_tc_name_manip:name(A).
|
||||||
qname(A) -> aeso_tc_name_manip:qname(A).
|
qname(A) -> aeso_tc_name_manip:qname(A).
|
||||||
qid(A, B) -> aeso_tc_name_manip:qid(A, B).
|
qid(A, B) -> aeso_tc_name_manip:qid(A, B).
|
||||||
qcon(A, B) -> aeso_tc_name_manip:qcon(A, B).
|
|
||||||
set_qname(A, B) -> aeso_tc_name_manip:set_qname(A, B).
|
set_qname(A, B) -> aeso_tc_name_manip:set_qname(A, B).
|
||||||
|
|
||||||
%% -------
|
%% -------
|
||||||
|
|
||||||
pos(A) -> aeso_tc_ann_manip:pos(A).
|
pos(A) -> aeso_tc_ann_manip:pos(A).
|
||||||
pos(A, B) -> aeso_tc_ann_manip:pos(A, B).
|
|
||||||
|
%% -------
|
||||||
|
|
||||||
|
type_error(A) -> aeso_tc_errors:type_error(A).
|
||||||
|
create_type_errors() -> aeso_tc_errors:create_type_errors().
|
||||||
|
destroy_and_report_type_errors(A) -> aeso_tc_errors:destroy_and_report_type_errors(A).
|
||||||
|
cannot_unify(A, B, C, D) -> aeso_tc_errors:cannot_unify(A, B, C, D).
|
||||||
|
|
||||||
%% -------
|
%% -------
|
||||||
|
|
||||||
pp(A) -> aeso_tc_pp:pp(A).
|
pp(A) -> aeso_tc_pp:pp(A).
|
||||||
pp_type(A) -> aeso_tc_pp:pp_type(A).
|
|
||||||
pp_type(A, B) -> aeso_tc_pp:pp_type(A, B).
|
|
||||||
pp_typed(A, B, C) -> aeso_tc_pp:pp_typed(A, B, C).
|
|
||||||
pp_expr(A) -> aeso_tc_pp:pp_expr(A).
|
|
||||||
pp_why_record(A) -> aeso_tc_pp:pp_why_record(A).
|
|
||||||
pp_loc(A) -> aeso_tc_pp:pp_loc(A).
|
pp_loc(A) -> aeso_tc_pp:pp_loc(A).
|
||||||
pp_when(A) -> aeso_tc_pp:pp_when(A).
|
|
||||||
|
%% -- New functions ----------------------------------------------------------
|
||||||
|
|
||||||
|
get_env_namespace(#env{namespace = Namespace}) -> Namespace.
|
||||||
|
|
||||||
%% -- Environment manipulation -----------------------------------------------
|
%% -- Environment manipulation -----------------------------------------------
|
||||||
|
|
||||||
@ -3358,497 +3362,14 @@ warn_potential_negative_spend(Ann, Fun, Args) ->
|
|||||||
_ -> ok
|
_ -> ok
|
||||||
end.
|
end.
|
||||||
|
|
||||||
%% Save unification failures for error messages.
|
|
||||||
|
|
||||||
cannot_unify(A, B, Cxt, When) ->
|
|
||||||
type_error({cannot_unify, A, B, Cxt, When}).
|
|
||||||
|
|
||||||
type_error(Err) ->
|
|
||||||
aeso_ets_manager:ets_insert(type_errors, Err).
|
|
||||||
|
|
||||||
create_type_errors() ->
|
|
||||||
aeso_ets_manager:ets_new(type_errors, [bag]).
|
|
||||||
|
|
||||||
destroy_and_report_type_errors(Env) ->
|
|
||||||
Errors0 = lists:reverse(aeso_ets_manager:ets_tab2list(type_errors)),
|
|
||||||
%% io:format("Type errors now: ~p\n", [Errors0]),
|
|
||||||
aeso_ets_manager:ets_delete(type_errors),
|
|
||||||
Errors = [ mk_error(unqualify(Env, Err)) || Err <- Errors0 ],
|
|
||||||
aeso_errors:throw(Errors). %% No-op if Errors == []
|
|
||||||
|
|
||||||
destroy_and_report_warnings_as_type_errors() ->
|
destroy_and_report_warnings_as_type_errors() ->
|
||||||
Warnings = [ mk_warning(Warn) || Warn <- aeso_ets_manager:ets_tab2list(warnings) ],
|
Warnings = [ mk_warning(Warn) || Warn <- aeso_ets_manager:ets_tab2list(warnings) ],
|
||||||
Errors = lists:map(fun mk_t_err_from_warn/1, Warnings),
|
Errors = lists:map(fun mk_t_err_from_warn/1, Warnings),
|
||||||
aeso_errors:throw(Errors). %% No-op if Warnings == []
|
aeso_errors:throw(Errors). %% No-op if Warnings == []
|
||||||
|
|
||||||
%% Strip current namespace from error message for nicer printing.
|
|
||||||
unqualify(#env{ namespace = NS }, {qid, Ann, Xs}) ->
|
|
||||||
qid(Ann, unqualify1(NS, Xs));
|
|
||||||
unqualify(#env{ namespace = NS }, {qcon, Ann, Xs}) ->
|
|
||||||
qcon(Ann, unqualify1(NS, Xs));
|
|
||||||
unqualify(Env, T) when is_tuple(T) ->
|
|
||||||
list_to_tuple(unqualify(Env, tuple_to_list(T)));
|
|
||||||
unqualify(Env, [H | T]) -> [unqualify(Env, H) | unqualify(Env, T)];
|
|
||||||
unqualify(_Env, X) -> X.
|
|
||||||
|
|
||||||
unqualify1(NS, Xs) ->
|
|
||||||
try lists:split(length(NS), Xs) of
|
|
||||||
{NS, Ys} -> Ys;
|
|
||||||
_ -> Xs
|
|
||||||
catch _:_ -> Xs
|
|
||||||
end.
|
|
||||||
|
|
||||||
mk_t_err(Pos, Msg) ->
|
|
||||||
aeso_errors:new(type_error, Pos, lists:flatten(Msg)).
|
|
||||||
mk_t_err(Pos, Msg, Ctxt) ->
|
|
||||||
aeso_errors:new(type_error, Pos, lists:flatten(Msg), lists:flatten(Ctxt)).
|
|
||||||
|
|
||||||
mk_t_err_from_warn(Warn) ->
|
mk_t_err_from_warn(Warn) ->
|
||||||
aeso_warnings:warn_to_err(type_error, Warn).
|
aeso_warnings:warn_to_err(type_error, Warn).
|
||||||
|
|
||||||
mk_error({no_decls, File}) ->
|
|
||||||
Pos = aeso_errors:pos(File, 0, 0),
|
|
||||||
mk_t_err(Pos, "Empty contract");
|
|
||||||
mk_error({mismatched_decl_in_funblock, Name, Decl}) ->
|
|
||||||
Msg = io_lib:format("Mismatch in the function block. Expected implementation/type declaration of ~s function", [Name]),
|
|
||||||
mk_t_err(pos(Decl), Msg);
|
|
||||||
mk_error({higher_kinded_typevar, T}) ->
|
|
||||||
Msg = io_lib:format("Type `~s` is a higher kinded type variable "
|
|
||||||
"(takes another type as an argument)", [pp(aeso_type_utils:instantiate(T))]
|
|
||||||
),
|
|
||||||
mk_t_err(pos(T), Msg);
|
|
||||||
mk_error({wrong_type_arguments, X, ArityGiven, ArityReal}) ->
|
|
||||||
Msg = io_lib:format("Arity for ~s doesn't match. Expected ~p, got ~p"
|
|
||||||
, [pp(aeso_type_utils:instantiate(X)), ArityReal, ArityGiven]
|
|
||||||
),
|
|
||||||
mk_t_err(pos(X), Msg);
|
|
||||||
mk_error({unnamed_map_update_with_default, Upd}) ->
|
|
||||||
Msg = "Invalid map update with default",
|
|
||||||
mk_t_err(pos(Upd), Msg);
|
|
||||||
mk_error({fundecl_must_have_funtype, _Ann, Id, Type}) ->
|
|
||||||
Msg = io_lib:format("`~s` was declared with an invalid type `~s`. "
|
|
||||||
"Entrypoints and functions must have functional types"
|
|
||||||
, [pp(Id), pp(aeso_type_utils:instantiate(Type))]),
|
|
||||||
mk_t_err(pos(Id), Msg);
|
|
||||||
mk_error({cannot_unify, A, B, Cxt, When}) ->
|
|
||||||
VarianceContext = case Cxt of
|
|
||||||
none -> "";
|
|
||||||
_ -> io_lib:format(" in a ~p context", [Cxt])
|
|
||||||
end,
|
|
||||||
Msg = io_lib:format("Cannot unify `~s` and `~s`" ++ VarianceContext,
|
|
||||||
[pp(aeso_type_utils:instantiate(A)), pp(aeso_type_utils:instantiate(B))]),
|
|
||||||
{Pos, Ctxt} = pp_when(When),
|
|
||||||
mk_t_err(Pos, Msg, Ctxt);
|
|
||||||
mk_error({hole_found, Ann, Type}) ->
|
|
||||||
Msg = io_lib:format("Found a hole of type `~s`", [pp(aeso_type_utils:instantiate(Type))]),
|
|
||||||
mk_t_err(pos(Ann), Msg);
|
|
||||||
mk_error({unbound_variable, Id}) ->
|
|
||||||
Msg = io_lib:format("Unbound variable `~s`", [pp(Id)]),
|
|
||||||
case Id of
|
|
||||||
{qid, _, ["Chain", "event"]} ->
|
|
||||||
Cxt = "Did you forget to define the event type?",
|
|
||||||
mk_t_err(pos(Id), Msg, Cxt);
|
|
||||||
_ -> mk_t_err(pos(Id), Msg)
|
|
||||||
end;
|
|
||||||
mk_error({undefined_field, Id}) ->
|
|
||||||
Msg = io_lib:format("Unbound field ~s", [pp(Id)]),
|
|
||||||
mk_t_err(pos(Id), Msg);
|
|
||||||
mk_error({not_a_record_type, Type, Why}) ->
|
|
||||||
Msg = io_lib:format("Not a record type: `~s`", [pp_type(Type)]),
|
|
||||||
{Pos, Ctxt} = pp_why_record(Why),
|
|
||||||
mk_t_err(Pos, Msg, Ctxt);
|
|
||||||
mk_error({not_a_contract_type, Type, Cxt}) ->
|
|
||||||
Msg =
|
|
||||||
case Type of
|
|
||||||
{tvar, _, _} ->
|
|
||||||
"Unresolved contract type";
|
|
||||||
_ ->
|
|
||||||
io_lib:format("The type `~s` is not a contract type", [pp_type(Type)])
|
|
||||||
end,
|
|
||||||
{Pos, Cxt1} =
|
|
||||||
case Cxt of
|
|
||||||
{var_args, Ann, Fun} ->
|
|
||||||
{pos(Ann),
|
|
||||||
io_lib:format("when calling variadic function `~s`", [pp_expr(Fun)])};
|
|
||||||
{contract_literal, Lit} ->
|
|
||||||
{pos(Lit),
|
|
||||||
io_lib:format("when checking that the contract literal `~s` has the type `~s`",
|
|
||||||
[pp_expr(Lit), pp_type(Type)])};
|
|
||||||
{address_to_contract, Ann} ->
|
|
||||||
{pos(Ann),
|
|
||||||
io_lib:format("when checking that the call to `Address.to_contract` has the type `~s`",
|
|
||||||
[pp_type(Type)])}
|
|
||||||
end,
|
|
||||||
mk_t_err(Pos, Msg, Cxt1);
|
|
||||||
mk_error({non_linear_pattern, Pattern, Nonlinear}) ->
|
|
||||||
Msg = io_lib:format("Repeated name~s ~s in the pattern `~s`",
|
|
||||||
[plural("", "s", Nonlinear),
|
|
||||||
string:join(lists:map(fun(F) -> "`" ++ F ++ "`" end, Nonlinear), ", "),
|
|
||||||
pp_expr(Pattern)]),
|
|
||||||
mk_t_err(pos(Pattern), Msg);
|
|
||||||
mk_error({ambiguous_record, Fields = [{_, First} | _], Candidates}) ->
|
|
||||||
Msg = io_lib:format("Ambiguous record type with field~s ~s could be one of~s",
|
|
||||||
[plural("", "s", Fields),
|
|
||||||
string:join([ "`" ++ pp(F) ++ "`" || {_, F} <- Fields ], ", "),
|
|
||||||
[ ["\n - ", "`" ++ pp(C) ++ "`", " (at ", pp_loc(C), ")"] || C <- Candidates ]]),
|
|
||||||
mk_t_err(pos(First), Msg);
|
|
||||||
mk_error({missing_field, Field, Rec}) ->
|
|
||||||
Msg = io_lib:format("Record type `~s` does not have field `~s`",
|
|
||||||
[pp(Rec), pp(Field)]),
|
|
||||||
mk_t_err(pos(Field), Msg);
|
|
||||||
mk_error({missing_fields, Ann, RecType, Fields}) ->
|
|
||||||
Msg = io_lib:format("The field~s ~s ~s missing when constructing an element of type `~s`",
|
|
||||||
[plural("", "s", Fields),
|
|
||||||
string:join(lists:map(fun(F) -> "`" ++ F ++ "`" end, Fields), ", "),
|
|
||||||
plural("is", "are", Fields), pp(RecType)]),
|
|
||||||
mk_t_err(pos(Ann), Msg);
|
|
||||||
mk_error({no_records_with_all_fields, Fields = [{_, First} | _]}) ->
|
|
||||||
Msg = io_lib:format("No record type with field~s ~s",
|
|
||||||
[plural("", "s", Fields),
|
|
||||||
string:join([ "`" ++ pp(F) ++ "`" || {_, F} <- Fields ], ", ")]),
|
|
||||||
mk_t_err(pos(First), Msg);
|
|
||||||
mk_error({recursive_types_not_implemented, Types}) ->
|
|
||||||
S = plural(" is", "s are mutually", Types),
|
|
||||||
Msg = io_lib:format("The following type~s recursive, which is not yet supported:~s",
|
|
||||||
[S, [io_lib:format("\n - `~s` (at ~s)", [pp(T), pp_loc(T)]) || T <- Types]]),
|
|
||||||
mk_t_err(pos(hd(Types)), Msg);
|
|
||||||
mk_error({event_must_be_variant_type, Where}) ->
|
|
||||||
Msg = io_lib:format("The event type must be a variant type", []),
|
|
||||||
mk_t_err(pos(Where), Msg);
|
|
||||||
mk_error({indexed_type_must_be_word, Type, Type}) ->
|
|
||||||
Msg = io_lib:format("The indexed type `~s` is not a word type",
|
|
||||||
[pp_type(Type)]),
|
|
||||||
mk_t_err(pos(Type), Msg);
|
|
||||||
mk_error({indexed_type_must_be_word, Type, Type1}) ->
|
|
||||||
Msg = io_lib:format("The indexed type `~s` equals `~s` which is not a word type",
|
|
||||||
[pp_type(Type), pp_type(Type1)]),
|
|
||||||
mk_t_err(pos(Type), Msg);
|
|
||||||
mk_error({event_0_to_3_indexed_values, Constr}) ->
|
|
||||||
Msg = io_lib:format("The event constructor `~s` has too many indexed values (max 3)",
|
|
||||||
[name(Constr)]),
|
|
||||||
mk_t_err(pos(Constr), Msg);
|
|
||||||
mk_error({event_0_to_1_string_values, Constr}) ->
|
|
||||||
Msg = io_lib:format("The event constructor `~s` has too many non-indexed values (max 1)",
|
|
||||||
[name(Constr)]),
|
|
||||||
mk_t_err(pos(Constr), Msg);
|
|
||||||
mk_error({repeated_constructor, Cs}) ->
|
|
||||||
Msg = io_lib:format("Variant types must have distinct constructor names~s",
|
|
||||||
[[ io_lib:format("\n`~s` (at ~s)", [pp_typed(" - ", C, T), pp_loc(C)]) || {C, T} <- Cs ]]),
|
|
||||||
mk_t_err(pos(element(1, hd(Cs))), Msg);
|
|
||||||
mk_error({bad_named_argument, [], Name}) ->
|
|
||||||
Msg = io_lib:format("Named argument ~s supplied to function expecting no named arguments.",
|
|
||||||
[pp(Name)]),
|
|
||||||
mk_t_err(pos(Name), Msg);
|
|
||||||
mk_error({bad_named_argument, Args, Name}) ->
|
|
||||||
Msg = io_lib:format("Named argument `~s` is not one of the expected named arguments~s",
|
|
||||||
[pp(Name),
|
|
||||||
[ io_lib:format("\n - `~s`", [pp_typed("", Arg, Type)])
|
|
||||||
|| {named_arg_t, _, Arg, Type, _} <- Args ]]),
|
|
||||||
mk_t_err(pos(Name), Msg);
|
|
||||||
mk_error({unsolved_named_argument_constraint, #named_argument_constraint{name = Name, type = Type}}) ->
|
|
||||||
Msg = io_lib:format("Named argument ~s supplied to function with unknown named arguments.",
|
|
||||||
[pp_typed("", Name, Type)]),
|
|
||||||
mk_t_err(pos(Name), Msg);
|
|
||||||
mk_error({reserved_entrypoint, Name, Def}) ->
|
|
||||||
Msg = io_lib:format("The name '~s' is reserved and cannot be used for a "
|
|
||||||
"top-level contract function.", [Name]),
|
|
||||||
mk_t_err(pos(Def), Msg);
|
|
||||||
mk_error({duplicate_definition, Name, Locs}) ->
|
|
||||||
Msg = io_lib:format("Duplicate definitions of `~s` at~s",
|
|
||||||
[Name, [ ["\n - ", pp_loc(L)] || L <- Locs ]]),
|
|
||||||
mk_t_err(pos(lists:last(Locs)), Msg);
|
|
||||||
mk_error({duplicate_scope, Kind, Name, OtherKind, L}) ->
|
|
||||||
Msg = io_lib:format("The ~p `~s` has the same name as a ~p at ~s",
|
|
||||||
[Kind, pp(Name), OtherKind, pp_loc(L)]),
|
|
||||||
mk_t_err(pos(Name), Msg);
|
|
||||||
mk_error({include, _, {string, Pos, Name}}) ->
|
|
||||||
Msg = io_lib:format("Include of `~s` is not allowed, include only allowed at top level.",
|
|
||||||
[binary_to_list(Name)]),
|
|
||||||
mk_t_err(pos(Pos), Msg);
|
|
||||||
mk_error({namespace, _Pos, {con, Pos, Name}, _Def}) ->
|
|
||||||
Msg = io_lib:format("Nested namespaces are not allowed. Namespace `~s` is not defined at top level.",
|
|
||||||
[Name]),
|
|
||||||
mk_t_err(pos(Pos), Msg);
|
|
||||||
mk_error({Contract, _Pos, {con, Pos, Name}, _Impls, _Def}) when ?IS_CONTRACT_HEAD(Contract) ->
|
|
||||||
Msg = io_lib:format("Nested contracts are not allowed. Contract `~s` is not defined at top level.",
|
|
||||||
[Name]),
|
|
||||||
mk_t_err(pos(Pos), Msg);
|
|
||||||
mk_error({type_decl, _, {id, Pos, Name}, _}) ->
|
|
||||||
Msg = io_lib:format("Empty type declarations are not supported. Type `~s` lacks a definition",
|
|
||||||
[Name]),
|
|
||||||
mk_t_err(pos(Pos), Msg);
|
|
||||||
mk_error({stateful_not_allowed, Id, Fun}) ->
|
|
||||||
Msg = io_lib:format("Cannot reference stateful function `~s` in the definition of non-stateful function `~s`.",
|
|
||||||
[pp(Id), pp(Fun)]),
|
|
||||||
mk_t_err(pos(Id), Msg);
|
|
||||||
mk_error({stateful_not_allowed_in_guards, Id}) ->
|
|
||||||
Msg = io_lib:format("Cannot reference stateful function `~s` in a pattern guard.",
|
|
||||||
[pp(Id)]),
|
|
||||||
mk_t_err(pos(Id), Msg);
|
|
||||||
mk_error({value_arg_not_allowed, Value, Fun}) ->
|
|
||||||
Msg = io_lib:format("Cannot pass non-zero value argument `~s` in the definition of non-stateful function `~s`.",
|
|
||||||
[pp_expr(Value), pp(Fun)]),
|
|
||||||
mk_t_err(pos(Value), Msg);
|
|
||||||
mk_error({init_depends_on_state, Which, [_Init | Chain]}) ->
|
|
||||||
WhichCalls = fun("put") -> ""; ("state") -> ""; (_) -> ", which calls" end,
|
|
||||||
Msg = io_lib:format("The `init` function should return the initial state as its result and cannot ~s the state, but it calls~s",
|
|
||||||
[if Which == put -> "write"; true -> "read" end,
|
|
||||||
[ io_lib:format("\n - `~s` (at ~s)~s", [Fun, pp_loc(Ann), WhichCalls(Fun)])
|
|
||||||
|| {[_, Fun], Ann} <- Chain]]),
|
|
||||||
mk_t_err(pos(element(2, hd(Chain))), Msg);
|
|
||||||
mk_error({missing_body_for_let, Ann}) ->
|
|
||||||
Msg = io_lib:format("Let binding must be followed by an expression.", []),
|
|
||||||
mk_t_err(pos(Ann), Msg);
|
|
||||||
mk_error({public_modifier_in_contract, Decl}) ->
|
|
||||||
Decl1 = mk_entrypoint(Decl),
|
|
||||||
Msg = io_lib:format("Use `entrypoint` instead of `function` for public function `~s`: `~s`",
|
|
||||||
[pp_expr(element(3, Decl)),
|
|
||||||
prettypr:format(aeso_pretty:decl(Decl1))]),
|
|
||||||
mk_t_err(pos(Decl), Msg);
|
|
||||||
mk_error({init_must_be_an_entrypoint, Decl}) ->
|
|
||||||
Decl1 = mk_entrypoint(Decl),
|
|
||||||
Msg = io_lib:format("The init function must be an entrypoint: ~s",
|
|
||||||
[prettypr:format(prettypr:nest(2, aeso_pretty:decl(Decl1)))]),
|
|
||||||
mk_t_err(pos(Decl), Msg);
|
|
||||||
mk_error({init_must_not_be_payable, Decl}) ->
|
|
||||||
Msg = io_lib:format("The init function cannot be payable. "
|
|
||||||
"You don't need the 'payable' annotation to be able to attach "
|
|
||||||
"funds to the create contract transaction.",
|
|
||||||
[]),
|
|
||||||
mk_t_err(pos(Decl), Msg);
|
|
||||||
mk_error({proto_must_be_entrypoint, Decl}) ->
|
|
||||||
Decl1 = mk_entrypoint(Decl),
|
|
||||||
Msg = io_lib:format("Use `entrypoint` for declaration of `~s`: `~s`",
|
|
||||||
[pp_expr(element(3, Decl)),
|
|
||||||
prettypr:format(aeso_pretty:decl(Decl1))]),
|
|
||||||
mk_t_err(pos(Decl), Msg);
|
|
||||||
mk_error({proto_in_namespace, Decl}) ->
|
|
||||||
Msg = io_lib:format("Namespaces cannot contain function prototypes.", []),
|
|
||||||
mk_t_err(pos(Decl), Msg);
|
|
||||||
mk_error({entrypoint_in_namespace, Decl}) ->
|
|
||||||
Msg = io_lib:format("Namespaces cannot contain entrypoints. Use `function` instead.", []),
|
|
||||||
mk_t_err(pos(Decl), Msg);
|
|
||||||
mk_error({private_entrypoint, Decl}) ->
|
|
||||||
Msg = io_lib:format("The entrypoint `~s` cannot be private. Use `function` instead.",
|
|
||||||
[pp_expr(element(3, Decl))]),
|
|
||||||
mk_t_err(pos(Decl), Msg);
|
|
||||||
mk_error({private_and_public, Decl}) ->
|
|
||||||
Msg = io_lib:format("The function `~s` cannot be both public and private.",
|
|
||||||
[pp_expr(element(3, Decl))]),
|
|
||||||
mk_t_err(pos(Decl), Msg);
|
|
||||||
mk_error({contract_has_no_entrypoints, Con}) ->
|
|
||||||
Msg = io_lib:format("The contract `~s` has no entrypoints. Since Sophia version 3.2, public "
|
|
||||||
"contract functions must be declared with the `entrypoint` keyword instead of "
|
|
||||||
"`function`.", [pp_expr(Con)]),
|
|
||||||
mk_t_err(pos(Con), Msg);
|
|
||||||
mk_error({definition_in_contract_interface, Ann, {id, _, Id}}) ->
|
|
||||||
Msg = "Contract interfaces cannot contain defined functions or entrypoints.",
|
|
||||||
Cxt = io_lib:format("Fix: replace the definition of `~s` by a type signature.", [Id]),
|
|
||||||
mk_t_err(pos(Ann), Msg, Cxt);
|
|
||||||
mk_error({unbound_type, Type}) ->
|
|
||||||
Msg = io_lib:format("Unbound type ~s.", [pp_type(Type)]),
|
|
||||||
mk_t_err(pos(Type), Msg);
|
|
||||||
mk_error({new_tuple_syntax, Ann, Ts}) ->
|
|
||||||
Msg = io_lib:format("Invalid type `~s`. The syntax of tuple types changed in Sophia version 4.0. Did you mean `~s`",
|
|
||||||
[pp_type({args_t, Ann, Ts}), pp_type({tuple_t, Ann, Ts})]),
|
|
||||||
mk_t_err(pos(Ann), Msg);
|
|
||||||
mk_error({map_in_map_key, Ann, KeyType}) ->
|
|
||||||
Msg = io_lib:format("Invalid key type `~s`", [pp_type(KeyType)]),
|
|
||||||
Cxt = "Map keys cannot contain other maps.",
|
|
||||||
mk_t_err(pos(Ann), Msg, Cxt);
|
|
||||||
mk_error({cannot_call_init_function, Ann}) ->
|
|
||||||
Msg = "The 'init' function is called exclusively by the create contract transaction "
|
|
||||||
"and cannot be called from the contract code.",
|
|
||||||
mk_t_err(pos(Ann), Msg);
|
|
||||||
mk_error({contract_treated_as_namespace_entrypoint, Ann, [Con, Fun] = QName}) ->
|
|
||||||
Msg = io_lib:format("Invalid call to contract entrypoint `~s`.", [string:join(QName, ".")]),
|
|
||||||
Cxt = io_lib:format("It must be called as `c.~s` for some `c : ~s`.", [Fun, Con]),
|
|
||||||
mk_t_err(pos(Ann), Msg, Cxt);
|
|
||||||
mk_error({contract_treated_as_namespace_constant, Ann, QName}) ->
|
|
||||||
Msg = io_lib:format("Invalid use of the contract constant `~s`.", [string:join(QName, ".")]),
|
|
||||||
Cxt = "Toplevel contract constants can only be used in the contracts where they are defined.",
|
|
||||||
mk_t_err(pos(Ann), Msg, Cxt);
|
|
||||||
mk_error({bad_top_level_decl, Decl}) ->
|
|
||||||
What = case element(1, Decl) of
|
|
||||||
letval -> "function or entrypoint";
|
|
||||||
_ -> "contract or namespace"
|
|
||||||
end,
|
|
||||||
Id = element(3, Decl),
|
|
||||||
Msg = io_lib:format("The definition of '~s' must appear inside a ~s.",
|
|
||||||
[pp_expr(Id), What]),
|
|
||||||
mk_t_err(pos(Decl), Msg);
|
|
||||||
mk_error({unknown_byte_length, Type}) ->
|
|
||||||
Msg = io_lib:format("Cannot resolve length of byte array.", []),
|
|
||||||
mk_t_err(pos(Type), Msg);
|
|
||||||
mk_error({unsolved_bytes_constraint, Ann, concat, A, B, C}) ->
|
|
||||||
Msg = io_lib:format("Failed to resolve byte array lengths in call to Bytes.concat with arguments of type\n"
|
|
||||||
"~s (at ~s)\n~s (at ~s)\nand result type\n~s (at ~s)",
|
|
||||||
[pp_type(" - ", A), pp_loc(A), pp_type(" - ", B),
|
|
||||||
pp_loc(B), pp_type(" - ", C), pp_loc(C)]),
|
|
||||||
mk_t_err(pos(Ann), Msg);
|
|
||||||
mk_error({unsolved_bytes_constraint, Ann, split, A, B, C}) ->
|
|
||||||
Msg = io_lib:format("Failed to resolve byte array lengths in call to Bytes.split with argument of type\n"
|
|
||||||
"~s (at ~s)\nand result types\n~s (at ~s)\n~s (at ~s)",
|
|
||||||
[ pp_type(" - ", C), pp_loc(C), pp_type(" - ", A), pp_loc(A),
|
|
||||||
pp_type(" - ", B), pp_loc(B)]),
|
|
||||||
mk_t_err(pos(Ann), Msg);
|
|
||||||
mk_error({failed_to_get_compiler_version, Err}) ->
|
|
||||||
Msg = io_lib:format("Failed to get compiler version. Error: ~p", [Err]),
|
|
||||||
mk_t_err(pos(0, 0), Msg);
|
|
||||||
mk_error({compiler_version_mismatch, Ann, Version, Op, Bound}) ->
|
|
||||||
PrintV = fun(V) -> string:join([integer_to_list(N) || N <- V], ".") end,
|
|
||||||
Msg = io_lib:format("Cannot compile with this version of the compiler, "
|
|
||||||
"because it does not satisfy the constraint"
|
|
||||||
" ~s ~s ~s", [PrintV(Version), Op, PrintV(Bound)]),
|
|
||||||
mk_t_err(pos(Ann), Msg);
|
|
||||||
mk_error({empty_record_or_map_update, Expr}) ->
|
|
||||||
Msg = io_lib:format("Empty record/map update `~s`", [pp_expr(Expr)]),
|
|
||||||
mk_t_err(pos(Expr), Msg);
|
|
||||||
mk_error({mixed_record_and_map, Expr}) ->
|
|
||||||
Msg = io_lib:format("Mixed record fields and map keys in `~s`", [pp_expr(Expr)]),
|
|
||||||
mk_t_err(pos(Expr), Msg);
|
|
||||||
mk_error({named_argument_must_be_literal_bool, Name, Arg}) ->
|
|
||||||
Msg = io_lib:format("Invalid `~s` argument `~s`. "
|
|
||||||
"It must be either `true` or `false`.",
|
|
||||||
[Name, pp_expr(aeso_type_utils:instantiate(Arg))]),
|
|
||||||
mk_t_err(pos(Arg), Msg);
|
|
||||||
mk_error({conflicting_updates_for_field, Upd, Key}) ->
|
|
||||||
Msg = io_lib:format("Conflicting updates for field '~s'", [Key]),
|
|
||||||
mk_t_err(pos(Upd), Msg);
|
|
||||||
mk_error({ambiguous_main_contract, Ann}) ->
|
|
||||||
Msg = "Could not deduce the main contract. You can point it out manually with the `main` keyword.",
|
|
||||||
mk_t_err(pos(Ann), Msg);
|
|
||||||
mk_error({main_contract_undefined, Ann}) ->
|
|
||||||
Msg = "No contract defined.",
|
|
||||||
mk_t_err(pos(Ann), Msg);
|
|
||||||
mk_error({multiple_main_contracts, Ann}) ->
|
|
||||||
Msg = "Only one main contract can be defined.",
|
|
||||||
mk_t_err(pos(Ann), Msg);
|
|
||||||
mk_error({unify_varargs, When}) ->
|
|
||||||
Msg = "Cannot infer types for variable argument list.",
|
|
||||||
{Pos, Ctxt} = pp_when(When),
|
|
||||||
mk_t_err(Pos, Msg, Ctxt);
|
|
||||||
mk_error({clone_no_contract, Ann}) ->
|
|
||||||
Msg = "Chain.clone requires `ref` named argument of contract type.",
|
|
||||||
mk_t_err(pos(Ann), Msg);
|
|
||||||
mk_error({contract_lacks_definition, Type, When}) ->
|
|
||||||
Msg = io_lib:format(
|
|
||||||
"~s is not implemented.",
|
|
||||||
[pp_type(Type)]
|
|
||||||
),
|
|
||||||
{Pos, Ctxt} = pp_when(When),
|
|
||||||
mk_t_err(Pos, Msg, Ctxt);
|
|
||||||
mk_error({ambiguous_name, Name, QIds}) ->
|
|
||||||
Msg = io_lib:format("Ambiguous name `~s` could be one of~s",
|
|
||||||
[pp(Name),
|
|
||||||
[io_lib:format("\n - `~s` (at ~s)", [pp(QId), pp_loc(QId)]) || QId <- QIds]]),
|
|
||||||
mk_t_err(pos(Name), Msg);
|
|
||||||
mk_error({using_undefined_namespace, Ann, Namespace}) ->
|
|
||||||
Msg = io_lib:format("Cannot use undefined namespace ~s", [Namespace]),
|
|
||||||
mk_t_err(pos(Ann), Msg);
|
|
||||||
mk_error({using_undefined_namespace_parts, Ann, Namespace, Parts}) ->
|
|
||||||
PartsStr = lists:concat(lists:join(", ", Parts)),
|
|
||||||
Msg = io_lib:format("The namespace ~s does not define the following names: ~s", [Namespace, PartsStr]),
|
|
||||||
mk_t_err(pos(Ann), Msg);
|
|
||||||
mk_error({unknown_warning, Warning}) ->
|
|
||||||
Msg = io_lib:format("Trying to report unknown warning: ~p", [Warning]),
|
|
||||||
mk_t_err(pos(0, 0), Msg);
|
|
||||||
mk_error({empty_record_definition, Ann, Name}) ->
|
|
||||||
Msg = io_lib:format("Empty record definitions are not allowed. Cannot define the record `~s`", [Name]),
|
|
||||||
mk_t_err(pos(Ann), Msg);
|
|
||||||
mk_error({unimplemented_interface_function, ConId, InterfaceName, FunName}) ->
|
|
||||||
Msg = io_lib:format("Unimplemented entrypoint `~s` from the interface `~s` in the contract `~s`", [FunName, InterfaceName, pp(ConId)]),
|
|
||||||
mk_t_err(pos(ConId), Msg);
|
|
||||||
mk_error({referencing_undefined_interface, InterfaceId}) ->
|
|
||||||
Msg = io_lib:format("Trying to implement or extend an undefined interface `~s`", [pp(InterfaceId)]),
|
|
||||||
mk_t_err(pos(InterfaceId), Msg);
|
|
||||||
mk_error({missing_definition, Id}) ->
|
|
||||||
Msg = io_lib:format("Missing definition of function `~s`", [name(Id)]),
|
|
||||||
mk_t_err(pos(Id), Msg);
|
|
||||||
mk_error({parameterized_state, Ann}) ->
|
|
||||||
Msg = "The state type cannot be parameterized",
|
|
||||||
mk_t_err(pos(Ann), Msg);
|
|
||||||
mk_error({parameterized_event, Ann}) ->
|
|
||||||
Msg = "The event type cannot be parameterized",
|
|
||||||
mk_t_err(pos(Ann), Msg);
|
|
||||||
mk_error({missing_init_function, Con}) ->
|
|
||||||
Msg = io_lib:format("Missing `init` function for the contract `~s`.", [name(Con)]),
|
|
||||||
Cxt = "The `init` function can only be omitted if the state type is `unit`",
|
|
||||||
mk_t_err(pos(Con), Msg, Cxt);
|
|
||||||
mk_error({higher_order_entrypoint, Ann, {id, _, Name}, Thing}) ->
|
|
||||||
What = "higher-order (contains function types)",
|
|
||||||
ThingS = case Thing of
|
|
||||||
{argument, X, T} -> io_lib:format("argument\n~s`\n", [pp_typed(" `", X, T)]);
|
|
||||||
{result, T} -> io_lib:format("return type\n~s`\n", [pp_type(" `", T)])
|
|
||||||
end,
|
|
||||||
Bad = case Thing of
|
|
||||||
{argument, _, _} -> io_lib:format("has a ~s type", [What]);
|
|
||||||
{result, _} -> io_lib:format("is ~s", [What])
|
|
||||||
end,
|
|
||||||
Msg = io_lib:format("The ~sof entrypoint `~s` ~s",
|
|
||||||
[ThingS, Name, Bad]),
|
|
||||||
mk_t_err(pos(Ann), Msg);
|
|
||||||
mk_error({invalid_aens_resolve_type, Ann, T}) ->
|
|
||||||
Msg = io_lib:format("Invalid return type of `AENS.resolve`:\n"
|
|
||||||
"~s`\n"
|
|
||||||
"It must be a `string` or a pubkey type (`address`, `oracle`, etc)",
|
|
||||||
[pp_type(" `", T)]),
|
|
||||||
mk_t_err(pos(Ann), Msg);
|
|
||||||
mk_error({invalid_oracle_type, Why, What, Ann, Type}) ->
|
|
||||||
WhyS = case Why of higher_order -> "higher-order (contain function types)";
|
|
||||||
polymorphic -> "polymorphic (contain type variables)" end,
|
|
||||||
Msg = io_lib:format("Invalid oracle type\n~s`", [pp_type(" `", Type)]),
|
|
||||||
Cxt = io_lib:format("The ~s type must not be ~s", [What, WhyS]),
|
|
||||||
mk_t_err(pos(Ann), Msg, Cxt);
|
|
||||||
mk_error({interface_implementation_conflict, Contract, I1, I2, Fun}) ->
|
|
||||||
Msg = io_lib:format("Both interfaces `~s` and `~s` implemented by "
|
|
||||||
"the contract `~s` have a function called `~s`",
|
|
||||||
[name(I1), name(I2), name(Contract), name(Fun)]),
|
|
||||||
mk_t_err(pos(Contract), Msg);
|
|
||||||
mk_error({function_should_be_entrypoint, Impl, Base, Interface}) ->
|
|
||||||
Msg = io_lib:format("`~s` must be declared as an entrypoint instead of a function "
|
|
||||||
"in order to implement the entrypoint `~s` from the interface `~s`",
|
|
||||||
[name(Impl), name(Base), name(Interface)]),
|
|
||||||
mk_t_err(pos(Impl), Msg);
|
|
||||||
mk_error({entrypoint_cannot_be_stateful, Impl, Base, Interface}) ->
|
|
||||||
Msg = io_lib:format("`~s` cannot be stateful because the entrypoint `~s` in the "
|
|
||||||
"interface `~s` is not stateful",
|
|
||||||
[name(Impl), name(Base), name(Interface)]),
|
|
||||||
mk_t_err(pos(Impl), Msg);
|
|
||||||
mk_error({entrypoint_must_be_payable, Impl, Base, Interface}) ->
|
|
||||||
Msg = io_lib:format("`~s` must be payable because the entrypoint `~s` in the "
|
|
||||||
"interface `~s` is payable",
|
|
||||||
[name(Impl), name(Base), name(Interface)]),
|
|
||||||
mk_t_err(pos(Impl), Msg);
|
|
||||||
mk_error({unpreserved_payablity, Kind, ContractCon, InterfaceCon}) ->
|
|
||||||
KindStr = case Kind of
|
|
||||||
contract -> "contract";
|
|
||||||
contract_interface -> "interface"
|
|
||||||
end,
|
|
||||||
Msg = io_lib:format("Non-payable ~s `~s` cannot implement payable interface `~s`",
|
|
||||||
[KindStr, name(ContractCon), name(InterfaceCon)]),
|
|
||||||
mk_t_err(pos(ContractCon), Msg);
|
|
||||||
mk_error({mutually_recursive_constants, Consts}) ->
|
|
||||||
Msg = [ "Mutual recursion detected between the constants",
|
|
||||||
[ io_lib:format("\n - `~s` at ~s", [name(Id), pp_loc(Ann)])
|
|
||||||
|| {letval, Ann, Id, _} <- Consts ] ],
|
|
||||||
[{letval, Ann, _, _} | _] = Consts,
|
|
||||||
mk_t_err(pos(Ann), Msg);
|
|
||||||
mk_error({invalid_const_id, Ann}) ->
|
|
||||||
Msg = "The name of the compile-time constant cannot have pattern matching",
|
|
||||||
mk_t_err(pos(Ann), Msg);
|
|
||||||
mk_error({invalid_const_expr, ConstId}) ->
|
|
||||||
Msg = io_lib:format("Invalid expression in the definition of the constant `~s`", [name(ConstId)]),
|
|
||||||
Cxt = "You can only use the following expressions as constants: "
|
|
||||||
"literals, lists, tuples, maps, and other constants",
|
|
||||||
mk_t_err(pos(aeso_syntax:get_ann(ConstId)), Msg, Cxt);
|
|
||||||
mk_error({illegal_const_in_interface, Ann}) ->
|
|
||||||
Msg = "Cannot define toplevel constants inside a contract interface",
|
|
||||||
mk_t_err(pos(Ann), Msg);
|
|
||||||
mk_error(Err) ->
|
|
||||||
Msg = io_lib:format("Unknown error: ~p", [Err]),
|
|
||||||
mk_t_err(pos(0, 0), Msg).
|
|
||||||
|
|
||||||
mk_warning({unused_include, FileName, SrcFile}) ->
|
mk_warning({unused_include, FileName, SrcFile}) ->
|
||||||
Msg = io_lib:format("The file `~s` is included but not used.", [FileName]),
|
Msg = io_lib:format("The file `~s` is included but not used.", [FileName]),
|
||||||
aeso_warnings:new(aeso_errors:pos(SrcFile, 0, 0), Msg);
|
aeso_warnings:new(aeso_errors:pos(SrcFile, 0, 0), Msg);
|
||||||
@ -3883,15 +3404,6 @@ mk_warning(Warn) ->
|
|||||||
Msg = io_lib:format("Unknown warning: ~p", [Warn]),
|
Msg = io_lib:format("Unknown warning: ~p", [Warn]),
|
||||||
aeso_warnings:new(Msg).
|
aeso_warnings:new(Msg).
|
||||||
|
|
||||||
mk_entrypoint(Decl) ->
|
|
||||||
Ann = [entrypoint | lists:keydelete(public, 1,
|
|
||||||
lists:keydelete(private, 1,
|
|
||||||
aeso_syntax:get_ann(Decl))) -- [public, private]],
|
|
||||||
aeso_syntax:set_ann(Ann, Decl).
|
|
||||||
|
|
||||||
plural(No, _Yes, [_]) -> No;
|
|
||||||
plural(_No, Yes, _) -> Yes.
|
|
||||||
|
|
||||||
%% -- Pre-type checking desugaring -------------------------------------------
|
%% -- Pre-type checking desugaring -------------------------------------------
|
||||||
|
|
||||||
%% Desugars nested record/map updates as follows:
|
%% Desugars nested record/map updates as follows:
|
||||||
|
|||||||
531
src/aeso_tc_errors.erl
Normal file
531
src/aeso_tc_errors.erl
Normal file
@ -0,0 +1,531 @@
|
|||||||
|
-module(aeso_tc_errors).
|
||||||
|
|
||||||
|
-include("aeso_utils.hrl").
|
||||||
|
|
||||||
|
-export([cannot_unify/4
|
||||||
|
, type_error/1
|
||||||
|
, create_type_errors/0
|
||||||
|
, destroy_and_report_type_errors/1
|
||||||
|
]).
|
||||||
|
|
||||||
|
%% -- Duplicated types -------------------------------------------------------
|
||||||
|
|
||||||
|
-record(named_argument_constraint,
|
||||||
|
{args :: aeso_ast_infer_types:named_args_t(), %% TODO: Unexported type
|
||||||
|
name :: aeso_syntax:id(),
|
||||||
|
type :: aeso_ast_infer_types:utype()}). %% TODO: Unexported type
|
||||||
|
|
||||||
|
%% -- Moved functions --------------------------------------------------------
|
||||||
|
|
||||||
|
name(A) -> aeso_tc_name_manip:name(A).
|
||||||
|
qid(A, B) -> aeso_tc_name_manip:qid(A, B).
|
||||||
|
qcon(A, B) -> aeso_tc_name_manip:qcon(A, B).
|
||||||
|
|
||||||
|
%% -------
|
||||||
|
|
||||||
|
pos(A) -> aeso_tc_ann_manip:pos(A).
|
||||||
|
pos(A, B) -> aeso_tc_ann_manip:pos(A, B).
|
||||||
|
|
||||||
|
%% -------
|
||||||
|
|
||||||
|
pp(A) -> aeso_tc_pp:pp(A).
|
||||||
|
pp_type(A) -> aeso_tc_pp:pp_type(A).
|
||||||
|
pp_type(A, B) -> aeso_tc_pp:pp_type(A, B).
|
||||||
|
pp_typed(A, B, C) -> aeso_tc_pp:pp_typed(A, B, C).
|
||||||
|
pp_expr(A) -> aeso_tc_pp:pp_expr(A).
|
||||||
|
pp_why_record(A) -> aeso_tc_pp:pp_why_record(A).
|
||||||
|
pp_when(A) -> aeso_tc_pp:pp_when(A).
|
||||||
|
pp_loc(A) -> aeso_tc_pp:pp_loc(A).
|
||||||
|
|
||||||
|
%% ---------------------------------------------------------------------------
|
||||||
|
|
||||||
|
%% Save unification failures for error messages.
|
||||||
|
cannot_unify(A, B, Cxt, When) ->
|
||||||
|
type_error({cannot_unify, A, B, Cxt, When}).
|
||||||
|
|
||||||
|
type_error(Err) ->
|
||||||
|
aeso_ets_manager:ets_insert(type_errors, Err).
|
||||||
|
|
||||||
|
create_type_errors() ->
|
||||||
|
aeso_ets_manager:ets_new(type_errors, [bag]).
|
||||||
|
|
||||||
|
destroy_and_report_type_errors(Env) ->
|
||||||
|
Errors0 = lists:reverse(aeso_ets_manager:ets_tab2list(type_errors)),
|
||||||
|
%% io:format("Type errors now: ~p\n", [Errors0]),
|
||||||
|
aeso_ets_manager:ets_delete(type_errors),
|
||||||
|
Errors = [ mk_error(unqualify(Env, Err)) || Err <- Errors0 ],
|
||||||
|
aeso_errors:throw(Errors). %% No-op if Errors == []
|
||||||
|
|
||||||
|
%% Strip current namespace from error message for nicer printing.
|
||||||
|
unqualify(Env, {qid, Ann, Xs}) ->
|
||||||
|
qid(Ann, unqualify1(aeso_ast_infer_types:get_env_namespace(Env), Xs));
|
||||||
|
unqualify(Env, {qcon, Ann, Xs}) ->
|
||||||
|
qcon(Ann, unqualify1(aeso_ast_infer_types:get_env_namespace(Env), Xs));
|
||||||
|
unqualify(Env, T) when is_tuple(T) ->
|
||||||
|
list_to_tuple(unqualify(Env, tuple_to_list(T)));
|
||||||
|
unqualify(Env, [H | T]) -> [unqualify(Env, H) | unqualify(Env, T)];
|
||||||
|
unqualify(_Env, X) -> X.
|
||||||
|
|
||||||
|
unqualify1(NS, Xs) ->
|
||||||
|
try lists:split(length(NS), Xs) of
|
||||||
|
{NS, Ys} -> Ys;
|
||||||
|
_ -> Xs
|
||||||
|
catch _:_ -> Xs
|
||||||
|
end.
|
||||||
|
|
||||||
|
mk_t_err(Pos, Msg) ->
|
||||||
|
aeso_errors:new(type_error, Pos, lists:flatten(Msg)).
|
||||||
|
mk_t_err(Pos, Msg, Ctxt) ->
|
||||||
|
aeso_errors:new(type_error, Pos, lists:flatten(Msg), lists:flatten(Ctxt)).
|
||||||
|
|
||||||
|
mk_error({no_decls, File}) ->
|
||||||
|
Pos = aeso_errors:pos(File, 0, 0),
|
||||||
|
mk_t_err(Pos, "Empty contract");
|
||||||
|
mk_error({mismatched_decl_in_funblock, Name, Decl}) ->
|
||||||
|
Msg = io_lib:format("Mismatch in the function block. Expected implementation/type declaration of ~s function", [Name]),
|
||||||
|
mk_t_err(pos(Decl), Msg);
|
||||||
|
mk_error({higher_kinded_typevar, T}) ->
|
||||||
|
Msg = io_lib:format("Type `~s` is a higher kinded type variable "
|
||||||
|
"(takes another type as an argument)", [pp(aeso_type_utils:instantiate(T))]
|
||||||
|
),
|
||||||
|
mk_t_err(pos(T), Msg);
|
||||||
|
mk_error({wrong_type_arguments, X, ArityGiven, ArityReal}) ->
|
||||||
|
Msg = io_lib:format("Arity for ~s doesn't match. Expected ~p, got ~p"
|
||||||
|
, [pp(aeso_type_utils:instantiate(X)), ArityReal, ArityGiven]
|
||||||
|
),
|
||||||
|
mk_t_err(pos(X), Msg);
|
||||||
|
mk_error({unnamed_map_update_with_default, Upd}) ->
|
||||||
|
Msg = "Invalid map update with default",
|
||||||
|
mk_t_err(pos(Upd), Msg);
|
||||||
|
mk_error({fundecl_must_have_funtype, _Ann, Id, Type}) ->
|
||||||
|
Msg = io_lib:format("`~s` was declared with an invalid type `~s`. "
|
||||||
|
"Entrypoints and functions must have functional types"
|
||||||
|
, [pp(Id), pp(aeso_type_utils:instantiate(Type))]),
|
||||||
|
mk_t_err(pos(Id), Msg);
|
||||||
|
mk_error({cannot_unify, A, B, Cxt, When}) ->
|
||||||
|
VarianceContext = case Cxt of
|
||||||
|
none -> "";
|
||||||
|
_ -> io_lib:format(" in a ~p context", [Cxt])
|
||||||
|
end,
|
||||||
|
Msg = io_lib:format("Cannot unify `~s` and `~s`" ++ VarianceContext,
|
||||||
|
[pp(aeso_type_utils:instantiate(A)), pp(aeso_type_utils:instantiate(B))]),
|
||||||
|
{Pos, Ctxt} = pp_when(When),
|
||||||
|
mk_t_err(Pos, Msg, Ctxt);
|
||||||
|
mk_error({hole_found, Ann, Type}) ->
|
||||||
|
Msg = io_lib:format("Found a hole of type `~s`", [pp(aeso_type_utils:instantiate(Type))]),
|
||||||
|
mk_t_err(pos(Ann), Msg);
|
||||||
|
mk_error({unbound_variable, Id}) ->
|
||||||
|
Msg = io_lib:format("Unbound variable `~s`", [pp(Id)]),
|
||||||
|
case Id of
|
||||||
|
{qid, _, ["Chain", "event"]} ->
|
||||||
|
Cxt = "Did you forget to define the event type?",
|
||||||
|
mk_t_err(pos(Id), Msg, Cxt);
|
||||||
|
_ -> mk_t_err(pos(Id), Msg)
|
||||||
|
end;
|
||||||
|
mk_error({undefined_field, Id}) ->
|
||||||
|
Msg = io_lib:format("Unbound field ~s", [pp(Id)]),
|
||||||
|
mk_t_err(pos(Id), Msg);
|
||||||
|
mk_error({not_a_record_type, Type, Why}) ->
|
||||||
|
Msg = io_lib:format("Not a record type: `~s`", [pp_type(Type)]),
|
||||||
|
{Pos, Ctxt} = pp_why_record(Why),
|
||||||
|
mk_t_err(Pos, Msg, Ctxt);
|
||||||
|
mk_error({not_a_contract_type, Type, Cxt}) ->
|
||||||
|
Msg =
|
||||||
|
case Type of
|
||||||
|
{tvar, _, _} ->
|
||||||
|
"Unresolved contract type";
|
||||||
|
_ ->
|
||||||
|
io_lib:format("The type `~s` is not a contract type", [pp_type(Type)])
|
||||||
|
end,
|
||||||
|
{Pos, Cxt1} =
|
||||||
|
case Cxt of
|
||||||
|
{var_args, Ann, Fun} ->
|
||||||
|
{pos(Ann),
|
||||||
|
io_lib:format("when calling variadic function `~s`", [pp_expr(Fun)])};
|
||||||
|
{contract_literal, Lit} ->
|
||||||
|
{pos(Lit),
|
||||||
|
io_lib:format("when checking that the contract literal `~s` has the type `~s`",
|
||||||
|
[pp_expr(Lit), pp_type(Type)])};
|
||||||
|
{address_to_contract, Ann} ->
|
||||||
|
{pos(Ann),
|
||||||
|
io_lib:format("when checking that the call to `Address.to_contract` has the type `~s`",
|
||||||
|
[pp_type(Type)])}
|
||||||
|
end,
|
||||||
|
mk_t_err(Pos, Msg, Cxt1);
|
||||||
|
mk_error({non_linear_pattern, Pattern, Nonlinear}) ->
|
||||||
|
Msg = io_lib:format("Repeated name~s ~s in the pattern `~s`",
|
||||||
|
[plural("", "s", Nonlinear),
|
||||||
|
string:join(lists:map(fun(F) -> "`" ++ F ++ "`" end, Nonlinear), ", "),
|
||||||
|
pp_expr(Pattern)]),
|
||||||
|
mk_t_err(pos(Pattern), Msg);
|
||||||
|
mk_error({ambiguous_record, Fields = [{_, First} | _], Candidates}) ->
|
||||||
|
Msg = io_lib:format("Ambiguous record type with field~s ~s could be one of~s",
|
||||||
|
[plural("", "s", Fields),
|
||||||
|
string:join([ "`" ++ pp(F) ++ "`" || {_, F} <- Fields ], ", "),
|
||||||
|
[ ["\n - ", "`" ++ pp(C) ++ "`", " (at ", pp_loc(C), ")"] || C <- Candidates ]]),
|
||||||
|
mk_t_err(pos(First), Msg);
|
||||||
|
mk_error({missing_field, Field, Rec}) ->
|
||||||
|
Msg = io_lib:format("Record type `~s` does not have field `~s`",
|
||||||
|
[pp(Rec), pp(Field)]),
|
||||||
|
mk_t_err(pos(Field), Msg);
|
||||||
|
mk_error({missing_fields, Ann, RecType, Fields}) ->
|
||||||
|
Msg = io_lib:format("The field~s ~s ~s missing when constructing an element of type `~s`",
|
||||||
|
[plural("", "s", Fields),
|
||||||
|
string:join(lists:map(fun(F) -> "`" ++ F ++ "`" end, Fields), ", "),
|
||||||
|
plural("is", "are", Fields), pp(RecType)]),
|
||||||
|
mk_t_err(pos(Ann), Msg);
|
||||||
|
mk_error({no_records_with_all_fields, Fields = [{_, First} | _]}) ->
|
||||||
|
Msg = io_lib:format("No record type with field~s ~s",
|
||||||
|
[plural("", "s", Fields),
|
||||||
|
string:join([ "`" ++ pp(F) ++ "`" || {_, F} <- Fields ], ", ")]),
|
||||||
|
mk_t_err(pos(First), Msg);
|
||||||
|
mk_error({recursive_types_not_implemented, Types}) ->
|
||||||
|
S = plural(" is", "s are mutually", Types),
|
||||||
|
Msg = io_lib:format("The following type~s recursive, which is not yet supported:~s",
|
||||||
|
[S, [io_lib:format("\n - `~s` (at ~s)", [pp(T), pp_loc(T)]) || T <- Types]]),
|
||||||
|
mk_t_err(pos(hd(Types)), Msg);
|
||||||
|
mk_error({event_must_be_variant_type, Where}) ->
|
||||||
|
Msg = io_lib:format("The event type must be a variant type", []),
|
||||||
|
mk_t_err(pos(Where), Msg);
|
||||||
|
mk_error({indexed_type_must_be_word, Type, Type}) ->
|
||||||
|
Msg = io_lib:format("The indexed type `~s` is not a word type",
|
||||||
|
[pp_type(Type)]),
|
||||||
|
mk_t_err(pos(Type), Msg);
|
||||||
|
mk_error({indexed_type_must_be_word, Type, Type1}) ->
|
||||||
|
Msg = io_lib:format("The indexed type `~s` equals `~s` which is not a word type",
|
||||||
|
[pp_type(Type), pp_type(Type1)]),
|
||||||
|
mk_t_err(pos(Type), Msg);
|
||||||
|
mk_error({event_0_to_3_indexed_values, Constr}) ->
|
||||||
|
Msg = io_lib:format("The event constructor `~s` has too many indexed values (max 3)",
|
||||||
|
[name(Constr)]),
|
||||||
|
mk_t_err(pos(Constr), Msg);
|
||||||
|
mk_error({event_0_to_1_string_values, Constr}) ->
|
||||||
|
Msg = io_lib:format("The event constructor `~s` has too many non-indexed values (max 1)",
|
||||||
|
[name(Constr)]),
|
||||||
|
mk_t_err(pos(Constr), Msg);
|
||||||
|
mk_error({repeated_constructor, Cs}) ->
|
||||||
|
Msg = io_lib:format("Variant types must have distinct constructor names~s",
|
||||||
|
[[ io_lib:format("\n`~s` (at ~s)", [pp_typed(" - ", C, T), pp_loc(C)]) || {C, T} <- Cs ]]),
|
||||||
|
mk_t_err(pos(element(1, hd(Cs))), Msg);
|
||||||
|
mk_error({bad_named_argument, [], Name}) ->
|
||||||
|
Msg = io_lib:format("Named argument ~s supplied to function expecting no named arguments.",
|
||||||
|
[pp(Name)]),
|
||||||
|
mk_t_err(pos(Name), Msg);
|
||||||
|
mk_error({bad_named_argument, Args, Name}) ->
|
||||||
|
Msg = io_lib:format("Named argument `~s` is not one of the expected named arguments~s",
|
||||||
|
[pp(Name),
|
||||||
|
[ io_lib:format("\n - `~s`", [pp_typed("", Arg, Type)])
|
||||||
|
|| {named_arg_t, _, Arg, Type, _} <- Args ]]),
|
||||||
|
mk_t_err(pos(Name), Msg);
|
||||||
|
mk_error({unsolved_named_argument_constraint, #named_argument_constraint{name = Name, type = Type}}) ->
|
||||||
|
Msg = io_lib:format("Named argument ~s supplied to function with unknown named arguments.",
|
||||||
|
[pp_typed("", Name, Type)]),
|
||||||
|
mk_t_err(pos(Name), Msg);
|
||||||
|
mk_error({reserved_entrypoint, Name, Def}) ->
|
||||||
|
Msg = io_lib:format("The name '~s' is reserved and cannot be used for a "
|
||||||
|
"top-level contract function.", [Name]),
|
||||||
|
mk_t_err(pos(Def), Msg);
|
||||||
|
mk_error({duplicate_definition, Name, Locs}) ->
|
||||||
|
Msg = io_lib:format("Duplicate definitions of `~s` at~s",
|
||||||
|
[Name, [ ["\n - ", pp_loc(L)] || L <- Locs ]]),
|
||||||
|
mk_t_err(pos(lists:last(Locs)), Msg);
|
||||||
|
mk_error({duplicate_scope, Kind, Name, OtherKind, L}) ->
|
||||||
|
Msg = io_lib:format("The ~p `~s` has the same name as a ~p at ~s",
|
||||||
|
[Kind, pp(Name), OtherKind, pp_loc(L)]),
|
||||||
|
mk_t_err(pos(Name), Msg);
|
||||||
|
mk_error({include, _, {string, Pos, Name}}) ->
|
||||||
|
Msg = io_lib:format("Include of `~s` is not allowed, include only allowed at top level.",
|
||||||
|
[binary_to_list(Name)]),
|
||||||
|
mk_t_err(pos(Pos), Msg);
|
||||||
|
mk_error({namespace, _Pos, {con, Pos, Name}, _Def}) ->
|
||||||
|
Msg = io_lib:format("Nested namespaces are not allowed. Namespace `~s` is not defined at top level.",
|
||||||
|
[Name]),
|
||||||
|
mk_t_err(pos(Pos), Msg);
|
||||||
|
mk_error({Contract, _Pos, {con, Pos, Name}, _Impls, _Def}) when ?IS_CONTRACT_HEAD(Contract) ->
|
||||||
|
Msg = io_lib:format("Nested contracts are not allowed. Contract `~s` is not defined at top level.",
|
||||||
|
[Name]),
|
||||||
|
mk_t_err(pos(Pos), Msg);
|
||||||
|
mk_error({type_decl, _, {id, Pos, Name}, _}) ->
|
||||||
|
Msg = io_lib:format("Empty type declarations are not supported. Type `~s` lacks a definition",
|
||||||
|
[Name]),
|
||||||
|
mk_t_err(pos(Pos), Msg);
|
||||||
|
mk_error({stateful_not_allowed, Id, Fun}) ->
|
||||||
|
Msg = io_lib:format("Cannot reference stateful function `~s` in the definition of non-stateful function `~s`.",
|
||||||
|
[pp(Id), pp(Fun)]),
|
||||||
|
mk_t_err(pos(Id), Msg);
|
||||||
|
mk_error({stateful_not_allowed_in_guards, Id}) ->
|
||||||
|
Msg = io_lib:format("Cannot reference stateful function `~s` in a pattern guard.",
|
||||||
|
[pp(Id)]),
|
||||||
|
mk_t_err(pos(Id), Msg);
|
||||||
|
mk_error({value_arg_not_allowed, Value, Fun}) ->
|
||||||
|
Msg = io_lib:format("Cannot pass non-zero value argument `~s` in the definition of non-stateful function `~s`.",
|
||||||
|
[pp_expr(Value), pp(Fun)]),
|
||||||
|
mk_t_err(pos(Value), Msg);
|
||||||
|
mk_error({init_depends_on_state, Which, [_Init | Chain]}) ->
|
||||||
|
WhichCalls = fun("put") -> ""; ("state") -> ""; (_) -> ", which calls" end,
|
||||||
|
Msg = io_lib:format("The `init` function should return the initial state as its result and cannot ~s the state, but it calls~s",
|
||||||
|
[if Which == put -> "write"; true -> "read" end,
|
||||||
|
[ io_lib:format("\n - `~s` (at ~s)~s", [Fun, pp_loc(Ann), WhichCalls(Fun)])
|
||||||
|
|| {[_, Fun], Ann} <- Chain]]),
|
||||||
|
mk_t_err(pos(element(2, hd(Chain))), Msg);
|
||||||
|
mk_error({missing_body_for_let, Ann}) ->
|
||||||
|
Msg = io_lib:format("Let binding must be followed by an expression.", []),
|
||||||
|
mk_t_err(pos(Ann), Msg);
|
||||||
|
mk_error({public_modifier_in_contract, Decl}) ->
|
||||||
|
Decl1 = mk_entrypoint(Decl),
|
||||||
|
Msg = io_lib:format("Use `entrypoint` instead of `function` for public function `~s`: `~s`",
|
||||||
|
[pp_expr(element(3, Decl)),
|
||||||
|
prettypr:format(aeso_pretty:decl(Decl1))]),
|
||||||
|
mk_t_err(pos(Decl), Msg);
|
||||||
|
mk_error({init_must_be_an_entrypoint, Decl}) ->
|
||||||
|
Decl1 = mk_entrypoint(Decl),
|
||||||
|
Msg = io_lib:format("The init function must be an entrypoint: ~s",
|
||||||
|
[prettypr:format(prettypr:nest(2, aeso_pretty:decl(Decl1)))]),
|
||||||
|
mk_t_err(pos(Decl), Msg);
|
||||||
|
mk_error({init_must_not_be_payable, Decl}) ->
|
||||||
|
Msg = io_lib:format("The init function cannot be payable. "
|
||||||
|
"You don't need the 'payable' annotation to be able to attach "
|
||||||
|
"funds to the create contract transaction.",
|
||||||
|
[]),
|
||||||
|
mk_t_err(pos(Decl), Msg);
|
||||||
|
mk_error({proto_must_be_entrypoint, Decl}) ->
|
||||||
|
Decl1 = mk_entrypoint(Decl),
|
||||||
|
Msg = io_lib:format("Use `entrypoint` for declaration of `~s`: `~s`",
|
||||||
|
[pp_expr(element(3, Decl)),
|
||||||
|
prettypr:format(aeso_pretty:decl(Decl1))]),
|
||||||
|
mk_t_err(pos(Decl), Msg);
|
||||||
|
mk_error({proto_in_namespace, Decl}) ->
|
||||||
|
Msg = io_lib:format("Namespaces cannot contain function prototypes.", []),
|
||||||
|
mk_t_err(pos(Decl), Msg);
|
||||||
|
mk_error({entrypoint_in_namespace, Decl}) ->
|
||||||
|
Msg = io_lib:format("Namespaces cannot contain entrypoints. Use `function` instead.", []),
|
||||||
|
mk_t_err(pos(Decl), Msg);
|
||||||
|
mk_error({private_entrypoint, Decl}) ->
|
||||||
|
Msg = io_lib:format("The entrypoint `~s` cannot be private. Use `function` instead.",
|
||||||
|
[pp_expr(element(3, Decl))]),
|
||||||
|
mk_t_err(pos(Decl), Msg);
|
||||||
|
mk_error({private_and_public, Decl}) ->
|
||||||
|
Msg = io_lib:format("The function `~s` cannot be both public and private.",
|
||||||
|
[pp_expr(element(3, Decl))]),
|
||||||
|
mk_t_err(pos(Decl), Msg);
|
||||||
|
mk_error({contract_has_no_entrypoints, Con}) ->
|
||||||
|
Msg = io_lib:format("The contract `~s` has no entrypoints. Since Sophia version 3.2, public "
|
||||||
|
"contract functions must be declared with the `entrypoint` keyword instead of "
|
||||||
|
"`function`.", [pp_expr(Con)]),
|
||||||
|
mk_t_err(pos(Con), Msg);
|
||||||
|
mk_error({definition_in_contract_interface, Ann, {id, _, Id}}) ->
|
||||||
|
Msg = "Contract interfaces cannot contain defined functions or entrypoints.",
|
||||||
|
Cxt = io_lib:format("Fix: replace the definition of `~s` by a type signature.", [Id]),
|
||||||
|
mk_t_err(pos(Ann), Msg, Cxt);
|
||||||
|
mk_error({unbound_type, Type}) ->
|
||||||
|
Msg = io_lib:format("Unbound type ~s.", [pp_type(Type)]),
|
||||||
|
mk_t_err(pos(Type), Msg);
|
||||||
|
mk_error({new_tuple_syntax, Ann, Ts}) ->
|
||||||
|
Msg = io_lib:format("Invalid type `~s`. The syntax of tuple types changed in Sophia version 4.0. Did you mean `~s`",
|
||||||
|
[pp_type({args_t, Ann, Ts}), pp_type({tuple_t, Ann, Ts})]),
|
||||||
|
mk_t_err(pos(Ann), Msg);
|
||||||
|
mk_error({map_in_map_key, Ann, KeyType}) ->
|
||||||
|
Msg = io_lib:format("Invalid key type `~s`", [pp_type(KeyType)]),
|
||||||
|
Cxt = "Map keys cannot contain other maps.",
|
||||||
|
mk_t_err(pos(Ann), Msg, Cxt);
|
||||||
|
mk_error({cannot_call_init_function, Ann}) ->
|
||||||
|
Msg = "The 'init' function is called exclusively by the create contract transaction "
|
||||||
|
"and cannot be called from the contract code.",
|
||||||
|
mk_t_err(pos(Ann), Msg);
|
||||||
|
mk_error({contract_treated_as_namespace_entrypoint, Ann, [Con, Fun] = QName}) ->
|
||||||
|
Msg = io_lib:format("Invalid call to contract entrypoint `~s`.", [string:join(QName, ".")]),
|
||||||
|
Cxt = io_lib:format("It must be called as `c.~s` for some `c : ~s`.", [Fun, Con]),
|
||||||
|
mk_t_err(pos(Ann), Msg, Cxt);
|
||||||
|
mk_error({contract_treated_as_namespace_constant, Ann, QName}) ->
|
||||||
|
Msg = io_lib:format("Invalid use of the contract constant `~s`.", [string:join(QName, ".")]),
|
||||||
|
Cxt = "Toplevel contract constants can only be used in the contracts where they are defined.",
|
||||||
|
mk_t_err(pos(Ann), Msg, Cxt);
|
||||||
|
mk_error({bad_top_level_decl, Decl}) ->
|
||||||
|
What = case element(1, Decl) of
|
||||||
|
letval -> "function or entrypoint";
|
||||||
|
_ -> "contract or namespace"
|
||||||
|
end,
|
||||||
|
Id = element(3, Decl),
|
||||||
|
Msg = io_lib:format("The definition of '~s' must appear inside a ~s.",
|
||||||
|
[pp_expr(Id), What]),
|
||||||
|
mk_t_err(pos(Decl), Msg);
|
||||||
|
mk_error({unknown_byte_length, Type}) ->
|
||||||
|
Msg = io_lib:format("Cannot resolve length of byte array.", []),
|
||||||
|
mk_t_err(pos(Type), Msg);
|
||||||
|
mk_error({unsolved_bytes_constraint, Ann, concat, A, B, C}) ->
|
||||||
|
Msg = io_lib:format("Failed to resolve byte array lengths in call to Bytes.concat with arguments of type\n"
|
||||||
|
"~s (at ~s)\n~s (at ~s)\nand result type\n~s (at ~s)",
|
||||||
|
[pp_type(" - ", A), pp_loc(A), pp_type(" - ", B),
|
||||||
|
pp_loc(B), pp_type(" - ", C), pp_loc(C)]),
|
||||||
|
mk_t_err(pos(Ann), Msg);
|
||||||
|
mk_error({unsolved_bytes_constraint, Ann, split, A, B, C}) ->
|
||||||
|
Msg = io_lib:format("Failed to resolve byte array lengths in call to Bytes.split with argument of type\n"
|
||||||
|
"~s (at ~s)\nand result types\n~s (at ~s)\n~s (at ~s)",
|
||||||
|
[ pp_type(" - ", C), pp_loc(C), pp_type(" - ", A), pp_loc(A),
|
||||||
|
pp_type(" - ", B), pp_loc(B)]),
|
||||||
|
mk_t_err(pos(Ann), Msg);
|
||||||
|
mk_error({failed_to_get_compiler_version, Err}) ->
|
||||||
|
Msg = io_lib:format("Failed to get compiler version. Error: ~p", [Err]),
|
||||||
|
mk_t_err(pos(0, 0), Msg);
|
||||||
|
mk_error({compiler_version_mismatch, Ann, Version, Op, Bound}) ->
|
||||||
|
PrintV = fun(V) -> string:join([integer_to_list(N) || N <- V], ".") end,
|
||||||
|
Msg = io_lib:format("Cannot compile with this version of the compiler, "
|
||||||
|
"because it does not satisfy the constraint"
|
||||||
|
" ~s ~s ~s", [PrintV(Version), Op, PrintV(Bound)]),
|
||||||
|
mk_t_err(pos(Ann), Msg);
|
||||||
|
mk_error({empty_record_or_map_update, Expr}) ->
|
||||||
|
Msg = io_lib:format("Empty record/map update `~s`", [pp_expr(Expr)]),
|
||||||
|
mk_t_err(pos(Expr), Msg);
|
||||||
|
mk_error({mixed_record_and_map, Expr}) ->
|
||||||
|
Msg = io_lib:format("Mixed record fields and map keys in `~s`", [pp_expr(Expr)]),
|
||||||
|
mk_t_err(pos(Expr), Msg);
|
||||||
|
mk_error({named_argument_must_be_literal_bool, Name, Arg}) ->
|
||||||
|
Msg = io_lib:format("Invalid `~s` argument `~s`. "
|
||||||
|
"It must be either `true` or `false`.",
|
||||||
|
[Name, pp_expr(aeso_type_utils:instantiate(Arg))]),
|
||||||
|
mk_t_err(pos(Arg), Msg);
|
||||||
|
mk_error({conflicting_updates_for_field, Upd, Key}) ->
|
||||||
|
Msg = io_lib:format("Conflicting updates for field '~s'", [Key]),
|
||||||
|
mk_t_err(pos(Upd), Msg);
|
||||||
|
mk_error({ambiguous_main_contract, Ann}) ->
|
||||||
|
Msg = "Could not deduce the main contract. You can point it out manually with the `main` keyword.",
|
||||||
|
mk_t_err(pos(Ann), Msg);
|
||||||
|
mk_error({main_contract_undefined, Ann}) ->
|
||||||
|
Msg = "No contract defined.",
|
||||||
|
mk_t_err(pos(Ann), Msg);
|
||||||
|
mk_error({multiple_main_contracts, Ann}) ->
|
||||||
|
Msg = "Only one main contract can be defined.",
|
||||||
|
mk_t_err(pos(Ann), Msg);
|
||||||
|
mk_error({unify_varargs, When}) ->
|
||||||
|
Msg = "Cannot infer types for variable argument list.",
|
||||||
|
{Pos, Ctxt} = pp_when(When),
|
||||||
|
mk_t_err(Pos, Msg, Ctxt);
|
||||||
|
mk_error({clone_no_contract, Ann}) ->
|
||||||
|
Msg = "Chain.clone requires `ref` named argument of contract type.",
|
||||||
|
mk_t_err(pos(Ann), Msg);
|
||||||
|
mk_error({contract_lacks_definition, Type, When}) ->
|
||||||
|
Msg = io_lib:format(
|
||||||
|
"~s is not implemented.",
|
||||||
|
[pp_type(Type)]
|
||||||
|
),
|
||||||
|
{Pos, Ctxt} = pp_when(When),
|
||||||
|
mk_t_err(Pos, Msg, Ctxt);
|
||||||
|
mk_error({ambiguous_name, Name, QIds}) ->
|
||||||
|
Msg = io_lib:format("Ambiguous name `~s` could be one of~s",
|
||||||
|
[pp(Name),
|
||||||
|
[io_lib:format("\n - `~s` (at ~s)", [pp(QId), pp_loc(QId)]) || QId <- QIds]]),
|
||||||
|
mk_t_err(pos(Name), Msg);
|
||||||
|
mk_error({using_undefined_namespace, Ann, Namespace}) ->
|
||||||
|
Msg = io_lib:format("Cannot use undefined namespace ~s", [Namespace]),
|
||||||
|
mk_t_err(pos(Ann), Msg);
|
||||||
|
mk_error({using_undefined_namespace_parts, Ann, Namespace, Parts}) ->
|
||||||
|
PartsStr = lists:concat(lists:join(", ", Parts)),
|
||||||
|
Msg = io_lib:format("The namespace ~s does not define the following names: ~s", [Namespace, PartsStr]),
|
||||||
|
mk_t_err(pos(Ann), Msg);
|
||||||
|
mk_error({unknown_warning, Warning}) ->
|
||||||
|
Msg = io_lib:format("Trying to report unknown warning: ~p", [Warning]),
|
||||||
|
mk_t_err(pos(0, 0), Msg);
|
||||||
|
mk_error({empty_record_definition, Ann, Name}) ->
|
||||||
|
Msg = io_lib:format("Empty record definitions are not allowed. Cannot define the record `~s`", [Name]),
|
||||||
|
mk_t_err(pos(Ann), Msg);
|
||||||
|
mk_error({unimplemented_interface_function, ConId, InterfaceName, FunName}) ->
|
||||||
|
Msg = io_lib:format("Unimplemented entrypoint `~s` from the interface `~s` in the contract `~s`", [FunName, InterfaceName, pp(ConId)]),
|
||||||
|
mk_t_err(pos(ConId), Msg);
|
||||||
|
mk_error({referencing_undefined_interface, InterfaceId}) ->
|
||||||
|
Msg = io_lib:format("Trying to implement or extend an undefined interface `~s`", [pp(InterfaceId)]),
|
||||||
|
mk_t_err(pos(InterfaceId), Msg);
|
||||||
|
mk_error({missing_definition, Id}) ->
|
||||||
|
Msg = io_lib:format("Missing definition of function `~s`", [name(Id)]),
|
||||||
|
mk_t_err(pos(Id), Msg);
|
||||||
|
mk_error({parameterized_state, Ann}) ->
|
||||||
|
Msg = "The state type cannot be parameterized",
|
||||||
|
mk_t_err(pos(Ann), Msg);
|
||||||
|
mk_error({parameterized_event, Ann}) ->
|
||||||
|
Msg = "The event type cannot be parameterized",
|
||||||
|
mk_t_err(pos(Ann), Msg);
|
||||||
|
mk_error({missing_init_function, Con}) ->
|
||||||
|
Msg = io_lib:format("Missing `init` function for the contract `~s`.", [name(Con)]),
|
||||||
|
Cxt = "The `init` function can only be omitted if the state type is `unit`",
|
||||||
|
mk_t_err(pos(Con), Msg, Cxt);
|
||||||
|
mk_error({higher_order_entrypoint, Ann, {id, _, Name}, Thing}) ->
|
||||||
|
What = "higher-order (contains function types)",
|
||||||
|
ThingS = case Thing of
|
||||||
|
{argument, X, T} -> io_lib:format("argument\n~s`\n", [pp_typed(" `", X, T)]);
|
||||||
|
{result, T} -> io_lib:format("return type\n~s`\n", [pp_type(" `", T)])
|
||||||
|
end,
|
||||||
|
Bad = case Thing of
|
||||||
|
{argument, _, _} -> io_lib:format("has a ~s type", [What]);
|
||||||
|
{result, _} -> io_lib:format("is ~s", [What])
|
||||||
|
end,
|
||||||
|
Msg = io_lib:format("The ~sof entrypoint `~s` ~s",
|
||||||
|
[ThingS, Name, Bad]),
|
||||||
|
mk_t_err(pos(Ann), Msg);
|
||||||
|
mk_error({invalid_aens_resolve_type, Ann, T}) ->
|
||||||
|
Msg = io_lib:format("Invalid return type of `AENS.resolve`:\n"
|
||||||
|
"~s`\n"
|
||||||
|
"It must be a `string` or a pubkey type (`address`, `oracle`, etc)",
|
||||||
|
[pp_type(" `", T)]),
|
||||||
|
mk_t_err(pos(Ann), Msg);
|
||||||
|
mk_error({invalid_oracle_type, Why, What, Ann, Type}) ->
|
||||||
|
WhyS = case Why of higher_order -> "higher-order (contain function types)";
|
||||||
|
polymorphic -> "polymorphic (contain type variables)" end,
|
||||||
|
Msg = io_lib:format("Invalid oracle type\n~s`", [pp_type(" `", Type)]),
|
||||||
|
Cxt = io_lib:format("The ~s type must not be ~s", [What, WhyS]),
|
||||||
|
mk_t_err(pos(Ann), Msg, Cxt);
|
||||||
|
mk_error({interface_implementation_conflict, Contract, I1, I2, Fun}) ->
|
||||||
|
Msg = io_lib:format("Both interfaces `~s` and `~s` implemented by "
|
||||||
|
"the contract `~s` have a function called `~s`",
|
||||||
|
[name(I1), name(I2), name(Contract), name(Fun)]),
|
||||||
|
mk_t_err(pos(Contract), Msg);
|
||||||
|
mk_error({function_should_be_entrypoint, Impl, Base, Interface}) ->
|
||||||
|
Msg = io_lib:format("`~s` must be declared as an entrypoint instead of a function "
|
||||||
|
"in order to implement the entrypoint `~s` from the interface `~s`",
|
||||||
|
[name(Impl), name(Base), name(Interface)]),
|
||||||
|
mk_t_err(pos(Impl), Msg);
|
||||||
|
mk_error({entrypoint_cannot_be_stateful, Impl, Base, Interface}) ->
|
||||||
|
Msg = io_lib:format("`~s` cannot be stateful because the entrypoint `~s` in the "
|
||||||
|
"interface `~s` is not stateful",
|
||||||
|
[name(Impl), name(Base), name(Interface)]),
|
||||||
|
mk_t_err(pos(Impl), Msg);
|
||||||
|
mk_error({entrypoint_must_be_payable, Impl, Base, Interface}) ->
|
||||||
|
Msg = io_lib:format("`~s` must be payable because the entrypoint `~s` in the "
|
||||||
|
"interface `~s` is payable",
|
||||||
|
[name(Impl), name(Base), name(Interface)]),
|
||||||
|
mk_t_err(pos(Impl), Msg);
|
||||||
|
mk_error({unpreserved_payablity, Kind, ContractCon, InterfaceCon}) ->
|
||||||
|
KindStr = case Kind of
|
||||||
|
contract -> "contract";
|
||||||
|
contract_interface -> "interface"
|
||||||
|
end,
|
||||||
|
Msg = io_lib:format("Non-payable ~s `~s` cannot implement payable interface `~s`",
|
||||||
|
[KindStr, name(ContractCon), name(InterfaceCon)]),
|
||||||
|
mk_t_err(pos(ContractCon), Msg);
|
||||||
|
mk_error({mutually_recursive_constants, Consts}) ->
|
||||||
|
Msg = [ "Mutual recursion detected between the constants",
|
||||||
|
[ io_lib:format("\n - `~s` at ~s", [name(Id), pp_loc(Ann)])
|
||||||
|
|| {letval, Ann, Id, _} <- Consts ] ],
|
||||||
|
[{letval, Ann, _, _} | _] = Consts,
|
||||||
|
mk_t_err(pos(Ann), Msg);
|
||||||
|
mk_error({invalid_const_id, Ann}) ->
|
||||||
|
Msg = "The name of the compile-time constant cannot have pattern matching",
|
||||||
|
mk_t_err(pos(Ann), Msg);
|
||||||
|
mk_error({invalid_const_expr, ConstId}) ->
|
||||||
|
Msg = io_lib:format("Invalid expression in the definition of the constant `~s`", [name(ConstId)]),
|
||||||
|
Cxt = "You can only use the following expressions as constants: "
|
||||||
|
"literals, lists, tuples, maps, and other constants",
|
||||||
|
mk_t_err(pos(aeso_syntax:get_ann(ConstId)), Msg, Cxt);
|
||||||
|
mk_error({illegal_const_in_interface, Ann}) ->
|
||||||
|
Msg = "Cannot define toplevel constants inside a contract interface",
|
||||||
|
mk_t_err(pos(Ann), Msg);
|
||||||
|
mk_error(Err) ->
|
||||||
|
Msg = io_lib:format("Unknown error: ~p", [Err]),
|
||||||
|
mk_t_err(pos(0, 0), Msg).
|
||||||
|
|
||||||
|
mk_entrypoint(Decl) ->
|
||||||
|
Ann = [entrypoint | lists:keydelete(public, 1,
|
||||||
|
lists:keydelete(private, 1,
|
||||||
|
aeso_syntax:get_ann(Decl))) -- [public, private]],
|
||||||
|
aeso_syntax:set_ann(Ann, Decl).
|
||||||
|
|
||||||
|
plural(No, _Yes, [_]) -> No;
|
||||||
|
plural(_No, Yes, _) -> Yes.
|
||||||
Loading…
x
Reference in New Issue
Block a user