Add support for nested exception testing in Test/STM
評価
調査の方向性
Test/STM.hs から始めて Expr のジェネレーターと評価器を確認し、次にリンクされている PR #35 で進行中の作業を確認してください。ネストした例外の評価が複数の例外値をサポートし、ハンドラーの型チェック用に独立した例外型を含み、生成されたシナリオを実行すれば完了です。
索引モデルが issue の本文から書いたものです。
説明
Is your feature request related to a problem? Please describe.
Test/STM.hs contains a toy DSL which can be evaluated in a pure as well as the STM context. It is used to test the correctness of the io-sim STM implementation. The PR #16 implements the support for MonadCatch. However, the test code does not have support for nested exceptions. Adding a support for nested exception evaluation in Test/STM will make it a complete.
Describe the solution you'd like
- Add a support for multiple exception values (Currently
ImmValueis treated as an exception type). - Add another exception type (E.g.
ImmValueExceptionso that catch handler can do a type check). - Make necessary changes to
Exprgenerator andExprevaluation.
Describe alternatives you've considered
- Write a test which runs in io-sim and io and has nested exception. However, it will be a unit test and will not test various scenarios when a test is generated through
Exprgenerator.
Additional context
NA
Are you willing to implement it?
- Are you? 😃 - Already started working on it.
- 主要言語
- Haskell
- スター
- 57
- フォーク
- 25
- PR マージ指標
- 30日以内にマージされた PR はありません
環境構築
- Dockerfile・Docker Compose ファイルなし
- プルリクエストのテンプレートなし
- コントリビューションガイドを読む
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
IntersectMBO/io-sim のほかの issue
-
Implement a workaround for "Overwhelming the TimerManager"対応中かも @coot が 15 日前に担当しました。 オープンenhancement
IntersectMBO/io-sim#268 · 担当者 1 名 ·
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 55/100
IntersectMBO/io-sim#258 ·
-
bug
難易度 1/5 1時間未満 初心者へのやさしさ 55/100
IntersectMBO/io-sim#248 · コメント 1 件 ·
-
SimEvent redesignオープン
難易度 5/5 1週間以上 初心者へのやさしさ 35/100
IntersectMBO/io-sim#244 · コメント 1 件 ·
-
enhancement
難易度 4/5 3〜5日 初心者へのやさしさ 42/100
IntersectMBO/io-sim#227 · コメント 2 件 ·
IntersectMBO/io-sim の issue をすべて見る
似ている issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 67/100
ndmitchell/ghcid#429 ·
-
documentation
難易度 1/5 1時間未満 初心者へのやさしさ 92/100
alunduil/collection-json.hs#421 ·
メンテナーはふだん 1 日以内に返信
-
A `where` step with a misspelled key, such as `arg:` for `args:`, is accepted, so `join` silently answers no bindings (src/Yaml.hs:190)対応中かも @sherenkov が 1 日前に担当しました。 オープン
難易度 2/5 1〜3時間 初心者へのやさしさ 82/100
objectionary/phino#1994 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 82/100
alunduil/siren-json.hs#259 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 68/100