summaryrefslogtreecommitdiff
path: root/dhall/tests/type-errors/unit/MergeHandlersWithDifferentType.txt
blob: 2e039300441b6b30208576b9a718a5bf378a5abe (plain)
1
TypeError { type_message: MergeHandlerTypeMismatch, context: TypecheckContext([]) }