confusing error on empty list in record

[marcosh]

When Dhall tries to parse

{ a = ""
, b = []
}

it reports the error message

Error: Invalid input

(input):2:3:
  |
2 | , b = []
  |   ^
unexpected 'b'
expecting whitespace or }

while I would expect an Empty list literal without annotation error message

[sjakobi]

This is an issue with the dhall-haskell implementation, so I've transferred it.

[sjakobi]

I wonder whether there's a connection to https://github.com/dhall-lang/dhall-haskell/issues/1592 and whether anything can be improved here without radically overhauling the parser.

[sjakobi]

The reports in #2264 and #2265 are very similar:

Error: Invalid input

(input):1:14:
  |
1 | { a = "foo", b = "\e" }
  |              ^
unexpected 'b'
expecting whitespace or }

Error: Invalid input

(input):1:12:
  |
1 | { a = "a", b = { a = "foo",, } }
  |            ^
unexpected 'b'
expecting whitespace or }