Merge pull request #130 from aeternity/PT-168026424-prepare_sophia_4_0_RC1

Preparing 4.0.0-rc1

src/aeso_compiler.erl

@@ -317,7 +317,7 @@ to_sophia_value(_, _, revert, Data, Options) ->
             {ok, {app, [], {id, [], "abort"}, [{string, [], Err}]}}
     end;
 to_sophia_value(ContractString, FunName, ok, Data, Options0) ->
-    Options = [no_code | Options0],
+    Options = [no_implicit_stdlib, no_code | Options0],
     try
         Code = string_to_code(ContractString, Options),
         #{ typed_ast := TypedAst, type_env  := TypeEnv} = Code,
@@ -378,7 +378,7 @@ create_calldata(Code, Fun, Args) ->
                              {ok, binary()}
                              | {error, term()}.
 create_calldata(Code, Fun, Args, Options0) ->
-    Options = [no_code | Options0],
+    Options = [no_implicit_stdlib, no_code | Options0],
     case proplists:get_value(backend, Options, aevm) of
         aevm ->
             case check_call(Code, Fun, Args, Options) of
@@ -401,7 +401,7 @@ decode_calldata(ContractString, FunName, Calldata) ->
     decode_calldata(ContractString, FunName, Calldata, [{backend, aevm}]).
 
 decode_calldata(ContractString, FunName, Calldata, Options0) ->
-    Options = [no_code | Options0],
+    Options = [no_implicit_stdlib, no_code | Options0],
     try
         Code = string_to_code(ContractString, Options),
         #{ typed_ast := TypedAst, type_env  := TypeEnv} = Code,

src/aesophia.app.src

@@ -1,6 +1,6 @@
 {application, aesophia,
  [{description, "Contract Language for aeternity"},
-  {vsn, "3.2.0"},
+  {vsn, "4.0.0-rc1"},
   {registered, []},
   {applications,
    [kernel,