Update dhall-lang submodule

1 files changed, 2 insertions, 4 deletions

diff --git a/dhall_parser/src/dhall.abnf b/dhall_parser/src/dhall.abnf
index c5c9a84..51de689 100644
--- a/dhall_parser/src/dhall.abnf
+++ b/dhall_parser/src/dhall.abnf
@@ -298,7 +298,7 @@ equal             = "="  whitespace
 or                = "||" whitespace

 plus              = "+"  nonempty-whitespace  ; To disambiguate `f +2`

 text-append       = "++" whitespace

-list-append       = "#"  nonempty-whitespace  ; To disambiguate `http://a/a#a`

+list-append       = "#"  whitespace

 and               = "&&" whitespace

 times             = "*"  whitespace

 double-equal      = "==" whitespace

@@ -408,7 +408,7 @@ scheme = %x68.74.74.70 [ %x73 ]  ; "http" [ "s" ]
 

 ; NOTE: This does not match the official grammar for a URI.  Specifically, this

 ; replaces `path-abempty` with `path`

-http-raw = scheme "://" authority path [ "?" query ] [ "#" fragment ]

+http-raw = scheme "://" authority path [ "?" query ]

 

 ; NOTE: Backtrack if parsing the optional user info prefix fails

 authority = [ userinfo "@" ] host [ ":" port ]

@@ -453,8 +453,6 @@ pchar = unreserved / pct-encoded / sub-delims / ":" / "@"
 

 query = *( pchar / "/" / "?" )

 

-fragment = *( pchar / "/" / "?" )

-

 pct-encoded = "%" HEXDIG HEXDIG

 

 unreserved  = ALPHA / DIGIT / "-" / "." / "_" / "~"