Case splitting inside where block doesn't work properly

data FooType = Foo | Bar Int
newtype Base = Base String

foo :: FooType -> Base -> String
foo a b = undefined
  where
    bar :: FooType -> Base -> String
    bar _ _ = undefined

When case splitting on the implementation line of bar, I end up with:

data FooType = Foo | Bar Int
newtype Base = Base String

foo :: FooType -> Base -> String
foo a b = undefined
  where
    bar :: FooType -> Base -> String
    bar (Bar n) _ = undefined
foo a b = undefined
  where
    bar :: FooType -> Base -> String
    bar Foo _ = undefined

So it correctly splits the cases, but it doesn’t generate the correct code.

Also, I can’t case split when there’s no type annotation for bar. Especially in cases like this I often don’t use explicit type annotations. It would be great to have case splitting there

[rikvdkleij]

Thanks! You’re a great tester 👍

I got a fix which puts the cursor directly after bar :: FooType -> Base -> String Don’t get this better in current implementation. Hopefully you can live with that 😄

[rikvdkleij]

Thanks for reporting!

Currently only case splitting on top-level is supported. So I have to not show the case split action in this case or make it work in this case. Will take a look soon.