summaryrefslogtreecommitdiff
path: root/dhall/src/errors/DuplicateAlternative.txt
blob: 077f8aa72575ef33c8710089007a18cb6bd1aecc (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
Explanation: Unions may not have two alternatives that share the same name

For example, the following expressions are $_NOT valid:


    ┌─────────────────────────────┐
    │ < foo = True | foo : Text > │  Invalid: ❰foo❱ appears twice
    └─────────────────────────────┘


    ┌───────────────────────────────────────┐
    │ < foo = 1 | bar : Bool | bar : Text > │  Invalid: ❰bar❱ appears twice
    └───────────────────────────────────────┘


You have more than one alternative named:

↳ $txt0