Mihai Budiu

This is certainly something we'd like to do, but at this point no one is working on this topic.

The main question we have to answer is whether this should be done in Rust or in Java. If it is to be done in Rust, then I can imagine...

@roymanish so the quick solution is for you to get the exception message and truncate it to some max size before handling it. I agree that this is wasteful, but...

This has nothing to do with JSON; DDlog does not even have a concept of JSON, JSON is just an external datatype like any other, and it is not handled...

Probably any unsigned integer type only could work. Signed values introduce additional complications.

If we do this we have to think about what "exit" means in an imported script.

There is another very important use case: when you test multiple programs as modules you can import their command files. The Souffle tests work like that.

Fixes #878

Overheads seem to be on the order of 40%-50%, more than I expected. I would expect this to be lower if weights are always small.

If this is the best we can do in Rust maybe we should just implement this in C++ and wrap it in Rust.