gistfile1.txt

module
    Main

import
    System.Time (ISOCalendar, LocalDate, makeLocalDate)

feature
    struct UserID feature
        value: N
    end

    struct User feature
        id: UserID
        name: String
        emailAddress: String
        birthday: LocalDate
    end

    sub main (env: Environment): Unit do
        let birthday = makeLocalDate ISOCalendar 1994 12 23
        p <| makeUser (makeUserID 1) "rightfold" "rightfold@gmail.com" birthday
    end
end