Hi Simon, What has been done about this? I'm very interested in making testing easy to do in Ur/Web.
On Mon, Jul 9, 2018, 2:52 PM Simon Van Casteren < simon.van.caste...@gmail.com> wrote: > Hey, > > My current urweb project is getting quite big and there's a few places > where property-based testing would be very handy. I've not found anything > online though that can do this for urweb. Is anybody working on this? > Porting Quickcheck or one of its derivatives from Haskell or PureScript > would probably be the fast way to go. > > Secondly, I've found contract driven development to work extremely well > with property-based testing. Again the same question: Has anyone used it in > urweb? I'm just looking for a handy way to specify pre/post conditions and > somehow have the compiler strip them out of production code. > > Thanks for any help > > Simon > _______________________________________________ > Ur mailing list > Ur@impredicative.com > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur >
_______________________________________________ Ur mailing list Ur@impredicative.com http://www.impredicative.com/cgi-bin/mailman/listinfo/ur