search

InseeFr / Trevas

Transformation engine and validator for statistics.
MIT License
10 stars 5 forks source link

Null issue #270

Closed NicoLaval closed 10 months ago

NicoLaval commented 1 year ago

a := 1 + null throws exception function 'addition(Long, Object)' not found

Seems to make sense, we have to explicitly define the null type.

a := 1 + b, with binding b -> null throws exception function 'addition(Long, Object)' not found (from resolution refactoring as functions)

Shouldn't we find a way to guess the type? Otherwise, we would have to cast all the variables used in a script (which is not possible in some cases, such as in the rules of check_hierarchy)

NicoLaval commented 10 months ago

a := 1 + cast(null, integer);