kw config
Reserved keyword
The list of words: §1.4
Syntax
Config = "config" Ident "{" { Field | "profile" Ident "{" { Ident "=" Expr } "}" } "}" ;Grammar: App. A
Defined in
- 14.1 Static configuration — config Name { … } declares a typed config.
- 3.4 Declared types — data — a product type with named fields (§4.2).
- 14.2 Dynamic configuration — dynamic Name { …
- 1.4 Keywords — Reserved (cannot be used as names)
Examples
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()