X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=c%CE%BBash%2FCLasH%2FUtils%2FCore%2FBinderTools.hs;h=ef694746286b622a70dab4f98bbef36a247a264e;hb=a97a53c406ca4da95059a95a4f3d6452eb87b018;hp=a072c45f2ee95389672704fce4a9f6e412145752;hpb=b83ea5327202d46fc976e369ac303608cbc2330e;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