dhall-json: Throw error when union value is incompatible with Inline nesting

[sjakobi]

No description provided.

[sjakobi]

The pretty-printing here (and probably in the other errors too) needs improvement. Currently it looks like this:

The following Dhall expression could not be translated to JSON:                 
                                                                                
↳ { contents = < Left : { foo : Natural } | Middle : Natural | Right : { bar : Bool } >.Middle 0, field = "name", nesting = < Inline | Nested : Text >.Inline }                                                  
                                                                                
... because                                                                     
                                                                                
↳ 0                                     
                                                                                
... is not a record.

[Gabriella439]

You can use Dhall.Util.insert, which is the same thing type-checking error messages use:

dhall-haskell/dhall/src/Dhall/Util.hs

Lines 76 to 79 in 4c1736b

	-- | Function to insert an aligned pretty expression
	insert :: Pretty a => a -> Doc Ann
	insert expression =
	"↳ " <> Pretty.align (snipDoc (Pretty.pretty expression))

[sjakobi]

Thanks, I'm using Dhall.Util.insert now. I had to expose Dhall.Util from dhall though. I hope that's ok.

[Gabriella439]

Yeah, that's fine

[Gabriella439]

You can use Dhall.Util.insert, which is the same thing type-checking error messages use:

dhall-haskell/dhall/src/Dhall/Util.hs

Lines 76 to 79 in 4c1736b

	-- | Function to insert an aligned pretty expression
	insert :: Pretty a => a -> Doc Ann
	insert expression =
	"↳ " <> Pretty.align (snipDoc (Pretty.pretty expression))