From 60129b7d1c0ea8bdf2ec666fa51957e97465e88f Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 6 May 2019 23:17:26 +0200
Subject: Consolidate errors in the error module

---
 dhall/src/errors/FieldCollision.txt | 43 -------------------------------------
 1 file changed, 43 deletions(-)
 delete mode 100644 dhall/src/errors/FieldCollision.txt

(limited to 'dhall/src/errors/FieldCollision.txt')

diff --git a/dhall/src/errors/FieldCollision.txt b/dhall/src/errors/FieldCollision.txt
deleted file mode 100644
index 2b2d260..0000000
--- a/dhall/src/errors/FieldCollision.txt
+++ /dev/null
@@ -1,43 +0,0 @@
-Explanation: You can combine records if they don't share any fields in common,
-like this:
-
-
-    ┌───────────────────────────────────────────┐
-    │ { foo = 1, bar = "ABC" } ∧ { baz = True } │
-    └───────────────────────────────────────────┘
-
-
-    ┌────────────────────────────────────────┐
-    │ λ(r : { baz : Bool}) → { foo = 1 } ∧ r │
-    └────────────────────────────────────────┘
-
-
-... but you cannot merge two records that share the same field
-
-For example, the following expression is $_NOT valid:
-
-
-    ┌───────────────────────────────────────────┐
-    │ { foo = 1, bar = "ABC" } ∧ { foo = True } │  Invalid: Colliding ❰foo❱ fields
-    └───────────────────────────────────────────┘
-
-
-You combined two records that share the following field:
-
-↳ $txt0
-
-... which is not allowed
-
-Some common reasons why you might get this error:
-
-● You tried to use ❰∧❱ to update a field's value, like this:
-
-
-    ┌────────────────────────────────────────┐
-    │ { foo = 1, bar = "ABC" } ∧ { foo = 2 } │
-    └────────────────────────────────────────┘
-                                   ⇧
-                                   Invalid attempt to update ❰foo❱'s value to ❰2❱
-
-  Field updates are intentionally not allowed as the Dhall language discourages
-  patch-oriented programming
-- 
cgit v1.2.3