Filtering out state arguments is no longer needed.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Thu, 6 Aug 2009 15:13:54 +0000 (17:13 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Thu, 6 Aug 2009 15:13:54 +0000 (17:13 +0200)
Since State types generate empty VHDL types now, they will be filtered out
automatically.

cλash/CLasH/VHDL/Generate.hs

index aea597679b85071769f50e40db2b0da8971df997..431f3794dd01465f59937dbb16c65b58fdda051f 100644 (file)
@@ -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