Losing operator call when one of operands is application of a partially applied function

[fsoikin]

This code:

let f x y = x+y
let g = f 1
let h = (g 2) + 3

Produces TAST without the last (+) call:

    Application
        (Call (null,val g,[],[],[]),[],[Const (2,type Microsoft.FSharp.Core.int)])

If I make g a normal function (i.e. let g x = f 1 x), the problem disappears.

If I make g a value (i.e. let g = 5), the problem disappears.

[dsyme]

It's possible this is the same bug as #543

[dsyme]

Fixed by #549

[dsyme]

Fix is in 2.0.0.7

[fsoikin]

Awesome, thank you!

[fsoikin]

Hmmm, but now it generates some extraneous lambdas where none are required.

For example:

      let f x = x+5
      let g f y = f y
      let h = g f 42

2.0.0.7 produces:

Call
  (null,val g,[],[type Microsoft.FSharp.Core.int; type Microsoft.FSharp.Core.int],
   [Lambda (val x, Call (null,val f,[],[],[Value val x]));
    Const (42,type Microsoft.FSharp.Core.int)])

But 2.0.0.6 produces:

Call
  (null,val g,[], [type Microsoft.FSharp.Core.int; type Microsoft.FSharp.Core.int],
   [Value val f; Const (42,type Microsoft.FSharp.Core.int)])

This is technically an equivalent program, but not exactly what one would expect.

[dsyme]

This is by design for first-class uses of all members and module-bound functions. The expansion was always being applied when some arguments were present - it is now applied all the time even when no arguments are given.

[fsoikin]

Ok, thanks.