Document Undecidable Instance
还没有人认领这个 Issue。
评估
- 难度
- 2/5
- 预计耗时
- 1-3 小时
- 新手友好度
- 35/100
- Issue 类型
- 文档
- 描述清晰度
- 基本清楚
- 活跃度
- 停滞
调研方向
Read the linked Try PureScript examples and trace how multiple deletes compose a Builder under the Type.Row constraints. Clarify the compiler issue and document the risk in the relevant library documentation; the result should explain when explicit annotations are needed. The issue does not name a documentation file or test.
由索引模型根据 Issue 内容生成。
描述
I ran into an issue using multiple deletes to compose a Builder because of the underlying Type.Row constraints:
http://try.purescript.org/?gist=c566077f18d0d9ddbd99d3c79d1cfd4a
@paf31 came up with these explicit annotations to fix it:
http://try.purescript.org/?gist=faf2fd6edfa06949831b0be85d91af43
I think @paf31 was saying this was a compiler issue but it'd be good to document the danger here.
- 主要语言
- PureScript
- 星标
- 65
- 派生
- 21
- 平均合并
- 2 天 23 小时
- 30 天内合并 PR
- 1
环境准备
- 没有 Dockerfile 或 Docker Compose 文件
- 有 Pull Request 模板
- 没有贡献指南
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
purescript/purescript-typelevel-prelude 的其他 Issue
-
Add Equals to Type.Data.Boolean?可能重新可做 关联的 PR 已关闭且未合并。 未关闭status: needs more info
难度 2/5 1-3 小时 新手友好度 35/100
purescript/purescript-typelevel-prelude#65 · 4 条评论 ·
-
type: enhancement
难度 5/5 一周以上 新手友好度 25/100
purescript/purescript-typelevel-prelude#40 · 3 条评论 ·
-
type: enhancement
难度 5/5 一周以上 新手友好度 10/100
purescript/purescript-typelevel-prelude#31 · 2 条评论 ·
-
type: documentation
难度 2/5 1-3 小时 新手友好度 35/100
purescript/purescript-typelevel-prelude#18 · 8 个 reaction ·
查看 purescript/purescript-typelevel-prelude 的全部 Issue
相似的 Issue
-
1.3 documentation
难度 1/5 1-3 小时 新手友好度 78/100
-
documentation Needs Human Review
难度 2/5 1-3 小时 新手友好度 72/100
NQCD/NQCDynamics.jl#526 ·
-
bug
难度 1/5 1 小时以内 新手友好度 75/100
MetrolistGroup/Metrolist#4554 ·
维护者通常 1 天内回复
-
intake mcp-intake needs-human-review priority:high type:bug
难度 2/5 1-3 小时 新手友好度 66/100
Ikalus1988/MisakaNet#4903 · 2 条评论 ·
维护者通常 1 天内回复
-
bug
难度 2/5 1-3 小时 新手友好度 82/100
维护者通常 1 天内回复