From 7eb857bbcfebafce0cc48e91e1944a114bd332c2 Mon Sep 17 00:00:00 2001 From: Lukasz Czajka Date: Thu, 9 Feb 2023 10:25:35 +0100 Subject: [PATCH] style changes --- src/Juvix/Compiler/Core/Translation/FromInternal.hs | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/src/Juvix/Compiler/Core/Translation/FromInternal.hs b/src/Juvix/Compiler/Core/Translation/FromInternal.hs index 1696b8d7ef..30dca2893a 100644 --- a/src/Juvix/Compiler/Core/Translation/FromInternal.hs +++ b/src/Juvix/Compiler/Core/Translation/FromInternal.hs @@ -782,13 +782,13 @@ goLiteral intToNat l = case l ^. withLocParam of getAxiomBuiltinInfo :: Member (Reader Internal.InfoTable) r => Name -> Sem r (Maybe BuiltinAxiom) getAxiomBuiltinInfo n = do maybeAxiomInfo <- HashMap.lookup n <$> asks (^. Internal.infoAxioms) - case maybeAxiomInfo of - Just axiomInfo -> return $ axiomInfo ^. Internal.axiomInfoBuiltin - Nothing -> return Nothing + return $ case maybeAxiomInfo of + Just axiomInfo -> axiomInfo ^. Internal.axiomInfoBuiltin + Nothing -> Nothing getFunctionBuiltinInfo :: Member (Reader Internal.InfoTable) r => Name -> Sem r (Maybe BuiltinFunction) getFunctionBuiltinInfo n = do maybeFunInfo <- HashMap.lookup n <$> asks (^. Internal.infoFunctions) - case maybeFunInfo of - Just funInfo -> return $ funInfo ^. Internal.functionInfoDef . Internal.funDefBuiltin - Nothing -> return Nothing + return $ case maybeFunInfo of + Just funInfo -> funInfo ^. Internal.functionInfoDef . Internal.funDefBuiltin + Nothing -> Nothing