summaryrefslogtreecommitdiff
path: root/src/errors/FieldCollision.txt
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--src/errors/FieldCollision.txt43
1 files changed, 43 insertions, 0 deletions
diff --git a/src/errors/FieldCollision.txt b/src/errors/FieldCollision.txt
new file mode 100644
index 0000000..2b2d260
--- /dev/null
+++ b/src/errors/FieldCollision.txt
@@ -0,0 +1,43 @@
+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