New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Curly bracket wrongly indents the line it is inserted. #58

Open

xekoukou opened this issue Oct 6, 2016 · 0 comments

xekoukou commented Oct 6, 2016

test : Vect n a -> String
test [] {n=Z} = case (Z) of
                     Z => ?fdgf_1
                     (S k) => ?fdgf_2
test (x :: xs) {n=n} = ?test_rhs_2

If you remove the right curly bracket from the second case and put it again, it makes the line to wrongly indent itself.

The result :

test : Vect n a -> String
test [] {n=Z} = case (Z) of
                     Z => ?fdgf_1
                     (S k) => ?fdgf_2
                     test (x :: xs) {n=n} = ?test_rhs_2

The text was updated successfully, but these errors were encountered:

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment