None and null literals should be decompiled with explicit type annotations

[GoogleCodeExporter]

For example,

decompile <@ (null:string).Length @>

should be

"(null:string).Length"

but is

"null.Length"

Similar results for None literals.

We hesitate moving this issue from New to Accepted status because in a majority 
of cases, the type of these literals is obviously, i.e. in a reduction, e.g.

unquote <@ someProperty.Length @>

someProperty.Length
null.Length
...

Original issue reported on code.google.com by stephen....@gmail.com on 10 Jun 2012 at 11:21

[GoogleCodeExporter]

Original comment by stephen....@gmail.com on 10 Jun 2012 at 11:47

• Added labels: Type-Defect

[GoogleCodeExporter]

Marking as WontFix, since as stated in the majority of cases the type of null 
or None is clear.

Original comment by stephen....@gmail.com on 2 Feb 2013 at 5:24

• Changed state: WontFix