Use a better name for binders in a lambda expression.

Previously, all signals resulting from a lambda expression were named
"xxx". Now, the actual binder name is included and the name is made
unique.

diff --git a/Translator.hs b/Translator.hs
index 77394e41c65697d473f501857a26caabc29e03a7..066124182ab1baf2dbdd84b6f692108a19b2ff3a 100644 (file)
--- a/Translator.hs
+++ b/Translator.hs
@@ -125,7 +125,7 @@ expandExpr binds lam@(Lam b expr) = do
   let (arg_ty, _) = Type.splitFunTy (CoreUtils.exprType lam)
   -- Create signal names for the binder
   -- TODO: We assume arguments are ports here
-  let arg_signal = getPortNameMapForTy ("xxx") arg_ty (useAsPort arg_ty)
+  let arg_signal = getPortNameMapForTy signal_name arg_ty (useAsPort arg_ty)
   -- Create the corresponding signal declarations
   let signal_decls = mkSignalsFromMap arg_signal
   -- Add the binder to the list of binds