From 9bffa6fd1ddc30866e7092ee477c0ee03a10a062 Mon Sep 17 00:00:00 2001 From: Matthijs Kooijman Date: Mon, 2 Feb 2009 15:27:20 +0100 Subject: [PATCH] Allow variables to be bound to complex expressions. Previously, variables (in let expressions for example) could only be bound to single values. This enables them to be bound to for example tuples as well. --- Translator.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Translator.hs b/Translator.hs index 2f6a292..bdf6688 100644 --- 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) -- 2.30.2