3 ms·
When can I get Wingman to fill in trivially simple holes, e.g. where the type of the hole is `TypeA -> TypeB` and there’s only one function in scope with that t
by runeks 5y ago
When can I get Wingman to fill in trivially simple holes, e.g. where the type of the hole is `TypeA -> TypeB` and there’s only one function in scope with that type?
In this situation, choosing “Fill in hole”, Wingman always just fails with a “ran out of gas”-error.
(Using GHC 8.10.7)
- dunefox 5y agoYou could try to increase the setting for the search tree or restarting VS Code (at least that solved some issues for me).