From 6a8e7e12cc95376dfd9ddfba673e7d0ae0d3b191 Mon Sep 17 00:00:00 2001
From: Simon Jakobi <simon.jakobi@gmail.com>
Date: Fri, 4 Oct 2019 18:28:33 +0200
Subject: [PATCH] Dhall.JSON: Update documentation of Nesting type (#1385)

---
 dhall-json/src/Dhall/JSON.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dhall-json/src/Dhall/JSON.hs b/dhall-json/src/Dhall/JSON.hs
index df034b0..8ce5d1b 100644
--- a/dhall-json/src/Dhall/JSON.hs
+++ b/dhall-json/src/Dhall/JSON.hs
@@ -117,7 +117,7 @@
     * @field@: the name of the field that will store the name of the
       alternative
 
-    * @nesting@: A value of type @\< Inline : {} | Nested : Text \>@.
+    * @nesting@: A value of type @\< Inline | Nested : Text \>@.
 
     If @nesting@ is set to @Inline@ and the union literal stored in @contents@
     contains a record then the name of the alternative is stored inline within
@@ -144,7 +144,7 @@
 
 > let Example = < Left : { foo : Natural } | Right : { bar : Bool } >
 > 
-> let Nesting = < Inline : {} | Nested : Text >
+> let Nesting = < Inline | Nested : Text >
 > 
 > in  { field    = "name"
 >     , nesting  = Nesting.Nested "value"