Add initial (dummy) propagateState function.

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

diff --git a/FlattenTypes.hs b/FlattenTypes.hs
index 44879d00b6683d3c54d6965aab736984091c9e6a..eba0599e271ce1245c5bf5549814a866d9d9be54 100644 (file)
--- a/FlattenTypes.hs
+++ b/FlattenTypes.hs
@@ -96,6 +96,12 @@ data SigDef =
     defDst :: SignalId
   } deriving (Show, Eq)
 
+-- | Is the given SigDef a FApp?
+is_FApp :: SigDef -> Bool
+is_FApp d = case d of  
+  (FApp _ _ _) -> True
+  _ -> False
+
 -- | An expression on signals
 data SignalExpr = 
   EqLit SignalId String -- ^ Is the given signal equal to the given (VHDL) literal
@@ -212,3 +218,5 @@ setSignalInfo id' info' = do
   (defs, sigs, n) <- State.get
   let sigs' = map (\(id, info) -> (id, if id == id' then info' else info)) sigs
   State.put (defs, sigs', n)
+
+-- vim: set ts=8 sw=2 sts=2 expandtab: