跳到内容
新问题

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

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

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

CharBuffer.addSlice无法正确处理起始偏移量 #278

关闭
12项任务中的2项
Skyb0rg007已打开此问题2023年5月23日·1条评论
关闭
12项任务中的2项

CharBuffer.addSlice无法正确处理起始偏移量 #278

Skyb0rg007已打开此问题2023年5月23日·1条评论
受让人
标签
基本库 标准ML Basis库的问题 缺陷 有些东西不起作用了 固定在110.99.4中 将在110.99.4版本中修复的问题

评论

@Skyb0rg007
复制链接
贡献者

Skyb0rg007 评论2023年5月23日

版本

110.99.3(最新)

操作系统

  • 任何
  • Linux操作系统
  • macOS操作系统
  • 窗户
  • 其他Unix

操作系统版本

处理器

  • 任何
  • 手臂(使用Rosetta)
  • PowerPC公司
  • 斯巴达克
  • x86(32位)
  • x86-64(64位)
  • 其他

系统组件

SML/NJ图书馆

严重程度

次要

描述

字符缓冲区.addSlice忽略子字符串的起始偏移量。

成绩单

-val buf=字符缓冲区新0;-val substr=Substring.extract(“foo”,1,无);-子字符串子字符串;valit=“oo”:字符串-val()=CharBuffer.addSlice(buf,substr);-CharBuffer.contents buf;valit=“fo”:字符串

预期行为

-val buf=CharBuffer.new 0;-val()=CharBuffer.addSlice(buf,子字符串提取(“foo”,1,NONE));-CharBuffer.contents buf;valit=“oo”:字符串

复制步骤

-val buf=字符缓冲区新0;-val()=CharBuffer.addSlice(buf,Substring.extract(“foo”,1,NONE));-CharBuffer.contents buf;valit=“fo”:字符串

其他信息

同样的问题发生在字符缓冲区.addArrSlice.

电子邮件地址

ssoss AT uchicago DOT教育

@Skyb0rg007 Skyb0rg007补充这个缺陷 有些东西不起作用了标签2023年5月23日
@Skyb0rg007 Skyb0rg007更改了标题Real.fromLargeInt导致非常大的整数出现segfault CharBuffer.addSlice无法正确处理起始偏移量 2023年5月23日
@JohnReppy公司 JohnReppy公司补充这个基本库 标准ML Basis库的问题标签2023年5月23日
@JohnReppy公司 JohnReppy公司补充这个固定在110.99.4中 将在110.99.4版本中修复的问题标签2023年6月14日
@JohnReppy公司
复制链接
贡献者

此错误出现在CharBuffer(字符缓冲区)Word8缓冲区结构;已确定为110.99.4(2023.1)。

免费注册 在GitHub上加入此对话.已经有帐户了吗?登录以发表评论
标签
基本库 标准ML Basis库的问题 缺陷 有些东西不起作用了 固定在110.99.4中 将在110.99.4版本中修复的问题
项目
还没有
开发

没有分支或拉请求

2名参与者