hls-tactics-plugin-1.4.0.0: test/golden/RefineIntroWhere.expected.hs

test :: Maybe Int -> Int
test = \ m_n -> _w0
  where
    -- Don't delete me!
    blah = undefined