summaryrefslogtreecommitdiff
path: root/src/errors/DuplicateAlternative.txt
diff options
context:
space:
mode:
authorNanoTech2016-12-11 23:27:36 -0600
committerNanoTech2017-03-10 23:48:29 -0600
commit5c00b978b0bc0c1eeb64682cba6aa338fea320bf (patch)
treed9935794062180474b5bd6a51ab1d5f4bd864a4e /src/errors/DuplicateAlternative.txt
parentefd52ef33c15316dbd39390d55022708488a53b8 (diff)
Start implementing error explanations
Diffstat (limited to 'src/errors/DuplicateAlternative.txt')
-rw-r--r--src/errors/DuplicateAlternative.txt18
1 files changed, 18 insertions, 0 deletions
diff --git a/src/errors/DuplicateAlternative.txt b/src/errors/DuplicateAlternative.txt
new file mode 100644
index 0000000..077f8aa
--- /dev/null
+++ b/src/errors/DuplicateAlternative.txt
@@ -0,0 +1,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