Decide whether signaling NaNs should be supported

tokiwa-software / fuzion

The Fuzion Language Implementation

https://fuzion-lang.dev

GNU General Public License v3.0

45 stars 9 forks source link

Decide whether signaling NaNs should be supported #3278

Open simonvonhackewitz opened 2 days ago

simonvonhackewitz commented 2 days ago

Signaling NaN

related to tokiwa-software/fuzion-idioms#143

fridis commented 1 day ago

I opt for not supporting them. IF we will need support some time, I would suggest to do this using an effect such that operations that could produce a signalling num would require that effect and there would be two implementations of that effect, one that uses non-signalling NaNs and one that aborts on a NaN intermediate result