throw -- throw an exception

Synopsis

• Usage:

  throw x

• Consequences:

  • the flow of control is passed to the surrounding catch, and x is returned as its value

Description

i1 : catch scan(0..10, i -> if i == 5 then throw 18 else print i)
0
1
2
3
4

o1 = 18

See also

• catch -- catch a thrown exception