hls-tactics-plugin-1.2.0.0: test/golden/DestructPun.expected.hs

{-# LANGUAGE NamedFieldPuns #-}


data Foo = Foo { a :: Bool, b :: Bool }

foo Foo {a = False, b} = _
foo Foo {a = True, b} = _