X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=c%CE%BBash%2FCLasH%2FTranslator%2FTranslatorTypes.hs;h=eabb00423c5c0734aab838be9a353db290e32e55;hb=70e7593b62ef13cae82a94ae7ff4b538c4740c5a;hp=56c5c75a0324696d5f1d6b7d8aa0c934caa5295c;hpb=eab16fafe7a623b5ea669023b91ddee4b1983526;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git diff --git "a/c\316\273ash/CLasH/Translator/TranslatorTypes.hs" "b/c\316\273ash/CLasH/Translator/TranslatorTypes.hs" index 56c5c75..eabb004 100644 --- "a/c\316\273ash/CLasH/Translator/TranslatorTypes.hs" +++ "b/c\316\273ash/CLasH/Translator/TranslatorTypes.hs" @@ -1,8 +1,8 @@ +{-# LANGUAGE TemplateHaskell #-} -- -- Simple module providing some types used by Translator. These are in a -- separate module to prevent circular dependencies in Pretty for example. -- -{-# LANGUAGE TemplateHaskell #-} module CLasH.Translator.TranslatorTypes where -- Standard modules @@ -18,12 +18,11 @@ import qualified Type import qualified HscTypes import qualified UniqSupply --- ForSyDe +-- VHDL Imports import qualified Language.VHDL.AST as AST -- Local imports import CLasH.VHDL.VHDLTypes -import CLasH.Translator.Annotations -- | 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 @@ -80,7 +79,7 @@ data TypeState = TypeState { } -- Derive accessors -$( Data.Accessor.Template.deriveAccessors ''TypeState ) +Data.Accessor.Template.deriveAccessors ''TypeState -- Define a session type TypeSession = State.State TypeState @@ -94,10 +93,11 @@ data TranslatorState = TranslatorState { , tsEntities_ :: Map.Map CoreSyn.CoreBndr Entity , tsArchitectures_ :: Map.Map CoreSyn.CoreBndr (Architecture, [CoreSyn.CoreBndr]) , tsInitStates_ :: Map.Map CoreSyn.CoreBndr CoreSyn.CoreBndr + , tsTransformCounter_ :: Int -- ^ How many transformations were applied? } -- Derive accessors -$( Data.Accessor.Template.deriveAccessors ''TranslatorState ) +Data.Accessor.Template.deriveAccessors ''TranslatorState type TranslatorSession = State.State TranslatorState