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