seancribbs/edn-erlang — pull request #1 by efine (2013-01-20 08:01:20+00:00)
Title: This may fix the symbol issue.

gen_symbol must guarantee that the first symbol character is not a minus
or plus if the next character COULD be a digit. In the first list of
the oneof clause, gen_simple_symbol explicitly allows minus and plus as
the first character and follows that by a non-numeric list, which is ok,
but in the second list of the oneof clause, it specifies a list of
gen_non_numeric - which COULD be a minus or plus. Following the oneof
clause, the gen_symbol_char COULD be a digit, which produces an invalid
symbol.

Adding one character from a generator that explicitly excludes minus or
plus seems to fix the issue. However, I am not sure how it affects the overall
testing, maybe by excluding some valid test cases. Also, I don't have
QC so I used QC Mini, which may or may not be a fair substitution.