kw pure

Контекстное слово — список эффектов после возвращаемого типа (§6.2)

Список слов: §1.4

Синтаксис

Effects     = "pure" | Effect { "," Effect } | EffectVar ;

Грамматика: Прил. A

Определяется в

• 6.2 Эффекты — Набор эффектов пишется после возвращаемого типа через запятую
• 13.4 Авторизация и политики — Объект политики
• 1.4 Ключевые слова — Зарезервированные (нельзя использовать как имена)
• 8.9 Программная транзакционная память — atomic { … } выполняет тело как сериализуемую транзакцию над TVar.

Связанные диагностики

effects, data-rights, missing-policy, unknown-policy-target, atomic-effects