Closed
Description
E.g. on a code-snippet:
data Bar = Bar
instance Show Bar where
The code-action should offer (semantically):
data Bar = Bar
instance Show Bar where
showsPrec = undefined
and
data Bar = Bar
instance Show Bar where
show = undefined
This could explode exponentially if there are complex Minimal pragmas, but I guess that is fine.
The stub-definition could be implemented with snippets.