differential-datalog icon indicating copy to clipboard operation
differential-datalog copied to clipboard

More systematic approach to building and testing libraries in /lib

Open remysucre opened this issue 5 years ago • 1 comments

Right now one can only test /lib through DDlog tests, e.g. by using stack test --ta .... Adding separate tests for it would ease development.

remysucre avatar Jun 28 '19 16:06 remysucre

Expanding this issue to include a more systematic standard library design. So far we've added functions/modules to the standard library on-demand. We should adopt a more systematic approach, which involves implementing complete APIs for various supported data types, testing and benchmarking them ahead of time. The best way to do this is probably to model them after existing Rust standard libraries.

ryzhyk avatar Jul 11 '19 17:07 ryzhyk