From ada19118f894fbd71642ea683d9376cbbd756f7d Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 11 Nov 2019 18:00:57 +0000
Subject: Remove unused error texts

Those were copied from dhall-haskell back before I (Nadrieril) forked
dhall-rust from Nanotech. They have never been used.
---
 dhall/src/error/text/UnboundVariable.txt | 97 --------------------------------
 1 file changed, 97 deletions(-)
 delete mode 100644 dhall/src/error/text/UnboundVariable.txt

(limited to 'dhall/src/error/text/UnboundVariable.txt')

diff --git a/dhall/src/error/text/UnboundVariable.txt b/dhall/src/error/text/UnboundVariable.txt
deleted file mode 100644
index bd7d483..0000000
--- a/dhall/src/error/text/UnboundVariable.txt
+++ /dev/null
@@ -1,97 +0,0 @@
-Explanation: Expressions can only reference previously introduced (i.e. "bound")
-variables that are still "in scope"
-
-For example, the following valid expressions introduce a "bound" variable named
-❰x❱:
-
-
-    ┌─────────────────┐
-    │ λ(x : Bool) → x │  Anonymous functions introduce "bound" variables
-    └─────────────────┘
-        ⇧
-        This is the bound variable
-
-
-    ┌─────────────────┐
-    │ let x = 1 in x  │  ❰let❱ expressions introduce "bound" variables
-    └─────────────────┘
-          ⇧
-          This is the bound variable
-
-
-However, the following expressions are not valid because they all reference a
-variable that has not been introduced yet (i.e. an "unbound" variable):
-
-
-    ┌─────────────────┐
-    │ λ(x : Bool) → y │  The variable ❰y❱ hasn't been introduced yet
-    └─────────────────┘
-                    ⇧
-                    This is the unbound variable
-
-
-    ┌──────────────────────────┐
-    │ (let x = True in x) && x │  ❰x❱ is undefined outside the parentheses
-    └──────────────────────────┘
-                             ⇧
-                             This is the unbound variable
-
-
-    ┌────────────────┐
-    │ let x = x in x │  The definition for ❰x❱ cannot reference itself
-    └────────────────┘
-              ⇧
-              This is the unbound variable
-
-
-Some common reasons why you might get this error:
-
-● You misspell a variable name, like this:
-
-
-    ┌────────────────────────────────────────────────────┐
-    │ λ(empty : Bool) → if emty then "Empty" else "Full" │
-    └────────────────────────────────────────────────────┘
-                           ⇧
-                           Typo
-
-
-● You misspell a reserved identifier, like this:
-
-
-    ┌──────────────────────────┐
-    │ foral (a : Type) → a → a │
-    └──────────────────────────┘
-      ⇧
-      Typo
-
-
-● You tried to define a recursive value, like this:
-
-
-    ┌─────────────────────┐
-    │ let x = x + +1 in x │
-    └─────────────────────┘
-              ⇧
-              Recursive definitions are not allowed
-
-
-● You accidentally forgot a ❰λ❱ or ❰∀❱/❰forall❱
-
-
-        Unbound variable
-        ⇩
-    ┌─────────────────┐
-    │  (x : Bool) → x │
-    └─────────────────┘
-      ⇧
-      A ❰λ❱ here would transform this into a valid anonymous function 
-
-
-        Unbound variable
-        ⇩
-    ┌────────────────────┐
-    │  (x : Bool) → Bool │
-    └────────────────────┘
-      ⇧
-      A ❰∀❱ or ❰forall❱ here would transform this into a valid function type
-- 
cgit v1.2.3