haskell-tools-builtin-refactorings-1.0.0.0: examples/Refactor/RenameDefinition/RecordPatternSynonyms.hs
{-# LANGUAGE PatternSynonyms #-}
module Refactor.RenameDefinition.RecordPatternSynonyms where
pattern Point {x, y} = (x, y)
r = (0, 0) { x = 1 }