Hover and completion on an applied functor show the functor body's types
維護者通常 1 天內回覆
評估
- 難度
- 4/5
- 預估耗時
- 3-5 天
- 新手友好度
- 35/100
- Issue 類型
- 缺陷
- 描述清晰度
- 描述清楚
- 活躍度
- 停滯
- 技術堆疊
- ocaml
- 領域
- tooling
研究方向
Start with for_module in analysis/src/process_cmt.ml, which the issue identifies as mishandling Tmod_apply by ignoring the argument. Compare its handling with the applied module's compiler signature and the supplied MakeSet example. Done means hover and completion for IntSet show the applied int types instead of the functor body's O.t types; linked pull request 9084 is already open.
由索引模型根據 Issue 內容生成。
描述
For a module created by applying a functor, hover and completion show the types of the functor's body instead of the applied signature:
module MakeSet = (O: Ord) => {
type t = array<O.t>
let add = (s: t, x: O.t) => s->Array.concat([x])
}
module IntSet = MakeSet({
type t = int
let compare = (a: int, b) => a - b
})
let s = IntSet.add([], 1)
// ^ hover
// let s2 = IntSet.
// ^ completion
Hover on IntSet.add shows type IntSet.t = array<O.t>, and completion of IntSet. shows add: (t, O.t) => array<O.t>. The compiler's signature is type t = array<int> and let add: (t, int) => array<int>.
for_module in analysis/src/process_cmt.ml handles Tmod_apply by recursing into the functor's own module expression and ignores the argument.
- 主要語言
- OCaml
- 星號
- 7.5k
- 分支
- 484
- 平均合併
- 20 小時 19 分鐘
- 30 天內合併 PR
- 242
環境準備
在瀏覽器裡用你自己的 GitHub 帳號啟動這個專案的開發容器。
- 沒有 Dockerfile 或 Docker Compose 檔案
- 有 Pull Request 範本
- 閱讀貢獻指南
從這裡開始
- 先讀完整個 Issue，再讀專案的貢獻指南。
- 在 Issue 下留言說明你要接手 —— 這能避免兩個人做同樣的事。
- Fork 儲存庫，在一個分支上完成修改。
- 送出 Pull Request，並在描述裡引用這個 Issue 編號。
rescript-lang/rescript 的其他 Issue
-
Record coercion can construct a private record from outside its module可能已有人在做 @cknitt 今天認領。 未關閉
難度 4/5 1-2 天 新手友好度 52/100
rescript-lang/rescript#9124 ·
維護者通常 1 天內回覆
-
難度 3/5 1-2 天 新手友好度 56/100
rescript-lang/rescript#9123 ·
維護者通常 1 天內回覆
-
難度 4/5 1-2 天 新手友好度 55/100
rescript-lang/rescript#9122 ·
維護者通常 1 天內回覆
-
難度 5/5 一週以上 新手友好度 15/100
rescript-lang/rescript#9109 ·
維護者通常 1 天內回覆
-
Formatter: five cases where comments and doc comments are placed wrongly可能已有人在做 @cknitt 於 1 天前認領。 未關閉
難度 4/5 3-5 天 新手友好度 35/100
rescript-lang/rescript#9107 ·
維護者通常 1 天內回覆
查看 rescript-lang/rescript 的全部 Issue
相似的 Issue
-
bug
難度 2/5 1-3 小時 新手友好度 76/100
Fei2411/DeepSeek-Bot#703 ·
-
enhancement help wanted
難度 2/5 1-3 小時 新手友好度 76/100
Git-Hospital/githealthcheck#61 ·
維護者通常 1 天內回覆
-
難度 1/5 1 小時以內 新手友好度 83/100
cline/mcp-marketplace#3394 ·
-
難度 2/5 1-3 小時 新手友好度 74/100
grumpycoders/pcsx-redux#2529 ·
-
難度 2/5 1-3 小時 新手友好度 62/100
Pal-AI-Lab/Coopanion#538 ·
維護者通常 1 天內回覆