Support TryWith expressions

[GoogleCodeExporter]

For example,

source <@ try (null:string).Length with | e -> -1 @>

produces

TryWith (PropertyGet (Some (Value (<null>)), Int32 Length, []), e, Value (1), e,
         Value (-1))

Original issue reported on code.google.com by stephen....@gmail.com on 15 Feb 2011 at 1:34

[GoogleCodeExporter]

[deleted comment]

[GoogleCodeExporter]

Note that this feature is low priority because TryWith expressions are not 
expected to be common in Unquote assertions since Unquote already provides the 
raises operator to assert whether a quoted expression raises an expected 
exception.

Original comment by stephen....@gmail.com on 21 Feb 2011 at 3:14

[GoogleCodeExporter]

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

• Changed title: Support TryWith expressions

[GoogleCodeExporter]

This needs to implemented for the decompiler and reducer

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

[GoogleCodeExporter]

Original comment by stephen....@gmail.com on 14 Jun 2012 at 11:48

• Changed state: Started

[GoogleCodeExporter]

This issue was closed by revision r603.

Original comment by stephen....@gmail.com on 15 Jun 2012 at 12:42

• Changed state: Fixed

[GoogleCodeExporter]

Note that we started down the path of doing subexpression decompilation of try 
with expressions in another branch but abandon for now so that we can do a 
release soon and think about it more later.

Original comment by stephen....@gmail.com on 15 Jun 2012 at 12:42

[GoogleCodeExporter]

Original comment by stephen....@gmail.com on 15 Jun 2012 at 12:57

• Added labels: Milestone-Release2.2.2