kw config

Зарезервированное слово

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

Синтаксис

Config      = "config" Ident "{" { Field | "profile" Ident "{" { Ident "=" Expr } "}" } "}" ;

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

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

• 14.1 Статическая конфигурация — config Имя { … } объявляет типизированный конфиг.
• 3.4 Объявляемые типы — data — тип-произведение с именованными полями (§4.2).
• 14.2 Динамическая конфигурация — dynamic Имя { … } — значения хранятся в координаторе, реплицируются на все узлы и меняются без перезапуска.
• 1.4 Ключевые слова — Зарезервированные (нельзя использовать как имена)

Примеры

config App {
  dbUrl: DbUrl
  port: Port = DEFAULT_PORT
  stripeKey: secret<str>
  profile dev  { dbUrl = "sqlite://dev.db" }
  profile prod { port = 443 }
}

let app = App.get()

— 14.1 Статическая конфигурация

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

config-type, unknown-type