record puns parsing error

[amesgen]

I find this surprising:

$ dhall <<< "let x = 0 in { x, a = 0 }"
{ X = 1, Y = 2, a = 0 }
$ dhall <<< "let x = 0 in { x , a = 0 }"
dhall: 
Error: Invalid input

(stdin):1:18:
  |
1 | let x = 0 in { x , a = 0 }
  |                  ^
unexpected ','
expecting whitespace or }

dhall-rust accepts both inputs (clone https://github.com/amesgen/stuff and run cargo run in branch dhall-puns-repro).

[amesgen]

Maybe here

as <- Text.Megaparsec.sepBy1 keysValue (_comma *> whitespace)

to

as <- Text.Megaparsec.sepBy1 keysValue (whitespace *> _comma *> whitespace)

seems to fix it.

[sjakobi]

Many thanks for the report @amesgen. I've pushed a fix to #1733. Your solution might also work though – I'm not sure.

[amesgen]

Thanks for the very quick fix! I can't run the test suite as I am on 8.8.3 (--allow-newer worked) and I get errors like

     error: missing binary operator before token "("
       38 | #if MIN_VERSION_http_client(0,5,0)
          | 
   |
38 | #if MIN_VERSION_http_client(0,5,0)
   | ^

(but this is completely unrelate to this issue)

[sjakobi]

@amesgen Here's some info regarding the doctest issue: #1700 (comment) (Actually we have a whole issue for that: #1100)

Developing with 8.8 should be properly supported soon: #1249

[amesgen]

Ah interesting, seems like a very annoying issue. Thanks!

[Gabriella439]

@amesgen: Also, you can skip the doctests and selectively run the remaining tests using cabal test tasty

[amesgen]

Hmm, cabal test --allow-newer tasty results in

Running 1 test suites...
Test suite tasty: RUNNING...
tasty: ./dhall-lang/tests/normalization/success: getPermissions:getFileStatus: does not exist (No such file or directory)
Test suite tasty: FAIL

(feel free to ignore this)

[sjakobi]

@amesgen Did you git submodule update --init?

[amesgen]

Ah sry, that was it! My fix above does not work, good to know!

https://gist.github.com/amesgen/60ac5ab3884dc277de4da78fe1580637