Fix a possible crash for empty record patterns

[mtzguido]

The error reporting was assuming non-emptiness, fix it and change the error code to something more significant.