diff --git a/semantic-scope-graph/src/Control/Carrier/Sketch/Fresh.hs b/semantic-scope-graph/src/Control/Carrier/Sketch/Fresh.hs index 1d0b7af60..6c1954a49 100644 --- a/semantic-scope-graph/src/Control/Carrier/Sketch/Fresh.hs +++ b/semantic-scope-graph/src/Control/Carrier/Sketch/Fresh.hs @@ -23,13 +23,9 @@ import Control.Carrier.State.Strict import Control.Effect.Sketch import Control.Monad.IO.Class import Data.Bifunctor -import Data.Maybe -import Data.Monoid -import Data.Monoid.Generic import Data.ScopeGraph (ScopeGraph) import qualified Data.ScopeGraph as ScopeGraph import Data.Semilattice.Lower -import GHC.Generics (Generic) import qualified System.Path as Path newtype Sketchbook address = Sketchbook @@ -40,7 +36,7 @@ newtype SketchC address m a = SketchC (StateC (Sketchbook address) (FreshC m) a) deriving (Applicative, Functor, Monad, MonadIO) instance forall address sig m . (Effect sig, Algebra sig m) => Algebra (Sketch address :+: sig) (SketchC address m) where - alg (L (Declare name _props k)) = do + alg (L (Declare _name _props k)) = do k () alg (R other) = SketchC (alg (R (R (handleCoercible other)))) @@ -49,7 +45,7 @@ runSketch :: => Maybe Path.AbsRelFile -> SketchC address m a -> m (ScopeGraph address, a) -runSketch rootpath (SketchC go) +runSketch _rootpath (SketchC go) = evalFresh 0 . fmap (first sGraph) . runState lowerBound