refactor: remove unnecessary import of Parser.lean from Semantics.lean

オープン 初心者向け
#31 コメント 0 件 リアクション 0 件 担当者 0 名 GitHub で見る

まだ誰も着手していません。

評価

難易度
1/5
見積もり時間
1時間未満
初心者へのやさしさ
72/100
issue の種類
リファクタリング
明瞭さ
明確に書かれている
活発さ
停滞
領域
compilers

調査の方向性

Lck/Regex/Semantics.lean を開き、Lck/Regex/Parser への依存関係から始めて、その import を調べてください。不要な import を削除し、Semantics.lean が引き続きコンパイルできることを確認してください。完了条件は、parser への依存なしでファイルをビルドできることです。

索引モデルが issue の本文から書いたものです。

説明

Problem

Lck/Regex/Semantics.lean imports Parser.lean unnecessarily. Semantics should depend only on Syntax.lean — pulling in the parser creates an unwanted coupling and increases compile times for anything that imports Semantics.lean.

Expected fix

Remove the import Lck.Regex.Parser from Semantics.lean and verify that the file still compiles.

References

  • Flagged by AI code review on PR #9
主要言語
Lean
スター
2
フォーク
1
30日以内にマージされた PR はありません

コントリビューションガイド

このリポジトリのコントリビューションガイドは索引されていません

はじめの一歩

  1. issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
  2. 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
  3. リポジトリをフォークし、ブランチを切って変更します。
  4. issue 番号を参照したプルリクエストを送ります。

lambdaclass/lambda_compiler_kit のほかの issue

lambdaclass/lambda_compiler_kit の issue をすべて見る

似ている issue

Compilers の issue をもっと見る

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。