settei-dhall-0.1.0.0: test/fixtures/characterization/type-error.dhall

{ service = { port = if True then True else 8080 } }