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

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