Allow variables to be bound to complex expressions.

[matthijs/master-project/cλash.git] / Translator.hs

diff --git a/Translator.hs b/Translator.hs
index 2f6a2922d4bad2098cc4aa722af698b00998c1bf..bdf66882954c1d108163fc4cd0df7937816c2d9c 100644 (file)
--- a/Translator.hs
+++ b/Translator.hs
@@ -137,10 +137,10 @@ expandExpr binds lam@(Lam b expr) = do
           res_signal')
 
 expandExpr binds (Var id) =
-  return ([], [], [], Single (signal_id, ty))
+  return ([], [], [], bind)
   where
     -- Lookup the id in our binds map
-    Single (signal_id, ty) = Maybe.fromMaybe
+    bind = Maybe.fromMaybe
       (error $ "Argument " ++ getOccString id ++ "is unknown")
       (lookup id binds)