allow `{ RecordAlias | extraField : ... }`

[lue-bird]

{ RecordAlias | extraField : () }

type alias RecordAlias =
    {} -- any record (alias)

doesn't compile:

I just started parsing a record type, but I got stuck here:

{ TypeAlias | extraField : () }
  ^

Record types look like { name : String, age : Int }, so I was expecting to see a field name next.

It works with a type variable:

type alias WithExtraField a =
    { a | extraField : () }

WithExtraField RecordAlias

Unless not being able to write a type like in the first line is intentional, elm should allow this syntax to be more consistent.

• Elm 0.19.1
• Operating System: Ubuntu 20.04.2 LTS

[github-actions[bot]]

Thanks for reporting this! To set expectations:

• Issues are reviewed in batches, so it can take some time to get a response.
• Ask questions in a community forum. You will get an answer quicker that way!
• If you experience something similar, open a new issue. We like duplicates.

Finally, please be patient with the core team. They are trying their best with limited resources.