Fix issue #5922

IntersectMBO · Apr 24, 2024 · d93201e · d93201e
1 parent b97e8be
commit d93201e
Showing 1 changed file with 6 additions and 4 deletions.
diff --git a/plutus-core/plutus-ir/src/PlutusIR/Contexts.hs b/plutus-core/plutus-ir/src/PlutusIR/Contexts.hs
@@ -133,10 +133,12 @@ data SplitMatchContext tyname name uni fun a = SplitMatchContext
   }
 
 extractTyArgs :: AppContext tyname name uni fun a -> Maybe [Type tyname uni a]
-extractTyArgs = go []
-  where go acc (TypeAppContext ty _ ctx) = go (ty:acc) ctx
-        go _ (TermAppContext{})          = Nothing
-        go acc AppContextEnd             = Just acc
+extractTyArgs = go id
+  where
+    go acc = \case
+      TypeAppContext ty _ ctx -> go (acc . (ty :)) ctx
+      TermAppContext{}        -> Nothing
+      AppContextEnd           -> Just (acc [])
 
 -- | Split a normal datatype 'match'.
 splitNormalDatatypeMatch