throw "Expected [0,1] Ints, got: ", someCollection;

ThrowStatement([String("Expected [0,1] Ints, got: "){TypeAnno(SimpleSort("String"){DefValueAnno(String(""))})},Var("is_"{OriginalNameAnno("is")}){TypeAnno(GenericSort("List",[SimpleSort("Int"){DefValueAnno(Int("0"))}]){DefValueAnno(TypedListCreation(SimpleSort("Int"),[])),ImmutableReference})}])

Static error is missing.

What can one pass to throw?

Submitted by Daco Harkes on 2 June 2015 at 15:31

It’s not supported at the moment. If I remember correctly, I was experimenting with adding it to the core language to simplify code generation for data validation and to enable calling Java code without writing Java helper classes to catch exceptions.