Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.
And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.
Case split feature
See original GitHub issueOne thing I really miss from, say, Idris is case splitting a variable in a function definition or a case expression.
For instance, having a type like
data FooType = Foo | Bar Int
and having written
foo :: FooType -> Smth
foo x = undefined
doing the suggested “case split” on x should result in foo x = undefined replaced with the corresponding patterns like
foo :: FooType -> Smth
foo Foo = undefined
foo (Bar n) = undefined
Doing this on x in case x context should behave similarly.
Being able to add missing clauses would also be super cool!
I know this request sounds a bit vague, so please let me know if you’d like me to elaborate!
Issue Analytics
- State:
- Created 3 years ago
- Reactions:4
- Comments:18 (15 by maintainers)
Top Results From Across the Web
Top Related Medium Post
Top Related StackOverflow Question
Troubleshoot Live Code
Top Related Reddit Thread
Top Related Hackernoon Post
Top Related Tweet
Top Related Dev.to Post
Top Related Hashnode Post
Making some progress in implementing in case splitting
Yay @rikvdkleij this looks awesome!