summaryrefslogtreecommitdiff
path: root/src/errors/InvalidFieldType.txt
diff options
context:
space:
mode:
authorNadrieril2019-03-01 17:28:19 +0100
committerNadrieril2019-03-01 17:28:19 +0100
commite5d9aee00b0c775df1d8e2d8819aeb80dffa73c2 (patch)
treee763a24a0d635048232e72e167ca37eafec69369 /src/errors/InvalidFieldType.txt
parent8a2b7536902831079eddd7b00291b718f5dd7186 (diff)
Split abnf_to_pest and dhall into their own crates
Diffstat (limited to 'src/errors/InvalidFieldType.txt')
-rw-r--r--src/errors/InvalidFieldType.txt34
1 files changed, 0 insertions, 34 deletions
diff --git a/src/errors/InvalidFieldType.txt b/src/errors/InvalidFieldType.txt
deleted file mode 100644
index 4f76a64..0000000
--- a/src/errors/InvalidFieldType.txt
+++ /dev/null
@@ -1,34 +0,0 @@
-Explanation: Every record type documents the type of each field, like this:
-
- ┌──────────────────────────────────────────────┐
- │ { foo : Integer, bar : Integer, baz : Text } │
- └──────────────────────────────────────────────┘
-
-However, fields cannot be annotated with expressions other than types
-
-For example, these record types are $_NOT valid:
-
-
- ┌────────────────────────────┐
- │ { foo : Integer, bar : 1 } │
- └────────────────────────────┘
- ⇧
- ❰1❱ is an ❰Integer❱ and not a ❰Type❱
-
-
- ┌───────────────────────────────┐
- │ { foo : Integer, bar : Type } │
- └───────────────────────────────┘
- ⇧
- ❰Type❱ is a ❰Kind❱ and not a ❰Type❱
-
-
-You provided a record type with a key named:
-
-↳ $txt0
-
-... annotated with the following expression:
-
-↳ $txt1
-
-... which is not a type