atom-language-idris icon indicating copy to clipboard operation
atom-language-idris copied to clipboard

Adding a clause for function in where clause

Open justjoheinz opened this issue 9 years ago • 0 comments

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

justjoheinz avatar Mar 05 '16 14:03 justjoheinz