dhall/tests/type-errors/unit/MergeHandlerNotMatchAlternativeType.txt


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

Type error: Unhandled error: MergeHandlerTypeMismatch: Value@WHNF {
    value: AppliedBuiltin(
        Natural,
        [],
        [],
        NzEnv {
            items: [],
        },
    ),
    type: Type,
} != Value@WHNF {
    value: AppliedBuiltin(
        Bool,
        [],
        [],
        NzEnv {
            items: [],
        },
    ),
    type: Type,
}