summaryrefslogtreecommitdiff
path: root/dhall/src/errors/InvalidOptionalLiteral.txt
diff options
context:
space:
mode:
authorNadrieril2019-05-06 23:17:26 +0200
committerNadrieril2019-05-06 23:20:47 +0200
commit60129b7d1c0ea8bdf2ec666fa51957e97465e88f (patch)
tree2118155537989a1a3bfa6c51b5c476651a0ef93e /dhall/src/errors/InvalidOptionalLiteral.txt
parent423fdeebe9247b16744fae4b50df415bbd08be04 (diff)
Consolidate errors in the error module
Diffstat (limited to 'dhall/src/errors/InvalidOptionalLiteral.txt')
-rw-r--r--dhall/src/errors/InvalidOptionalLiteral.txt53
1 files changed, 0 insertions, 53 deletions
diff --git a/dhall/src/errors/InvalidOptionalLiteral.txt b/dhall/src/errors/InvalidOptionalLiteral.txt
deleted file mode 100644
index 41c0fdc..0000000
--- a/dhall/src/errors/InvalidOptionalLiteral.txt
+++ /dev/null
@@ -1,53 +0,0 @@
-Explanation: The syntax for ❰Optional❱ values resembles the syntax for ❰List❱s:
-
-
- ┌───────────────────────┐
- │ [] : Optional Integer │ An ❰Optional❱ value which is absent
- └───────────────────────┘
-
-
- ┌───────────────────────┐
- │ [] : List Integer │ An empty (0-element) ❰List❱
- └───────────────────────┘
-
-
- ┌────────────────────────┐
- │ [1] : Optional Integer │ An ❰Optional❱ value which is present
- └────────────────────────┘
-
-
- ┌────────────────────────┐
- │ [1] : List Integer │ A singleton (1-element) ❰List❱
- └────────────────────────┘
-
-
-However, an ❰Optional❱ value can $_NOT have more than one element, whereas a
-❰List❱ can have multiple elements:
-
-
- ┌───────────────────────────┐
- │ [1, 2] : Optional Integer │ Invalid: multiple elements $_NOT allowed
- └───────────────────────────┘
-
-
- ┌───────────────────────────┐
- │ [1, 2] : List Integer │ Valid: multiple elements allowed
- └───────────────────────────┘
-
-
-Your ❰Optional❱ value had this many elements:
-
-↳ $txt0
-
-... when an ❰Optional❱ value can only have at most one element
-
-Some common reasons why you might get this error:
-
-● You accidentally typed ❰Optional❱ when you meant ❰List❱, like this:
-
-
- ┌────────────────────────────────────────────────────┐
- │ List/length Integer ([1, 2, 3] : Optional Integer) │
- └────────────────────────────────────────────────────┘
- ⇧
- This should be ❰List❱ instead