diff options
author | Nadrieril | 2019-11-11 18:00:57 +0000 |
---|---|---|
committer | Nadrieril | 2019-11-11 18:00:57 +0000 |
commit | ada19118f894fbd71642ea683d9376cbbd756f7d (patch) | |
tree | 45e210c786d386182ba19d33dfe548522dbf5216 /dhall/src/error/text/InvalidOptionalLiteral.txt | |
parent | 1ea6fe55eea2f1448f897e2a2805f7e0a1daac9b (diff) |
Remove unused error texts
Those were copied from dhall-haskell back before I (Nadrieril) forked
dhall-rust from Nanotech. They have never been used.
Diffstat (limited to 'dhall/src/error/text/InvalidOptionalLiteral.txt')
-rw-r--r-- | dhall/src/error/text/InvalidOptionalLiteral.txt | 53 |
1 files changed, 0 insertions, 53 deletions
diff --git a/dhall/src/error/text/InvalidOptionalLiteral.txt b/dhall/src/error/text/InvalidOptionalLiteral.txt deleted file mode 100644 index 41c0fdc..0000000 --- a/dhall/src/error/text/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 |