CakeML/cakeml

Remove unnecessary header words

开放

#142 创建于 2016年9月1日

在 GitHub 查看
 (1 条评论) (0 个反应) (1 位负责人)Standard ML (98 个派生)auto 404
enhancementhelp wantedmedium effortmedium rewardperformance

仓库指标

星标
 (1,169 个星标)
PR 合并指标
 (PR 指标待抓取)

描述

For data whose tag and length can be completely represented in its pointer, there should be no need for a header word. This involves changing the data_to_wordProps invariants.

贡献者指南

研究方向
检查CakeML源代码中`data to wordProps`不变式，了解当前如何为标签和长度可以容纳在指针内的数据使用标题词。然后提出修改方案，消除此类情况下的标题词，确保相应地更新不变式。
技术栈
无
领域
compilers
议题类型
重构
难度面向新贡献者的预计实现难度，1 表示很小改动，5 表示专家级工作。
3
预计时间有经验贡献者完成调查、实现、测试并准备 pull request 的粗略时间范围。
1-3 小时
活动状态议题当前的可参与程度：新鲜、活跃、陈旧、阻塞或等待维护者输入。
活跃
清晰度议题是否清楚说明期望改动、验收标准和下一步。
清晰
前置要求
GitBasic understanding of ML and compilers
新手友好度1-100 的估计分数，表示该议题对首次贡献者的友好程度。
60