haskell-tools-builtin-refactorings-1.0.0.0: examples/Refactor/ExtractBinding/Records_res.hs

module Refactor.ExtractBinding.Records where

data Point = Point { x :: Double, y :: Double }

d = plus (Point 1 2)
  where plus (Point {x = x, y = y}) = x + y