diffix / reference

Reference implementation for the Open Diffix anonymization mechanism.
https://www.open-diffix.org
Other
3 stars 0 forks source link

Make sure normalization of cast(1.01 as real) works #365

Closed pdobacz closed 2 years ago

pdobacz commented 2 years ago

This line https://github.com/diffix/reference/blob/master/src/OpenDiffix.Core/Normalizer.fs#L19 evaluates the cast(1.01 as real) which used to be invalid cast.

edongashi commented 2 years ago

I don't think this is right. This needs to be handled in the normalizer. I think the order of folding is incorrect.

After looking at the normalizer, I see that the constant folder calls this functions and after all seems to be right.