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
-
難度 2/5 1-3 小時 新手友好度 70/100
osrep/Runes2P.jl#279 ·
維護者通常 1 天內回覆
-
documentation good first issue help wanted
難度 2/5 半天 新手友好度 72/100
Is0cre/MonkeyThrive#6 ·
-
bug
難度 1/5 1 小時以內 新手友好度 65/100
維護者通常 1 天內回覆
-
難度 2/5 1-3 小時 新手友好度 62/100
Imbad0202/academic-research-skills#1093 ·
維護者通常 1 天內回覆
-
1.3 documentation
難度 1/5 1-3 小時 新手友好度 78/100