Alternative patterns

Във всеки клон (clause) на case израза може да се зададат алтернативни шаблони (patterns) с помощта на оператора | (вертикална черта). Ако някой от шаблоните съвпадне, клонът е изпълнен.

Ако даден шаблон декларира променлива, всички алтернативни шаблони в този клон е нужно да декларират променлива със същото име и тип.

В момента не се поддържа влагане на алтернативни шаблони, затова шаблонът [1 | 2 | 3] не е валиден.