From c698ce26e730c84174d7908aac38f6beb8109114 Mon Sep 17 00:00:00 2001 From: Andrii Chebukin Date: Fri, 18 Sep 2026 17:03:11 +0200 Subject: [PATCH] Use Seq.filter/map for AdhocMembers processing Changed AdhocMembers processing from List.filter/map to Seq.filter/map with Seq.toList. This enables support for any sequence input, improving composability while preserving the logic for filtering out explicit interface implementations and projecting to (LogicalName, vref) pairs. --- src/Compiler/TypedTree/TypedTreePickle.fs | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/Compiler/TypedTree/TypedTreePickle.fs b/src/Compiler/TypedTree/TypedTreePickle.fs index b52113463c3..d609a8ebaac 100644 --- a/src/Compiler/TypedTree/TypedTreePickle.fs +++ b/src/Compiler/TypedTree/TypedTreePickle.fs @@ -2882,8 +2882,9 @@ and p_tcaug p st = // in order to get check the well-formedness of an interface. // Keeping them across assembly boundaries is not valid, because relinking their ValRefs // does not work correctly (they may get incorrectly relinked to a default member) - |> List.filter (fun (isExplicitImpl, _) -> not isExplicitImpl) - |> List.map (fun (_, vref) -> vref.LogicalName, vref)), + |> Seq.filter (fun (isExplicitImpl, _) -> not isExplicitImpl) + |> Seq.map (fun (_, vref) -> vref.LogicalName, vref) + |> Seq.toList), p.tcaug_interfaces, p.tcaug_super, p.tcaug_abstract,