WIP

google-research · Sep 7, 2023 · 1487b76 · 1487b76
1 parent e955555
commit 1487b76
Show file tree

Hide file tree

Showing 10 changed files with 333 additions and 513 deletions.
diff --git a/src/lib/Builder.hs b/src/lib/Builder.hs
@@ -440,7 +440,7 @@ type BuilderEmissions r = RNest (Decl r)
 newtype BuilderT (r::IR) (m::MonadKind) (n::S) (a:: *) =
   BuilderT { runBuilderT' :: InplaceT Env (BuilderEmissions r) m n a }
   deriving ( Functor, Applicative, Monad, MonadTrans1, MonadFail, Fallible
-           , Catchable, CtxReader, ScopeReader, Alternative, Searcher
+           , Catchable, CtxReader, ScopeReader, Alternative
            , MonadWriter w, MonadReader r')
 
 type BuilderM (r::IR) = BuilderT r HardFailM

diff --git a/src/lib/Core.hs b/src/lib/Core.hs
@@ -79,7 +79,7 @@ type EnvExtender2 (m::MonadKind2) = forall (n::S). EnvExtender (m n)
 newtype EnvReaderT (m::MonadKind) (n::S) (a:: *) =
   EnvReaderT {runEnvReaderT' :: ReaderT (DistinctEvidence n, Env n) m a }
   deriving ( Functor, Applicative, Monad, MonadFail
-           , MonadWriter w, Fallible, Searcher, Alternative)
+           , MonadWriter w, Fallible, Alternative)
 
 type EnvReaderM = EnvReaderT Identity
 type FallibleEnvReaderM = EnvReaderT FallibleM