lean-ja / lean-ja/lean-by-example
無名コンストラクタは構造体のフィールドのデフォルト値を受け付けない
Open
Nobody has claimed this yet.
構文・パーサ
- Dominant language
- Lean
- Stars
- 188
- Forks
- 15
- Avg merge
- 9h 8m
- Merged PRs (30d)
- 6
Description
ブラケット記法であれば受け付ける。
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
The issue names no files, tests, or entry points. Start by reproducing the difference between an anonymous constructor and bracket notation with a minimal Lean example, then locate the relevant implementation or regression tests; done means the behavior is covered by a test and the reported inconsistency is resolved.
Written by the indexing model from the issue text.
Assessment
- Domain
- compilers
- Issue type
- Bug
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 35/100