testsuite/tests/patsyn/should_fail/records-nofieldselectors.hs


1
2
3
4
5
6
7
8
9
10
11
12

{-# LANGUAGE NoFieldSelectors #-}
{-# LANGUAGE PatternSynonyms #-}
module ShouldFail where

pattern Single{x} = [x]

-- Selector
selector :: Int
selector = x [5]

update :: [String]
update = ["String"] { x = "updated" }