diff options
author | NanoTech | 2016-12-11 23:27:36 -0600 |
---|---|---|
committer | NanoTech | 2017-03-10 23:48:29 -0600 |
commit | 5c00b978b0bc0c1eeb64682cba6aa338fea320bf (patch) | |
tree | d9935794062180474b5bd6a51ab1d5f4bd864a4e /src/errors/InvalidField.txt | |
parent | efd52ef33c15316dbd39390d55022708488a53b8 (diff) |
Start implementing error explanations
Diffstat (limited to 'src/errors/InvalidField.txt')
-rw-r--r-- | src/errors/InvalidField.txt | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/src/errors/InvalidField.txt b/src/errors/InvalidField.txt new file mode 100644 index 0000000..bfbf106 --- /dev/null +++ b/src/errors/InvalidField.txt @@ -0,0 +1,35 @@ +Explanation: Every record literal is a set of fields assigned to values, like +this: + + ┌────────────────────────────────────────┐ + │ { foo = 100, bar = True, baz = "ABC" } │ + └────────────────────────────────────────┘ + +However, fields can only be terms and cannot be types or kinds + +For example, these record literals are $_NOT valid: + + + ┌───────────────────────────┐ + │ { foo = 100, bar = Text } │ + └───────────────────────────┘ + ⇧ + ❰Text❱ is a type and not a term + + + ┌───────────────────────────┐ + │ { foo = 100, bar = Type } │ + └───────────────────────────┘ + ⇧ + ❰Type❱ is a kind and not a term + + +You provided a record literal with a key named: + +↳ $txt0 + +... whose value is: + +↳ $txt1 + +... which is not a term |