On 2/21/25 8:59 AM, Camm Maguire wrote:

I had to rework the type system a bit to accommodate unordered floats.  In
sum, (or (long-float 0) (long-float * 0)) is a subtype of, but not equal
to, long-float.  As NaNs were not envisioned in the spec (apparently),

Is |long-float| a subtype of |(or (long-float 0) (long-float * 0))| ?

Seems weird to me because there’s no long-float that is not in either |(long-float 0)| or |(long-float * 0)|. Are you essentially putting NaN’s there?

This was the last obstacle for GCL 2.7.0 release.  AFAICS GCL master
supports current master of ACL2, maxima, axiom, fricas, and hol88 and is
ready for release.  If anyone has any extremely minor suggestions in the
next week or so please send them my way.  No unicode changes made it
into this release.
In any case, I’m looking forward to the 2.7.0 release!
​

Reply via email to