Name case_when_=>_ etc.
Definition ( case (v:val(T:type))
when (l1:val(T)) => (e1:expr(Tr:type))
) : expr(Tr).
etc.
Example case i when 0 => a
when 1 => b
when 2 => c
Defined in tables.l
Implementation icode
Infix case_when_=>_ : infix(60,none). etc.
Description Evaluate expression and find matching case label. Evaluate coresponding expression. If no expression matches a run-time error occurs.
See Also case with default
Note The maximum number of labels is currently limited to 20.