From 3d5ee730acba642c4ab650ba2db0096d3f98152d Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Fri, 11 May 2018 09:19:51 -0400 Subject: [PATCH] =?UTF-8?q?We=20don=E2=80=99t=20need=20Fresh=20here.?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/Control/Abstract/Addressable.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Control/Abstract/Addressable.hs b/src/Control/Abstract/Addressable.hs index ceb0cc508..7b0e0701c 100644 --- a/src/Control/Abstract/Addressable.hs +++ b/src/Control/Abstract/Addressable.hs @@ -80,7 +80,7 @@ instance Member Fresh effects => Addressable Precise effects where allocLoc _ = Precise <$> fresh -- | 'Monovariant' locations 'alloc'ate one 'Address' per unique variable name, and 'deref'erence once per stored value, nondeterministically. -instance Members '[Fresh, NonDet] effects => Addressable Monovariant effects where +instance Member NonDet effects => Addressable Monovariant effects where derefCell _ cell | null cell = pure Nothing | otherwise = foldMapA (pure . Just) cell allocLoc = pure . Monovariant