search

SwensenSoftware / unquote

Write F# unit test assertions as quoted expressions, get step-by-step failure messages for free
http://www.swensensoftware.com/unquote
Apache License 2.0
287 stars 25 forks source link

Further support for partial application lambda re-sugaring by supporting coerced vars #40

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
The current re-sugaring is ad-hoc and we can improve it for example, given

    let f (x:obj) (y:obj) = x |> string

Before this fix the following expression decompilation

    <@ 2 |> f "2" @> |> decompile

would be

    "2 |> let x = "2" in fun y -> f x y"

due to coercion throwing off our pattern matching. But after this fix we'll have

    "2 |> f "2""

Original issue reported on code.google.com by stephen....@gmail.com on 5 Jul 2011 at 3:22

GoogleCodeExporter commented 9 years ago

Original comment by stephen....@gmail.com on 5 Jul 2011 at 3:28

GoogleCodeExporter commented 9 years ago

Original comment by stephen....@gmail.com on 7 Jul 2011 at 3:38