Write generators for arbitrary well-typed polymorphic programs
DavidGregory084 opened this issue · 0 comments
DavidGregory084 commented
At the moment we have Scalacheck generators for arbitrary well-typed programs but they are very simple and do not exercise any polymorphic code.
It would be very useful to figure out a way to generate arbitrary polymorphic programs so that we can ensure that well-typed polymorphic programs can be compiled.