[mdt-ocl.dev] Arrow accessor conversion for non-collections

[Alexander Igdalov <alexander.igdalov@xxxxxxxxx>]

Hi all,

 

The resolution of issue 10438 made `null->foo()` a synonym of `Bag{}->foo()`. As Ed has mentioned earlier this contradicts 7.5.3 which suggests wrapping the _expression_ source to a Set, i.e. `x->foo()` becomes `Set{x}->foo()` if `x` is not a collection.

 

Does anyone see why there is that exception from the general rule for null? If not I will raise an OMG issue for that.

 

Since `null->foo()` is allowed, what should it be converted to? Should it be `Set{}->foo()` or `Set{null}->foo()`? I would prefer the latter because only in this case we could construct a complete AST at compile time (see guideline at 9.6).

 

Regards,

- Alex.