haskell-tools-builtin-refactorings-1.0.0.0: examples/Refactor/RenameDefinition/RecordPatternSynonyms_res.hs

{-# LANGUAGE PatternSynonyms #-}
module Refactor.RenameDefinition.RecordPatternSynonyms where

pattern Point {xx, y} = (xx, y)

r = (0, 0) { xx = 1 }