From ccbdb36adfa72ed0a378a04ba9fe45bfa0e3d26e Mon Sep 17 00:00:00 2001 From: Chris Done Date: Tue, 11 Feb 2025 15:22:05 +0000 Subject: [PATCH] Fix warnings --- src/Hell.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Hell.hs b/src/Hell.hs index f9d7996..861bf2a 100644 --- a/src/Hell.hs +++ b/src/Hell.hs @@ -1996,9 +1996,9 @@ data ElaborateError = UnsupportedTupleSize | BadInstantiationBug | VariableNotIn -- -- Output type /does/ contain meta vars. elaborate :: UTerm () -> Either ElaborateError (UTerm (IRep IMetaVar), Set (Equality (IRep IMetaVar))) -elaborate = fmap getEqualities . flip runStateT empty . flip runReaderT mempty . go +elaborate = fmap getEqualities . flip runStateT empty' . flip runReaderT mempty . go where - empty = Elaborate {counter = 0, equalities = mempty} + empty' = Elaborate {counter = 0, equalities = mempty} getEqualities (term, Elaborate {equalities}) = (term, equalities) go :: UTerm () -> ReaderT (Map String (IRep IMetaVar)) (StateT Elaborate (Either ElaborateError)) (UTerm (IRep IMetaVar)) go = \case