search

kfl / mosml

Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
http://mosml.org
341 stars 42 forks source link

Real./ raises Div #60

Open mn200 opened 4 years ago

mn200 commented 4 years ago

I think it's pretty clear that the Basis library says this should be a signed infinity value.

- 3.0 / 0.0;
! Uncaught exception:
! Div
Munksgaard commented 4 years ago

This is a known issue, and I think pretty much a wont-fix at this point. As far as I've understood, it stems from the underlying use of caml light.

mn200 commented 4 years ago

Yeah, I wondered if this was another "straying from the Basis".

Munksgaard commented 4 years ago

If anything, this and other differences from the Basis should probably be documented somewhere...