ucsd-progsys/liquidhaskell

Recover some tests of parsing errors

Open

#2,009 创建于 2022年6月16日

在 GitHub 查看
 (0 评论) (0 反应) (0 负责人)Haskell (157 fork)batch import
good first issue

仓库指标

Star
 (1,306 star)
PR 合并指标
 (平均合并 2天 18小时) (30 天内合并 12 个 PR)

描述

Some tests were disabled when implementing the expected errors flag. In general, these tests check the presence of certain parse errors.

  • BadAnnotation
  • BadAnnotation1
  • ErrLocation
  • ErrLocation2
  • ShadowMeasureVar

Reenable these and update the implementation of expected errors flags so it can be used with them.

贡献者指南

研究方向
检查测试套件中名为 BadAnnotation、BadAnnotation1、ErrLocation、ErrLocation2 和 ShadowMeasureVar 的测试文件。理解预期错误标志的工作原理，并更新其实现以支持这些测试。重新启用这些测试并确保它们通过。
技术栈
无
领域
tooling
议题类型
测试
难度面向新贡献者的预计实现难度，1 表示很小改动，5 表示专家级工作。
2
预计时间有经验贡献者完成调查、实现、测试并准备 pull request 的粗略时间范围。
1-3 小时
活动状态议题当前的可参与程度：新鲜、活跃、陈旧、阻塞或等待维护者输入。
活跃
清晰度议题是否清楚说明期望改动、验收标准和下一步。
基本清晰
前置要求
GitHaskell
新手友好度1-100 的估计分数，表示该议题对首次贡献者的友好程度。
75