ghc-exactprint-0.5.1.0: tests/examples/ghc8/records-compile.hs
{-# LANGUAGE PatternSynonyms #-}
module ShouldCompile where
pattern Single{x} = [x]
-- Selector
selector :: Int
selector = x [5]
update :: [String]
update = ["String"] { x = "updated" }