開放
Quantifiers uncurrying in resugar is buggy
component/printereasygood first issuekind/bug
為什麼推薦尚無留言 · 帶有初學者友善標籤
尚無留言帶有初學者友善標籤提供貢獻指南
0 則留言0 個反應1 負責人
議題
開放
Flag to report unused functions/lemmas/lets.
area/usabilitycomponent/dependency-analysisgood first issuekind/enhancementpriority/low
為什麼推薦尚無負責人 · 帶有初學者友善標籤
尚無負責人帶有初學者友善標籤提供貢獻指南
1 則留言0 個反應0 負責人
開放
Shadowed binding results in confusing type mismatch error
area/error-messagesarea/usabilitycomponent/printergood first issue
為什麼推薦尚無負責人 · 帶有初學者友善標籤
尚無負責人帶有初學者友善標籤提供貢獻指南
1 則留言0 個反應0 負責人
開放
local open in patterns
area/syntaxgood first issuekind/enhancement
為什麼推薦尚無負責人 · 尚無留言
尚無負責人尚無留言帶有初學者友善標籤提供貢獻指南
0 則留言0 個反應0 負責人
開放
Failure of type inference with repeated variables
area/proof-assistantcomponent/typecheckercomponent/unifiergood first issuekind/enhancementmilestone/everest-v1
為什麼推薦帶有初學者友善標籤 · 提供貢獻指南
帶有初學者友善標籤提供貢獻指南
3 則留言0 個反應1 負責人
開放
assert are never extracted even with `--mlish`
area/error-messagescomponent/extractiongood first issue
為什麼推薦尚無負責人 · 尚無留言
尚無負責人尚無留言帶有初學者友善標籤提供貢獻指南
0 則留言0 個反應0 負責人
開放
Floating point literals are badly handled by the F# extraction mechanism
area/fsharp-vs-ocamlcomponent/buildcomponent/extractiongood first issuekind/bug
為什麼推薦尚無負責人 · 帶有初學者友善標籤
尚無負責人帶有初學者友善標籤提供貢獻指南
8 則留言0 個反應0 負責人
開放
Ghost to Pure promotion doesn't seem to work with conditionals
good first issuekind/bug
為什麼推薦帶有初學者友善標籤 · 提供貢獻指南
帶有初學者友善標籤提供貢獻指南
3 則留言0 個反應1 負責人