跳到内容
新问题

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

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

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

Real.fromDecimal的类型与基础库不匹配 #75

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

Real.fromDecimal的类型与基础库不匹配 #75

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

操作系统版本

无响应

处理器

任何

组件

基础库

严重程度

次要

问题描述

SML/NJ声明:

val值from decimal:IEEEReal.decimal_approx->实数

基础库声明:

val值from decimal:IEEEReal.decimal_approx->实物期权

https://smlfamily.github.io/Basis/real.html#SIG:real.toDecimal:VAL

尽管小数后实数如果未实现,则其类型与基础库匹配将有助于代码的可移植性。(用户可以选择提供自己的实现,如果签名真实不需要重新声明。)

成绩单

无响应

预期行为

无响应

复制步骤

开放现实;

其他信息

无响应

电子邮件地址

phil.clayton@veonix.com

smlnj-gforge的意见

原始smlnj-gforge错误号319

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

关键词:雷亚尔

评论人@JohnReppy公司2022-07-06 13:26:00+000 UTC

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名参与者