haskell-language-server-2.7.0.0: plugins/hls-pragmas-plugin/test/testdata/NamedFieldPuns.hs

module NamedFieldPuns where

data Record = Record
  { a :: Int,
    b :: Double,
    c :: String
  }

f Record{a, b} = a