dhall-lsp-server Bytes support

[jfennick]

The dhall-lsp-server Parser is giving the following errors when using Bytes:

0x"00"

unexpected 'x'
expecting "→", "∧", "≡", "⩓", "⫽", --, ->, //, //\\, /\, :, ===, end of input, operator, or whitespace
Dhall.Parser

{ Type = { foo : Bytes }
, default = { foo = 0x"00" }
}

unexpected 'd'
expecting whitespace or }
Dhall.Parser

The dhall CLI indicates the files are correct:

$ dhall --annotate --file bytes.dhall 
0x"00" : Bytes
$ dhall --annotate --file bytesrecord.dhall       
  { Type = { foo : Bytes }, default.foo = 0x"00" }
: { Type : Type, default : { foo : Bytes } }

[Gabriella439]

What version of dhall-lsp-server are you running and how did you install it?

The reason that I'm asking is that I'm guessing that it might have been built against an older version of the dhall package. Note that it depends on dhall as a library, which it is linked against, and it doesn't use any dhall executable that you might have on your PATH