From 53924d1a156246e6f98ffdc32562f439505606ef Mon Sep 17 00:00:00 2001 From: Ayman Nadeem Date: Wed, 12 Dec 2018 12:28:18 -0500 Subject: [PATCH] clean up formatting --- src/Data/Abstract/Value/Abstract.hs | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/src/Data/Abstract/Value/Abstract.hs b/src/Data/Abstract/Value/Abstract.hs index a8115019b..e09299f2a 100644 --- a/src/Data/Abstract/Value/Abstract.hs +++ b/src/Data/Abstract/Value/Abstract.hs @@ -87,10 +87,9 @@ instance Carrier sig m instance Carrier sig m => Carrier (Abstract.String Abstract :+: sig) (StringC Abstract m) where ret = StringC . ret - eff = StringC . handleSum - (eff . handleCoercible) (\case - Abstract.String _ k -> runStringC (k Abstract) - AsString _ k -> runStringC (k "")) + eff = StringC . handleSum (eff . handleCoercible) (\case + Abstract.String _ k -> runStringC (k Abstract) + AsString _ k -> runStringC (k "")) instance Ord address => ValueRoots address Abstract where valueRoots = mempty