summaryrefslogtreecommitdiff
path: root/dhall/tests/type-errors/unit/MergeAlternativeHasNoHandler.txt
blob: b2ecee82f09607de5f68c9ce36870fb5ba7c0631 (plain)
1
TypeError { type_message: MergeVariantMissingHandler(Label("x")), context: TypecheckContext([]) }