idris-lang

可能已有人在做的 issue 排在最后。 全部按时间排序

• --output-dir doesn't seem to be respected

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 48/100

  idris-lang/Idris2#3881 · 2026年10月22日 创建

  维护者通常 1 天内回复

• internal error (Chez exited with return code 255) on type-incorrect code

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  implem: compilation

  难度 4/5 3-5 天 新手友好度 35/100

  idris-lang/Idris2#3878 · 3 条评论 · 2026年10月16日 创建

  维护者通常 1 天内回复

• Debug print of local applications to reflect surface syntax

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  Feature request

  难度 5/5 一周以上 新手友好度 25/100

  idris-lang/Idris2#3877 · 2026年10月15日 创建

  维护者通常 1 天内回复

• On Debian Trixie, default racket install is unusable (~60x slower than chez)

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  Installation Issue

  难度 4/5 3-5 天 新手友好度 22/100

  idris-lang/Idris2#3875 · 1 条评论 · 2026年10月14日 创建

  维护者通常 1 天内回复

• Soundness bug with case/if in function position

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 12/100

  idris-lang/Idris2#3867 · 2 条评论 · 2026年10月9日 创建

  维护者通常 1 天内回复

• Show parameter names in docstrings

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  Feature request

  难度 4/5 3-5 天 新手友好度 45/100

  idris-lang/Idris2#3863 · 2026年9月26日 创建

  维护者通常 1 天内回复

• "Pattern variable xs unifies with: xs" for `parameters`

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 3/5 1-2 天 新手友好度 65/100

  idris-lang/Idris2#3861 · 2026年9月23日 创建

  维护者通常 1 天内回复

• "not accessible" when used in `let`/pattern matched after made unrestricted

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 45/100

  idris-lang/Idris2#3860 · 1 条评论 · 2026年9月23日 创建

  维护者通常 1 天内回复

• Library design to make namespace disambiguation easier to type.

  可能重新可做 @jfdm 于 64 天前认领，目前没有进行中的 PR。 未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  breaking discussion: design Feature request

  idris-lang/Idris2#3846 · 3 条评论 · 已指派 1 人 · 2026年8月25日 创建

  维护者通常 1 天内回复

• Exception on cast of NaN to Bits64

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 3/5 1-2 天 新手友好度 52/100

  idris-lang/Idris2#3844 · 4 条评论 · 2026年8月22日 创建

  维护者通常 1 天内回复

• Bug: Highly generic interface impls break method defaults

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 48/100

  idris-lang/Idris2#3841 · 2026年8月20日 创建

  维护者通常 1 天内回复

• implicit argument should not be quantified when `unbound_implicits` is turned off

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  language: implicit

  难度 4/5 3-5 天 新手友好度 48/100

  idris-lang/Idris2#3840 · 5 条评论 · 2026年8月20日 创建

  维护者通常 1 天内回复

• Derivator can't find `Show` instances for some records

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  library: base status: confirmed bug

  难度 4/5 3-5 天 新手友好度 55/100

  idris-lang/Idris2#3838 · 2026年8月18日 创建

  维护者通常 1 天内回复

• Proposal: Syntax Sugar - Arrow Notation

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  Feature request

  难度 5/5 一周以上 新手友好度 35/100

  idris-lang/Idris2#3837 · 7 条评论 · 2026年8月18日 创建

  维护者通常 1 天内回复

• Build result depends on build order for missing module

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 48/100

  idris-lang/Idris2#3835 · 7 条评论 · 2026年8月16日 创建

  维护者通常 1 天内回复

• `--cg refc` crashes on `System.FFI.Struct` (`getField`): "Struct access not implemented"

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 55/100

  idris-lang/Idris2#3830 · 2026年8月9日 创建

  维护者通常 1 天内回复

• RefC backend cannot memoize top-level constants (unsafePerformIO CAFs)

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 55/100

  idris-lang/Idris2#3829 · 2026年8月9日 创建

  维护者通常 1 天内回复

