CakeML/cakeml

Use a file-based I/O interface to the compiler

开放

#355 创建于 2017年10月26日

在 GitHub 查看
 (5 条评论) (0 个反应) (0 位负责人)Standard ML (98 个派生)auto 404
good first issuehelp wanteduser experience

仓库指标

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

描述

Make the top-level interface to the compiler accept the names of input file(s) on the command line, including a way to specify stdin, and an optional output file instead of stdout. (See comment in #319.) Probably depends on #248 and #354.

贡献者指南

研究方向
研究现有的编译器接口，并实现命令行文件输入/输出选项。查看第#248和#354号问题以了解依赖的变更。
技术栈
无
领域
compilers
议题类型
功能
难度面向新贡献者的预计实现难度，1 表示很小改动，5 表示专家级工作。
3
预计时间有经验贡献者完成调查、实现、测试并准备 pull request 的粗略时间范围。
1-2 天
活动状态议题当前的可参与程度：新鲜、活跃、陈旧、阻塞或等待维护者输入。
活跃
清晰度议题是否清楚说明期望改动、验收标准和下一步。
清晰
前置要求
Git
新手友好度1-100 的估计分数，表示该议题对首次贡献者的友好程度。
35