Christoffer Lerno

Results 1219 comments of Christoffer Lerno

The typical way to do this in lambdas is to provide an in-parameter to set in order to break. I would like people instead write external iterators that handle this...

One idea could be this: ```c macro @foo(String[] x; bool @body(String s)) { foreach (s : x) { if (!@body(s)) break; } } // Used like: ... @foo(some_arr; String s)...

It's quite straightforward with C3 actually. I just haven't bothered writing it as I don't think it's super useful.

@fithisux there is a standard library in C3, so I don't understand the question.

No, C3 has a cross platform standard library.

This has been suggested before, see #632. In particular why the idea to use associated values with faults isn't solving the problem of adding information to a fault (you need...

Do you feel something can be added to that discussion?

Are you proposing to print a trace even if they are handled?

How would this be working in reality? How would it be implemented?

The problem is that it isn't easily achieved, at least not accurately.