X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=c%CE%BBash%2FCLasH%2FUtils%2FCore%2FBinderTools.hs;h=ef694746286b622a70dab4f98bbef36a247a264e;hb=eab16fafe7a623b5ea669023b91ddee4b1983526;hp=a072c45f2ee95389672704fce4a9f6e412145752;hpb=466f80bdde9511508c38e951d208a2a52c90c7da;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git diff --git "a/c\316\273ash/CLasH/Utils/Core/BinderTools.hs" "b/c\316\273ash/CLasH/Utils/Core/BinderTools.hs" index a072c45..ef69474 100644 --- "a/c\316\273ash/CLasH/Utils/Core/BinderTools.hs" +++ "b/c\316\273ash/CLasH/Utils/Core/BinderTools.hs" @@ -4,7 +4,7 @@ module CLasH.Utils.Core.BinderTools where -- Standard modules -import Data.Accessor.MonadState as MonadState +import Data.Accessor.Monad.Trans.State as MonadState -- GHC API import CoreSyn @@ -22,16 +22,14 @@ import qualified VarSet import qualified HscTypes -- Local imports -import Data.Accessor -import Data.Accessor.MonadState as MonadState import CLasH.Translator.TranslatorTypes -- Create a new Unique mkUnique :: TranslatorSession Unique.Unique mkUnique = do - us <- getA tsUniqSupply + us <- MonadState.get tsUniqSupply let (us', us'') = UniqSupply.splitUniqSupply us - putA tsUniqSupply us' + MonadState.set tsUniqSupply us' return $ UniqSupply.uniqFromSupply us'' -- Create a new internal var with the given name and type. A Unique is