style changes

anoma · Apr 10, 2024 · 90ea5fa · 90ea5fa
1 parent 97c83e6
commit 90ea5fa
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 7 deletions.
diff --git a/app/Commands/Dev/Casm/FromCairo.hs b/app/Commands/Dev/Casm/FromCairo.hs
@@ -18,7 +18,7 @@ runCommand opts = do
       let Casm.Result {..} = Casm.fromCairo (Cairo.deserialize r)
       renderStdOut (Casm.ppProgram _resultCode)
     Nothing ->
-      exitMsg (ExitFailure 1) "error reading input file"
+      exitFailMsg "error reading input file"
   where
     file :: AppPath File
     file = opts ^. casmFromCairoInputFile
diff --git a/src/Juvix/Compiler/Backend/Cairo/Data/Result.hs b/src/Juvix/Compiler/Backend/Cairo/Data/Result.hs
@@ -103,12 +103,9 @@ instance FromJSON Result where
       parseHints val' = case val' of
         Object obj -> do
           lst <-
-            mapM
-              ( \(k, v) -> do
-                  v' <- parseHint v
-                  return (Aeson.toText k, v')
-              )
-              (KeyMap.toList obj)
+            forM (KeyMap.toList obj) $ \(k, v) -> do
+              v' <- parseHint v
+              return (Aeson.toText k, v')
           mapM (firstM (maybe (typeMismatch "Integer" val') return . T.readMaybe . unpack)) lst
         _ ->
           typeMismatch "Object" val'