From 55bb53492bdd47c9d36bfd6396f79919f491f5a5 Mon Sep 17 00:00:00 2001 From: github-actions Date: Tue, 9 Jan 2024 09:50:39 +0000 Subject: [PATCH] Format with fourmolu --- library/Booster/Syntax/Json/Internalise.hs | 13 +++++++++++-- 1 file changed, 11 insertions(+), 2 deletions(-) diff --git a/library/Booster/Syntax/Json/Internalise.hs b/library/Booster/Syntax/Json/Internalise.hs index f0e1c2a16..6eb8d573d 100644 --- a/library/Booster/Syntax/Json/Internalise.hs +++ b/library/Booster/Syntax/Json/Internalise.hs @@ -266,7 +266,8 @@ internaliseTermRaw qq allowAlias checkSubsorts sortVars definition@KoreDefinitio forM_ (zip args $ zip (map (substituteInSort sub) symbol.argSorts) $ map sortOfTerm args') $ \(t, (expected, got)) -> unless (expected == got) $ throwE $ - PatternSortError t $ IncorrectSort expected got + PatternSortError t $ + IncorrectSort expected got pure $ Internal.SymbolApplication symbol appSorts' args' Syntax.KJString{value} -> pure $ Internal.DomainValue (Internal.SortApp "SortString" []) $ textToBS value @@ -667,7 +668,15 @@ instance ToJSON PatternError where wrap ("Symbol '" <> Syntax.getId sym <> "' is a macro/alias") p SubstitutionNotAllowed -> "Substitution predicates are not allowed here" IncorrectSymbolArity p s expected got -> - wrap ("Inconsistent pattern. Symbol '" <> Syntax.getId s <> "' expected " <> (pack $ show expected) <> " arguments but got " <> (pack $ show got)) p + wrap + ( "Inconsistent pattern. Symbol '" + <> Syntax.getId s + <> "' expected " + <> (pack $ show expected) + <> " arguments but got " + <> (pack $ show got) + ) + p where wrap :: Text -> Syntax.KorePattern -> Value wrap msg p = object ["error" .= msg, "context" .= toJSON [p]]