Record Constructor

record-type "{" expr-1 "," ... "," expr-n "}"

A record constructor is a record-valued expression. record-type must be a record type (see section Record Types). Each expr must evaluate to the type of the field in the record whose position it corresponds with. For greater clarity, each expr can be specified in a "keyword assignment-style". Every field must be provided with a value for the constructor to be valid.

Example

TYPE
  Rec = RECORD x, y: INTEGER; s: TEXT; END;
VAR
  r1: Rec := Rec{5, 10, "Hello"};
  r2 := Rec{x := -5, y := 25, s := "Greetings"};