Add support for nested exception testing in Test/STM
Đánh giá
- Độ khó
- 4/5
- Thời gian dự kiến
- 3-5 ngày
- Mức phù hợp với người mới
- 25/100
Hướng nghiên cứu
Bắt đầu trong Test/STM.hs và xem xét trình sinh Expr cùng trình đánh giá, sau đó kiểm tra PR #35 được liên kết để xem công việc đang được thực hiện. Công việc được xem là hoàn tất khi việc đánh giá ngoại lệ lồng nhau hỗ trợ nhiều giá trị ngoại lệ, bao gồm một kiểu ngoại lệ riêng cho các kiểm tra kiểu của handler và thực thi các kịch bản đã sinh.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
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.
- Ngôn ngữ chính
- Haskell
- Star
- 57
- Fork
- 25
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
Chuẩn bị môi trường
- Không có Dockerfile hay tệp Docker Compose
- Không có mẫu pull request
- Đọc hướng dẫn đóng góp
Bắt đầu từ đâu
- Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
- Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
- Fork repository và làm thay đổi trên một nhánh.
- Mở pull request có tham chiếu số hiệu của issue.
Issue khác của IntersectMBO/io-sim
-
Implement a workaround for "Overwhelming the TimerManager"Có thể đã có người làm @coot đã nhận 15 ngày trước. Đang mởenhancement
IntersectMBO/io-sim#268 · 1 người được giao ·
-
bug
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 55/100
IntersectMBO/io-sim#258 ·
-
bug
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 55/100
IntersectMBO/io-sim#248 · 1 bình luận ·
-
SimEvent redesignĐang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
IntersectMBO/io-sim#244 · 1 bình luận ·
-
enhancement
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 42/100
IntersectMBO/io-sim#227 · 2 bình luận ·
Tất cả issue của IntersectMBO/io-sim
Issue tương tự
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 67/100
ndmitchell/ghcid#429 ·
-
documentation
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 92/100
alunduil/collection-json.hs#421 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
A `where` step with a misspelled key, such as `arg:` for `args:`, is accepted, so `join` silently answers no bindings (src/Yaml.hs:190)Có thể đã có người làm @sherenkov đã nhận 1 ngày trước. Đang mở
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 82/100
objectionary/phino#1994 · 1 bình luận ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 82/100
alunduil/siren-json.hs#259 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 68/100