From 42c7fde413a99f82d27d80f9dd697f0f823f8ada Mon Sep 17 00:00:00 2001
From: Ulf Norell <ulf.norell@gmail.com>
Date: Mon, 8 Apr 2019 13:31:46 +0200
Subject: [PATCH] Shortcut let x = y in ...

---
 src/aeso_fcode_to_fate.erl | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/aeso_fcode_to_fate.erl b/src/aeso_fcode_to_fate.erl
index dfe65e1..b6208d5 100644
--- a/src/aeso_fcode_to_fate.erl
+++ b/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),