Closed AdrickTench closed 1 month ago
Interesting to consider how we should handle getting some results before timing out. Do we throw time_limit_exceeded and discard results? Or can we somehow throw without losing the incremental results?
secretly my intent was to give results up until the time.. sicne we are using a lazy iterator... they already have the answers (we canty take them back if we wanted to)
then at timeout should they get an exception, they can catch,? and if they want they can continue to get more?
metta+>!(max-time! 1 (superpose (a b c)))
[a
, b
, c]
max-time!
only returns the first result but should return all (assuming it completes with the time limit). For exampleshould return
[a, b, c]