-
Notifications
You must be signed in to change notification settings - Fork 46
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.
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
Add more property tests #88
Conversation
1efebcd
to
3a2ac51
Compare
to_binary({construct, Constructor, Of}) -> | ||
[to_binary(Constructor), to_binary(Of)]; | ||
to_binary({union, OfTypes}) -> | ||
lists:join($|, [to_binary(Type) || Type <- OfTypes]); |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
lists:join
is not available in erlang 18.
bbdfe6c
to
73cdb4e
Compare
73cdb4e
to
49c3f55
Compare
75d5bde
to
36e0cad
Compare
to_binary({list, Of}) -> | ||
[<<"list">>, to_binary(Of)]; | ||
to_binary({map, KeyType, ValueType}) -> | ||
[<<"map">>, $(, to_binary(KeyType), $), to_binary(ValueType)]; |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Currently forcing brackets around the key type of a map.
There are a couple of references to R18 in |
36e0cad
to
809736e
Compare
Done |
Thanks for this! |
Property tests now generate two type declarations, the second one may use the name of the first.
You can now adjust the number of tests with
NUMTESTS=10000 rebar3 ct
. The default is 1000 test cases.