lean-ja / lean-ja/lean-by-example
`trace.compiler.ir` オプションを紹介する
Open
Nobody has claimed this yet.
オプション
- Dominant language
- Lean
- Stars
- 188
- Forks
- 15
- Avg merge
- 9h 8m
- Merged PRs (30d)
- 6
Description
このオプションにより、IR ("intermediate representation") を見ることができる。
これは、コンパイラがCコードを吐く前の中間表現である。
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
Start by locating the documentation entry point for the trace.compiler.ir option. Confirm how the option exposes the IR before the compiler emits C code, then add a Japanese introduction explaining that purpose. Done means the option and its intermediate representation are clearly described.
Written by the indexing model from the issue text.
Assessment
- Domain
- compilers, documentation
- Issue type
- Documentation
- Difficulty
- 2/5
- Estimated time
- 1-3 hours
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100