hls-tactics-plugin-1.2.0.0: test/golden/PunMany.expected.hs
data Many
= Hello { world :: String }
| Goodbye { a :: Int, b :: Bool, c :: Many }
test :: Many -> Many
test Hello {world} = _
test Goodbye {a, b, c} = _
data Many
= Hello { world :: String }
| Goodbye { a :: Int, b :: Bool, c :: Many }
test :: Many -> Many
test Hello {world} = _
test Goodbye {a, b, c} = _