New tactics - Githubissues

isovector / haskell-language-server

Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.

Apache License 2.0

0 stars 2 forks source link

Closed isovector closed 3 years ago

isovector commented 3 years ago

I think we want some new tactics:

any pattern val
type-aware structurally simpler value. for int this should be -1, for anything else it should be i guess a patval of the thing
recursion, which forces all of its holes to be one of the above