Chore: formatting, explicit imports. (#5847)

I'll follow up on the "ad-hoc" aspect next dev meeting, until then let me merge this one and refrain from creating more ad-hoc formatting PRs.
IntersectMBO · Mar 20, 2024 · 53e45af · 53e45af
1 parent 6c12f15
commit 53e45af
Show file tree

Hide file tree

Showing 3 changed files with 334 additions and 338 deletions.
diff --git a/plutus-core/plutus-ir/src/PlutusIR/Contexts.hs b/plutus-core/plutus-ir/src/PlutusIR/Contexts.hs
@@ -114,7 +114,7 @@ saturates (TypeAppContext _ _ ctx) (TypeParam:arities) = saturates ctx arities
 -- Param/arg mismatch
 saturates (TermAppContext{}) (TypeParam:_)             = Nothing
 saturates (TypeAppContext{}) (TermParam:_)             = Nothing
--- Arguments lef - undersaturated
+-- Arguments left - undersaturated
 saturates (TermAppContext{}) []                        = Just Oversaturated
 saturates (TypeAppContext{}) []                        = Just Oversaturated