The Gold Parser diagnosis seems to be quite detailed, and it certainly contains all the information you need.
But to put it simply, any of SetCons
, RecordCons
or ArrayCons
can be an Expr
. So it is possible for the input to be simply:
<Type> { <Expr> }
in which case, the parser cannot know which of those three non-terminals it should reduce the Expr
to.