projects
/
matthijs
/
master-project
/
cλash.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge branch 'cλash' of http://git.stderr.nl/matthijs/projects/master-project
[matthijs/master-project/cλash.git]
/
FlattenTypes.hs
diff --git
a/FlattenTypes.hs
b/FlattenTypes.hs
index f20fbc30f11f0c9bc8ac0379fa63d3b0d7af3c78..bd6c1d5996cf2a75c6f6b9595444a795684c6e31 100644
(file)
--- a/
FlattenTypes.hs
+++ b/
FlattenTypes.hs
@@
-113,14
+113,18
@@
sigDefUses (FApp _ args _) = concat $ map Foldable.toList args
-- | An expression on signals
data SignalExpr =
EqLit SignalId String -- ^ Is the given signal equal to the given (VHDL) literal
-- | An expression on signals
data SignalExpr =
EqLit SignalId String -- ^ Is the given signal equal to the given (VHDL) literal
- | Literal String
-- ^ A literal value
+ | Literal String
(Maybe Type.Type)-- ^ A literal value, with an optional type to cast to
| Eq SignalId SignalId -- ^ A comparison between to signals
deriving (Show, Eq)
| Eq SignalId SignalId -- ^ A comparison between to signals
deriving (Show, Eq)
+-- Instantiate Eq for Type, so we can derive Eq for SignalExpr.
+instance Eq Type.Type where
+ (==) = Type.coreEqType
+
-- | Which signals are used by the given SignalExpr?
sigExprUses :: SignalExpr -> [SignalId]
sigExprUses (EqLit id _) = [id]
-- | Which signals are used by the given SignalExpr?
sigExprUses :: SignalExpr -> [SignalId]
sigExprUses (EqLit id _) = [id]
-sigExprUses (Literal _) = []
+sigExprUses (Literal _
_
) = []
sigExprUses (Eq a b) = [a, b]
-- Returns the function used by the given SigDef, if any
sigExprUses (Eq a b) = [a, b]
-- Returns the function used by the given SigDef, if any