跳到内容
新问题

对这个项目有疑问吗?注册一个免费的GitHub帐户以打开一个问题,并联系其维护者和社区。

单击“注册GitHub”,表示您同意我们的服务条款隐私声明。我们偶尔会向您发送与帐户相关的电子邮件。

已经在GitHub上了吗?登录到您的帐户

IEEEReal.float_class与基础库不匹配 #71

关闭
5项任务中的1项
JohnReppy公司已打开此问题2022年7月15日·0条评论
关闭
5项任务中的1项

IEEEReal.float_class与基础库不匹配 #71

JohnReppy公司已打开此问题2022年7月15日·0条评论
受让人
标签
基本库 标准ML Basis库的问题 缺陷 有些东西不起作用了 固定在110.99.3中 将在110.99.3版本中修复的问题 gforge公司 从smlnj-gforge存储库移植的错误(或功能请求)

评论

@JohnReppy公司
复制链接
贡献者

JohnReppy公司 评论2022年7月15日

版本

110.99

操作系统

  • 全部
  • Linux操作系统
  • macOS操作系统
  • 窗户
  • 其他Unix

操作系统版本

没有回应

处理器

任何

组件

基础库

严重程度

次要

问题描述

基础库定义

数据类型float_class
=纳米
|INF(信息)
|零
|正常
|亚正常

在里面https://smlfamily.github.io/Basis/iee-float.html

在SML/NJ中,构造函数NAN采用一个参数:

  数据类型nan_mode=安静|信号数据类型float_class=INF|NAN属于nan_mode|NORMAL|SUBNORMAL|ZERO

由于与NAN公司构造函数不可能编写可移植的SML代码。
其他评论:
使用的实现时真实,可以通过使用函数来避免函数类测试数值是否为有限数,是Nan,是正常的并与零进行比较。

成绩单

没有回应

预期行为

没有回应

复制步骤

没有回应

其他信息

没有回应

电子邮件地址

phil.clayton@lineone.net

smlnj-gforge的意见

原始smlnj-gforge错误号315

Phil Clayton通过网络表单提交phil.clayton@lineone.net2022-06-29,15:50:00

关键词:IEEEReal浮点类NAN

评论人@JohnReppy公司2022-06-29 17:52:00+000 UTC

这可能是早期Basis Library设计的遗留问题,在我们的实现中从未更新过。我已将其修复为110.99.3和2022.1。

@JohnReppy公司 JohnReppy公司补充基本库 标准ML Basis库的问题 缺陷 有些东西不起作用了 gforge公司 从smlnj-gforge存储库移植的错误(或功能请求)标签2022年7月15日
@JohnReppy公司 JohnReppy公司补充这个固定在110.99.3中 将在110.99.3版本中修复的问题标签2022年7月19日
免费注册 在GitHub上加入此对话.已经有帐户了吗?登录以发表评论
标签
基本库 标准ML Basis库的问题 缺陷 有些东西不起作用了 固定在110.99.3中 将在110.99.3版本中修复的问题 gforge公司 从smlnj-gforge存储库移植的错误(或功能请求)
项目
还没有
开发

没有分支或拉请求

1名参与者