intellij-haskforce icon indicating copy to clipboard operation
intellij-haskforce copied to clipboard

Published 20 hours ago • verified publisher icon carymrobbins

Case Splitting

Open vlad-shatskyi opened this issue 8 years ago • 1 comments

Would it be possible to add something like case-splitting in Idris and maybe other "code generation" things? https://github.com/idris-hackers/atom-language-idris

vlad-shatskyi avatar Dec 26 '16 21:12 vlad-shatskyi

It would certainly be possible to implement an intention to do this. In fact, I believe ghc-mod supports case splitting to some degree.

If someone is interested in helping to implement this feature, let me know and we can discuss the implementation in further detail.

carymrobbins avatar Dec 29 '16 21:12 carymrobbins