Error Lab

One canonical constructor

Named fields in declaration order mean every construction of a record looks identical everywhere — and the error prints the exact form to use.

record User:
    name: Text
    age: Int
let u = User(age: 36, name: "Ada")

error: record fields are written in declaration order — expected 'name' here, found 'age'; the canonical form is User(name: ..., age: ...) (line 4, column 19)

record User:
    name: Text
    age: Int
let u = User(name: "Ada", age: 36)
print("{u.name}")

Ada