More details for records in

[William Rusnack]

I was looking in errors/TypesDoNotUnify.md but there wasn't anything about records in it. I think addressing this could be helpful.

  Could not match type

    ( ... )

  with type

    ( items :: List (Tuple Int String)
    ...
    )


while trying to match type
                             ( ... )

  with type
              ( items :: List (Tuple Int String)
              ...
              )

See https://github.com/purescript/documentation/blob/master/errors/TypesDoNotUnify.md for more information,
or to contribute content related to this error.

[Harry Garrood]

At the moment, if you see ... in a row in a TypesDoNotUnify message, it represents an omitted part of a row which is the same across both types. So in this case I think you have two rows which are the same except for an items label in one row but not the other.

I think these error messages are just not very good, and we should consider improving them, especially if that's going to end up being easier than documenting exactly what the current error messages really mean (which I think is plausible).

[William Rusnack]

That seems even better. Should this be moved to purescript repo?

[Harry Garrood]

I think we already have an issue there for improving this error message, but if I’m wrong, sure.