src/aeso_fcode_to_fate.erl

@@ -141,6 +141,9 @@ to_scode(Env, {'if', Dec, Then, Else}) ->
     [ to_scode(notail(Env), Dec),
       {switch, boolean, [to_scode(Env, Else), to_scode(Env, Then)], missing} ];
 
+to_scode(Env, {'let', X, {var, Y}, Body}) ->
+    Env1 = bind_var(X, lookup_var(Env, Y), Env),
+    to_scode(Env1, Body);
 to_scode(Env, {'let', X, Expr, Body}) ->
     {I, Env1} = bind_local(X, Env),
     [ to_scode(Env, Expr),