Specialize checker types to express ClauseFn won't be passed as argument
メンテナーはふだん 1 日以内に返信
まだ誰も着手していません。
評価
調査の方向性
Start by locating the checker functions and the ClauseFn constructor referenced in the discussion, then inspect how student programs invoke those checkers. The issue proposes changing checker signatures to take the left and right sides separately; confirm which checkers have the unused case and update their types and call sites consistently. Done when the checkers no longer need that case and the project’s existing tests pass.
索引モデルが issue の本文から書いたものです。
説明
Do all checkers have this nothing-to-do-case for the ClauseFn constructor that anyway can never occur in a student program?
Wouldn’t it make more sense then to specialize those functions’ types to always explicitly take the lhs and the rhs as separate arguments, instead of Clause lhs rhs?
Originally posted by @jvoigtlaender in https://github.com/fmidue/prolog-programming-task/pull/54#discussion_r4241879995
- 主要言語
- Haskell
- スター
- 0
- フォーク
- 1
- 平均マージ
- 1日 13時間
- マージ済み PR（30日）
- 18
環境構築
- Dockerfile・Docker Compose ファイルなし
- プルリクエストのテンプレートあり
- コントリビューションガイドなし
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
fmidue/prolog-programming-task のほかの issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 85/100
fmidue/prolog-programming-task#55 · コメント 2 件 ·
メンテナーはふだん 1 日以内に返信
-
難易度 3/5 1〜2日 初心者へのやさしさ 45/100
fmidue/prolog-programming-task#57 ·
メンテナーはふだん 1 日以内に返信
-
難易度 3/5 半日 初心者へのやさしさ 55/100
fmidue/prolog-programming-task#46 ·
メンテナーはふだん 1 日以内に返信
-
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
fmidue/prolog-programming-task#42 ·
メンテナーはふだん 1 日以内に返信
-
難易度 4/5 3〜5日 初心者へのやさしさ 45/100
fmidue/prolog-programming-task#36 · コメント 4 件 ·
メンテナーはふだん 1 日以内に返信
fmidue/prolog-programming-task の issue をすべて見る
似ている issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
メンテナーはふだん 2 日以内に返信
-
A failed JNA download is reported as a corrupt zip, because `curl` in `Makefile` lacks `--fail`オープン
難易度 1/5 1時間未満 初心者へのやさしさ 88/100
objectionary/phino#1884 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信
-
component: hls-eval-plugin status: needs triage type: bug
難易度 2/5 1〜3時間 初心者へのやさしさ 65/100
haskell/haskell-language-server#5144 · コメント 2 件 ·
メンテナーはふだん 1 日以内に返信
-
[BUG]: -std selection does not work with COBOL -> GnuCOBOL 1.1対応中かも このイシューにリンクされたプルリクエストがオープン中、またはマージ済みです。 オープンbug
難易度 2/5 1〜3時間 初心者へのやさしさ 62/100
compiler-explorer/compiler-explorer#9272 ·
メンテナーはふだん 1 日以内に返信
-
enhancement
難易度 1/5 1時間未満 初心者へのやさしさ 82/100
alunduil/siren-json.hs#247 ·
メンテナーはふだん 1 日以内に返信