blob: 26b9ceb273c383165f9e5815533042caf1662a93 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
Explanation: The ❰++❱ operator expects two arguments that have type ❰Text❱
For example, this is a valid use of ❰++❱:
┌────────────────┐
│ "ABC" ++ "DEF" │
└────────────────┘
You provided this argument:
↳ $txt0
... which does not have type ❰Text❱ but instead has type:
↳ $txt1
Some common reasons why you might get this error:
● You might have thought that ❰++❱ was the operator to combine two lists:
┌───────────────────────────────────────────────────────────┐
│ ([1, 2, 3] : List Integer) ++ ([4, 5, 6] : List Integer ) │ Not valid
└───────────────────────────────────────────────────────────┘
The Dhall programming language does not provide a built-in operator for
combining two lists
|
