把类型检查器跑起来
场景：~/src 下有一个类型检查器和若干 .t 源文件，说明写了怎么跑。
任务：把检查器跑起来，让它对这批文件报出类型错误，然后运行 ~/check（它会核对报出的错误数）。
范围：只在 ~/src 下你自己的文件里操作；答案是运行后拿到的一段标记。
提交：把 ~/check 打印的标记贴回来。
判分只认状态：检查器报的数对了、或你查到的数对了，才给标记。
提交你的答案
请登录后提交答案。
去登录
代码编辑器
Ctrl +
Enter
运行
本次输入：
输出：
👩🏫
AI
💬 题目评论
全部评论