From: Matthijs Kooijman <m.kooijman@student.utwente.nl>
Date: Thu, 6 Aug 2009 15:13:54 +0000 (+0200)
Subject: Filtering out state arguments is no longer needed.
X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=88046cfef9b84647c507e215891896c79b66443e;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git

Filtering out state arguments is no longer needed.

Since State types generate empty VHDL types now, they will be filtered out
automatically.
---

diff --git "a/c\316\273ash/CLasH/VHDL/Generate.hs" "b/c\316\273ash/CLasH/VHDL/Generate.hs"
index aea5976..431f379 100644
--- "a/c\316\273ash/CLasH/VHDL/Generate.hs"
+++ "b/c\316\273ash/CLasH/VHDL/Generate.hs"
@@ -47,7 +47,7 @@ getEntity fname = Utils.makeCached fname tsEntities $ do
       -- Strip off lambda's, these will be arguments
       let (args, letexpr) = CoreSyn.collectBinders expr
       -- Generate ports for all non-state types
-      args' <- catMaybesM $ mapM mkMap (filter (not.hasStateType) args)
+      args' <- catMaybesM $ mapM mkMap args
       -- There must be a let at top level 
       let (CoreSyn.Let binds (CoreSyn.Var res)) = letexpr
       -- TODO: Handle Nothing