Better auto indentation

[SmartHypercube]

a = do
    let b = do
            -- cursor should go here
        -- not here

In the example, let can be changed to where, do can be changed to case x of. There may be more such combinations to consider.

[JustusAdam]

I don't think I quite understand what your issues is. Are you saying that where the cursor currently goes does not compile?

[SmartHypercube]

Yes. This won't compile:

a = do
    let b = do
        pure ()

pure () needs to be indented one more level.

Currently, after hitting enter, the cursor goes here:

a = do
    let b = do
        |

And as far as I know, the only legal next move at this state is to press tab. Inserting anything else will certainly result in a syntax error. So I think the auto indentation rule is wrong.