From c2a5ed28cf24a37af8ce0563aebde20209a9128f Mon Sep 17 00:00:00 2001 From: Ulf Norell Date: Fri, 1 Mar 2019 09:54:43 +0100 Subject: [PATCH] please dialyzer --- src/aeso_compiler.erl | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/aeso_compiler.erl b/src/aeso_compiler.erl index d0fe602..c632f3e 100644 --- a/src/aeso_compiler.erl +++ b/src/aeso_compiler.erl @@ -92,11 +92,13 @@ from_string(ContractString, Options) -> %% General programming errors in the compiler just signal error. end. -string_to_icode(ContractString, Options) -> +-spec string_to_icode(string(), [option() | permissive_address_literals]) -> map(). +string_to_icode(ContractString, Options0) -> + {InferOptions, Options} = lists:partition(fun(Opt) -> Opt == permissive_address_literals end, Options0), Ast = parse(ContractString, Options), pp_sophia_code(Ast, Options), pp_ast(Ast, Options), - {TypeEnv, TypedAst} = aeso_ast_infer_types:infer(Ast, [return_env | Options]), + {TypeEnv, TypedAst} = aeso_ast_infer_types:infer(Ast, [return_env | InferOptions]), pp_typed_ast(TypedAst, Options), Icode = ast_to_icode(TypedAst, Options), pp_icode(Icode, Options),