• [ base ] Add `take` function variants for `List` (`takeUntil`, `takeBefore`)

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  Feature request

  难度 2/5 1-3 小时 新手友好度 72/100

  idris-lang/Idris2#3828 · 2026年8月9日 创建

  维护者通常 1 天内回复

• evaluate argument to REPL :sh and :l commands

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  Feature request

  难度 5/5 一周以上 新手友好度 35/100

  idris-lang/Idris2#3822 · 1 个 reaction · 2026年8月5日 创建

  维护者通常 1 天内回复

• Conflicting information on default auto implicit depth

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 1/5 1-3 小时 新手友好度 84/100

  idris-lang/Idris2#3821 · 2026年8月3日 创建

  维护者通常 1 天内回复

• Implementing `Monad` interface by a datatype with `(>>=)` constructor requires reimplementation of a default method

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 50/100

  idris-lang/Idris2#3820 · 1 条评论 · 2026年8月1日 创建

  维护者通常 1 天内回复

• [ contrib ] `mapErr` combinator for `Text.Parser.Core`

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  Feature request

  难度 4/5 3-5 天 新手友好度 52/100

  idris-lang/Idris2#3819 · 2026年7月29日 创建

  维护者通常 1 天内回复

• Totality checker false negative with dependent types

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  status: duplicate

  难度 4/5 3-5 天 新手友好度 48/100

  idris-lang/Idris2#3813 · 4 条评论 · 2026年7月19日 创建

  维护者通常 1 天内回复

• Confusing error on non-standard spaces surrounding identifiers.

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 52/100

  idris-lang/Idris2#3807 · 2026年7月5日 创建

  维护者通常 1 天内回复

• Bad message with name clash in record

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  error: bad message

  难度 3/5 1-2 天 新手友好度 55/100

  idris-lang/Idris2#3806 · 2026年6月26日 创建

  维护者通常 1 天内回复

• chez exception with `Inf`

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 52/100

  idris-lang/Idris2#3803 · 2026年6月18日 创建

  维护者通常 1 天内回复

• Proof of Void due to coverage checker

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 3/5 1-2 天 新手友好度 55/100

  idris-lang/Idris2#3800 · 1 条评论 · 2026年6月17日 创建

  维护者通常 1 天内回复

• Update the buffer API

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  Feature request

  难度 5/5 一周以上 新手友好度 35/100

  idris-lang/Idris2#3796 · 2026年6月12日 创建

  维护者通常 1 天内回复

• Ad-hoc totality proof

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  Feature request safety: totality

  难度 5/5 一周以上 新手友好度 30/100

  idris-lang/Idris2#3792 · 2 条评论 · 1 个 reaction · 2026年6月6日 创建

  维护者通常 1 天内回复

• Type error ignored when using FFI

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 45/100

  idris-lang/Idris2#3787 · 1 条评论 · 2026年5月26日 创建

  维护者通常 1 天内回复

• Suggest (or warn) the user when using `_` to ignore all constructor arguments in a pattern-match

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  Feature request

  难度 4/5 3-5 天 新手友好度 48/100

  idris-lang/Idris2#3786 · 2 条评论 · 3 个 reaction · 2026年5月22日 创建

  维护者通常 1 天内回复

• Identity optimisation not kicking in

  可能重新可做 @ohad 于 161 天前认领，目前没有进行中的 PR。 未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  idris-lang/Idris2#3782 · 3 条评论 · 已指派 1 人 · 2026年5月20日 创建

  维护者通常 1 天内回复

• DYLD_LIBRARY_PATH not being propagated for chez backend

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 45/100

  idris-lang/Idris2#3778 · 8 条评论 · 2026年5月18日 创建

  维护者通常 1 天内回复

• Default arguments in interfaces do not seem to work

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  implem: interface elaboration status: confirmed bug

  难度 4/5 3-5 天 新手友好度 52/100

  idris-lang/Idris2#3774 · 2026年5月12日 创建

  维护者通常 1 天内回复

