Decompiler Feature Request: re-sugar unapplied lambda expressions

[GoogleCodeExporter]

This may be considered a sub-issue of issue 23.

e.g. instead of

> <@ not >> (=) @> |> source;;
val it : string = "(fun value -> not value) >> (fun x y -> x = y)"

should be

> <@ not >> (=) @> |> source;;
val it : string = "not >> (=)"

Original issue reported on code.google.com by stephen....@gmail.com on 23 Mar 2011 at 3:52

[GoogleCodeExporter]

The following cases are now covered:

[<Fact>]
let ``re-sugar unapplied lambda: built-in binary op`` () =
    <@ (+) @> |> source =? "(+)"

[<Fact>]
let ``re-sugar unapplied lambda: built-in unary op`` () =
    <@ (~-) @> |> source =? "(~-)"

[<Fact>]
let ``re-sugar unapplied lambda: module qualified`` () =
    <@ List.map @> |> source =? "List.map"

[<Fact>]
let ``re-sugar unapplied lambda: open module`` () =
    <@ id @> |> source =? "id"

[<Fact>]
let ``re-sugar unapplied lambda: complex`` () =
    <@ not >> (=) @> |> source =? "not >> (=)"

Original comment by stephen....@gmail.com on 24 Mar 2011 at 3:18

• Changed state: Fixed

[GoogleCodeExporter]

Original comment by stephen....@gmail.com on 24 Mar 2011 at 3:43

• Added labels: Milestone-Release1.2.4

[GoogleCodeExporter]

removing premature milestone label assignment, from now on will hold off 
applying the label until release is actually ready (for example, I am planning 
on calling the next release 1.3.0 instead of 1.2.4 due to significant feature 
enhancements).

Original comment by stephen....@gmail.com on 27 Mar 2011 at 2:12

• Removed labels: Milestone-Release1.2.4

[GoogleCodeExporter]

Original comment by stephen....@gmail.com on 2 Apr 2011 at 7:59

• Added labels: Milestone-Release1.3.0