path: root/testsuite/tests/linear/should_fail/LinearRecordUpdate.hs

{-# LANGUAGE LinearTypes #-}

module LinearRecordUpdate where

data R = R { x :: Int, y :: Bool }

shouldFail :: R %1 -> R
shouldFail r = r { y = False }