Allow whitespace after record pun entry (#1733)

Fixes #1732.

Author: sjakobi

dhall/src/Dhall/Parser/Expression.hs

@@ -772,8 +772,6 @@ parsers embedded = Parsers {..}
 
                             value <- expression
 
-                            whitespace
-
                             let cons key (key', values) =
                                     (key, RecordLit [ (key', values) ])
 
@@ -786,7 +784,7 @@ parsers embedded = Parsers {..}
                                 x :| [] -> return (x, Var (V x 0))
                                 _       -> empty
 
-                    normalRecordEntry <|> punnedEntry
+                    (normalRecordEntry <|> punnedEntry) <* whitespace
 
             let nonEmptyRecordLiteral = do
                     as <- Text.Megaparsec.sepBy1 keysValue (_comma *> whitespace)

dhall/tests/Dhall/Test/Regression.hs

@@ -44,6 +44,7 @@ tests =
         , issue1341
         , issue1584
         , issue1646
+        , issue1732
         , parsing0
         , typeChecking0
         , typeChecking1
@@ -196,6 +197,13 @@ issue1646 = Test.Tasty.HUnit.testCase "Issue #1646" (do
     _ <- Util.code "./tests/regression/issue1646.dhall"
     return () )
 
+issue1732 :: TestTree
+issue1732 = Test.Tasty.HUnit.testCase "Issue #1732" (do
+    -- This test ensures that the parser allows whitespace after a record pun
+    -- entry
+    _ <- Util.code "./tests/regression/issue1732.dhall"
+    return () )
+
 parsing0 :: TestTree
 parsing0 = Test.Tasty.HUnit.testCase "Parsing regression #0" (do
     -- Verify that parsing should not fail

dhall/tests/regression/issue1732.dhall

@@ -0,0 +1 @@
+let x = 0 in { x , a = 0 }