Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add field to Result which allows storage of arbitrary data #381

Draft
wants to merge 2 commits into
base: master
Choose a base branch
from
Draft

Add field to Result which allows storage of arbitrary data #381

wants to merge 2 commits into from

Commits on Aug 2, 2023

  1. Add field to Result which allows storage of arbitrary data 

    This feature is need for tasty-bench and tasty-papi which currently sneak data
in `resultDescription' and then treat this field specially. But such feature
seems generally useful.
    @Shimuuar
    Shimuuar committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    a0cd89a View commit details
    Browse the repository at this point in the history

Commits on Aug 21, 2023

  1. Use SomeExtraData in order to be able to carry more dictionaries 

    This change is to carry mode type class dictionaries and to allow to define more
possible instances for Result.
    @Shimuuar
    Shimuuar committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    4a7a879 View commit details
    Browse the repository at this point in the history