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
Throw away old and unused functions for state.
[matthijs/master-project/cλash.git]
/
cλash
/
CLasH
/
Translator
/
TranslatorTypes.hs
diff --git
a/cλash/CLasH/Translator/TranslatorTypes.hs
b/cλash/CLasH/Translator/TranslatorTypes.hs
index 075871ac59e9f347b5268a1dd409cec700d3ba48..280a2177fdf3414bec638a5b41da979bb8101874 100644
(file)
--- a/
cλash/CLasH/Translator/TranslatorTypes.hs
+++ b/
cλash/CLasH/Translator/TranslatorTypes.hs
@@
-27,7
+27,7
@@
import CLasH.VHDL.VHDLTypes
-- | A specification of an entity we can generate VHDL for. Consists of the
-- binder of the top level entity, an optional initial state and an optional
-- test input.
-- | A specification of an entity we can generate VHDL for. Consists of the
-- binder of the top level entity, an optional initial state and an optional
-- test input.
-type EntitySpec = (CoreSyn.CoreBndr, Maybe CoreSyn.CoreExpr, Maybe CoreSyn.CoreExpr)
+type EntitySpec = (
Maybe
CoreSyn.CoreBndr, Maybe CoreSyn.CoreExpr, Maybe CoreSyn.CoreExpr)
-- | A function that knows which parts of a module to compile
type Finder =
-- | A function that knows which parts of a module to compile
type Finder =
@@
-39,7
+39,7
@@
type Finder =
-----------------------------------------------------------------------------
-- A orderable equivalent of CoreSyn's Type for use as a map key
-----------------------------------------------------------------------------
-- A orderable equivalent of CoreSyn's Type for use as a map key
-newtype OrdType = OrdType
{ getType :: Type.Type }
+newtype OrdType = OrdType
Type.Type
instance Eq OrdType where
(OrdType a) == (OrdType b) = Type.tcEqType a b
instance Ord OrdType where
instance Eq OrdType where
(OrdType a) == (OrdType b) = Type.tcEqType a b
instance Ord OrdType where