跳到内容
新问题

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

注册GitHub

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

已经在GitHub上了？登录到您的帐户
跳到底部

如果man=0.0，Real.fromManExp不返回预期值 #72

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

如果man=0.0，Real.fromManExp不返回预期值 #72

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

评论

@JohnReppy公司
复制链接
贡献者

JohnReppy公司 评论2022年7月15日 •
已编辑
加载

版本

110.99

操作系统

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

操作系统版本

无响应

处理器

任何

组件

基础库

严重程度

次要

问题描述

对于任何整数经验表达式

实际值fromManExp｛man=0.0，exp=exp｝

不返回预期值。基础库声明“如果人是+-0，结果是+-0.”
https://smlfamily.github.io/Basis/real.html#SIG:real.fromManExp:VAL

对于110.85，表达式引发异常Overflow。

对于110.99，表达式的计算不会终止。

成绩单

无响应

预期行为

无响应

复制步骤

对表达式求值

Real.fromManExp{男=0，经验=0};

版本110.99和110.85。

其他信息

无响应

电子邮件地址

phil.clayton@veonix.com

smlnj-gforge的意见

原始smlnj-gforge错误号316

Phil Clayton通过网络表单提交phil.clayton@veonix.com2022-07-05 13:02:00

关键词：雷亚尔

评论人@JohnReppy公司2022-07-05 15:12:00+000 UTC

110.99.3和2022.1固定
@JohnReppy公司 JohnReppy公司补充基本库 标准ML Basis库的问题 缺陷 有些东西不起作用了 浮点 与浮点运算相关的问题 gforge公司 从smlnj-gforge存储库移植的错误（或功能请求）标签2022年7月15日
@普莱顿
复制链接

我发现了其他值，其中人工支出实际值有类似的错误行为。这里报告的问题的修复是否也修复了以下情况？

Real.fromManExp{man=Real.posInf，exp=0}；（*man=inf*）Real.fromManExp{man=Real.posInf-Real.pos Inf，exp=0}；（*男=男*）

这些情况产生的结果与上述相同：

  • 对于110.85，表达式引发异常Overflow。
  • 对于110.99，表达式的求值不会终止。

在这种情况下，我希望人工支出实际值返回男人.

@普莱顿
复制链接

很高兴看到SML/NJ搬到Github！我本可以自己构建源代码进行检查，但我没有看到构建说明，所以我认为只需询问就可以更快地完成。

@JohnReppy公司
复制链接
贡献者 作者

我在自述文件中添加了如何从存储库克隆构建的说明。我还检查了你给出的两个示例，它们都是固定的。

@JohnReppy公司 JohnReppy公司提到了这个问题 2022年7月18日
关闭
12项任务
@普莱顿
复制链接

感谢自述文件中的构建说明-构建工作正常。出于兴趣，是否有必要对后续构建始终执行步骤2？例如，从远程分支提取更多提交后，我可以从步骤3开始吗？

@JohnReppy公司 JohnReppy公司补充这个固定在110.99.3中 将在110.99.3版本中修复的问题标签2022年7月19日
@JohnReppy公司
复制链接
贡献者 作者

您可以从第3步开始（我在自述文件中添加了一个注释）。

免费注册 在GitHub上加入此对话.已经有账户了吗？登录以发表评论
受让人

@JohnReppy公司 JohnReppy公司

标签
基本库 标准ML Basis库的问题 缺陷 有些东西不起作用了 固定在110.99.3中 将在110.99.3版本中修复的问题 浮点 与浮点运算相关的问题 gforge公司 从smlnj-gforge存储库移植的错误（或功能请求）
项目
还没有
里程碑
无里程碑
开发

没有分支或拉请求
2名参与者
@普莱顿 @JohnReppy公司