Cuddle can't generate (or parse rules) that involve literal bigints

未关闭
#70 0 条评论 0 个 reaction 已指派 0 人 在 GitHub 查看

还没有人认领这个 Issue。

评估

难度
3/5
预计耗时
1-2 天
新手友好度
42/100
Issue 类型
缺陷
描述清晰度
基本清楚
活跃度
停滞
技术栈
haskell
领域
tooling

调研方向

首先使用所示的 CDDL 输入复现报告的 literal-bigint 情况,然后将 cuddle gen 和 parse 的行为与 cddl generate 进行比较。跟踪字面量值在生成和解析过程中的表示方式;完成的标准是生成并解析出完全准确的 bigint,且不发生截断或舍入。

由索引模型根据 Issue 内容生成。

描述

bug

With this cddl file:

a_fixed_bigint = -69820359824690251347463789091535876986214416475039738375086693072001776

cuddle gen produces:

➜ doRule a_fixed_bigint
3b 273920e1e0305aef # negative(2826326395652692719)

it parses the rule as: Literal (VNInt 2826326395652692720).

whereas cddl does generate this value:

➜ cddl b.cddl generate
-69820359824690251347463789091535876986214416475039738375086693072001776
主要语言
Haskell
星标
8
派生
5
平均合并
3 天 12 小时
30 天内合并 PR
4

环境准备

这个项目没有提供开发容器、Dockerfile 或贡献指南,环境需要你自己搭建:先看它的 README,通用步骤见我们的新手贡献指南。

从这里开始

  1. 先读完整个 Issue,再读项目的贡献指南。
  2. 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
  3. Fork 仓库,在一个分支上完成修改。
  4. 提交 Pull Request,并在描述里引用这个 Issue 编号。

IntersectMBO/cuddle 的其他 Issue

查看 IntersectMBO/cuddle 的全部 Issue

相似的 Issue

更多 Haskell Issue

把新 issue 发到你的邮箱

精选适合新手参与的 GitHub issue 摘要。