Skip to content
Permalink
Browse files

Prelude/JSON/Nesting: use empty union alternatives (#541)

Now that empty union alternatives are a language feature, we should use
them in Prelude too.
  • Loading branch information...
philandstuff committed May 14, 2019
1 parent c98977d commit 68fa5fd7aecafd56da107922b7386cd10688ca95
Showing with 3 additions and 3 deletions.
  1. +3 −3 Prelude/JSON/Nesting
@@ -7,12 +7,12 @@ For example, this Dhall code:
```
let Example = < Left : { foo : Natural } | Right : { bar : Bool } >
let Nesting = < Inline : {} | Nested : Text >
let Nesting = < Inline | Nested : Text >
in { field =
"name"
, nesting =
Nesting.Inline {=}
Nesting.Inline
, contents =
Example.Left { foo = 2 }
}
@@ -28,4 +28,4 @@ in { field =
```
-}
let Nesting : Type = < Inline : {} | Nested : Text > in Nesting
let Nesting : Type = < Inline | Nested : Text > in Nesting

0 comments on commit 68fa5fd

Please sign in to comment.
You can’t perform that action at this time.