atom-language-idris
atom-language-idris copied to clipboard
Adding a clause for function in where clause
Given
foo: Int -> Int
foo x = bar x where
bar: Int -> Int
and inserting a new clause on bar gives
foo: Int -> Int
foo x = bar x where
bar: Int -> Int
bar x = ?bar_rhs
but it should consider the column of the first word in the line to produce
foo: Int -> Int
foo x = bar x where
bar: Int -> Int
bar x = ?bar_rhs