• RefC build error returns 0 code

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  backend: refc status: confirmed bug

  难度 3/5 1-2 天 新手友好度 68/100

  idris-lang/Idris2#3767 · 2026年4月20日 创建

  维护者通常 1 天内回复

• "Sophisticated REPL"

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  Feature request

  难度 5/5 一周以上 新手友好度 25/100

  idris-lang/Idris2#3766 · 1 条评论 · 2026年4月13日 创建

  维护者通常 1 天内回复

• Proposal: add `replace` function for `String`

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  Feature request

  难度 5/5 一周以上 新手友好度 35/100

  idris-lang/Idris2#3760 · 2026年3月26日 创建

  维护者通常 1 天内回复

• "Linearity checking failed (`Type` not a function type)" due to a `data` declaration being tagged as linear

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 48/100

  idris-lang/Idris2#3758 · 2026年3月25日 创建

  维护者通常 1 天内回复

• Missing FFI example of C main file calling an Idris function.

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 3/5 1-2 天 新手友好度 50/100

  idris-lang/Idris2#3752 · 1 条评论 · 2026年3月16日 创建

  维护者通常 1 天内回复

• Inner `parameters` block breaks visibily of overloaded names later in outer `mutual` block

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 35/100

  idris-lang/Idris2#3738 · 3 条评论 · 2026年2月14日 创建

  维护者通常 1 天内回复

• [base] Unable to make a functor derivation for some Ctors

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 35/100

  idris-lang/Idris2#3735 · 4 条评论 · 2026年2月13日 创建

  维护者通常 1 天内回复

• Unexpected linearity constraint and unification failure in dependent case results

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 45/100

  idris-lang/Idris2#3732 · 2026年2月12日 创建

  维护者通常 1 天内回复

• Install steps list improper nix-env command

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  Installation Issue

  难度 1/5 1 小时以内 新手友好度 45/100

  idris-lang/Idris2#3728 · 3 条评论 · 2026年2月5日 创建

  维护者通常 1 天内回复

• IsRight Left value not evaluated for List

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  error: bad message

  难度 4/5 3-5 天 新手友好度 35/100

  idris-lang/Idris2#3724 · 3 条评论 · 2026年1月28日 创建

  维护者通常 1 天内回复

• Local namespaces cannot be reached using names

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  language: let language: namespace language: where

  难度 4/5 3-5 天 新手友好度 45/100

  idris-lang/Idris2#3723 · 3 条评论 · 2026年1月28日 创建

  维护者通常 1 天内回复

• macOS Chez Scheme 10.x.x testsuite running crash: "Cannot allocate memory"

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  Installation Issue

  难度 5/5 一周以上 新手友好度 25/100

  idris-lang/Idris2#3719 · 15 条评论 · 1 个 reaction · 2026年1月23日 创建

  维护者通常 1 天内回复

• Feature Request: Add source spans to --dumpcases output

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 45/100

  idris-lang/Idris2#3718 · 2026年1月21日 创建

  维护者通常 1 天内回复

• Totality checking mutual recursion in type class instances

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 45/100

  idris-lang/Idris2#3717 · 2026年1月20日 创建

  维护者通常 1 天内回复

• Repl magic variable `it` appears incorrectly in inferred types

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消
  cli: repl status: confirmed bug

  难度 3/5 1-2 天 新手友好度 48/100

  idris-lang/Idris2#3716 · 2026年1月19日 创建

  维护者通常 1 天内回复

• Code incorrectly reported as not covering

  未关闭

  ⋯反馈这个 Issue 的问题

  • 哪里不对？

  • 已被占
  • 不适合新手
  • 已失效
  • 其他…
  • 发送 取消

  难度 4/5 3-5 天 新手友好度 42/100

  idris-lang/Idris2#3710 · 1 条评论 · 2026年1月10日 创建

  维护者通常 1 天内回复