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

Generators inside maps #289

Open

lbueso opened this issue Mar 25, 2022 · 0 comments · May be fixed by #300

lbueso commented Mar 25, 2022 •

edited by kostis

Loading

When generators are introduced inside containers like lists and tuples they work as expected:

1> proper_gen:pick({key, proper_types:nat()}).   
{ok,{key,7}}
2> proper_gen:pick([proper_types:nat()]).     
{ok,[0]}

But when a generator is introduced in a map it does not produce any value:

3> proper_gen:pick(#{key => proper_types:nat()}).
{ok,#{key =>
          {'$type',[{generator,#Fun<proper_types.79.60513951>},
                    {kind,wrapper}]}}}

I suppose this has some relation with issues #111, #118 and #238.

maxnordlund linked a pull request

that will close this issue

Add full support for maps #300

Open

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment