Fix instance FromData PlutusTx.Data.List (#7492)

Co-authored-by: Nikolaos Bezirgiannis <[email protected]>

Author: bezirg

plutus-tx/changelog.d/20251216_183820_bezirg_fix_list.md

@@ -0,0 +1,3 @@
+### Fixed
+
+- The FromData instance of PlutusTx.Data.List

plutus-tx/src/PlutusTx/Data/List.hs

@@ -106,7 +106,14 @@ instance ToData (List a) where
 
 instance FromData (List a) where
   {-# INLINEABLE fromBuiltinData #-}
-  fromBuiltinData = Just . List . BI.unsafeDataAsList
+  fromBuiltinData d =
+    B.matchData'
+      d
+      (\_ _ -> Nothing)
+      (\_ -> Nothing)
+      (Just . List)
+      (\_ -> Nothing)
+      (\_ -> Nothing)
 
 instance UnsafeFromData (List a) where
   {-# INLINEABLE unsafeFromBuiltinData #-}