Closed
Description
Given the following code:
data Bar = Bar { ax :: Int, bax :: Bool }
bar :: Bar -> Int
bar Bar {ax, bax} = _
executing the case split on bax
code action results in
data Bar = Bar { ax :: Int, bax :: Bool }
bar :: Bar -> Int
bar Bar {ax, bax} = _
bar Bar {ax, bax} = _
a workaround is turning the pattern in question into a normal record field binding first:
bar :: Bar -> Int
bar Bar {ax, bax = bax} = _
then executing the same code action results in the expected output:
bar :: Bar -> Int
bar Bar {ax, bax = False} = _
bar Bar {ax, bax = True} = _
I've tried this on both the latest master (9ae2092) and the latest release (1.1
) and both exhibit this behaviour.