dhall/tests/type-errors/unit/ListLiteralEmptyNotType.txt


1
2
3
4
5
6
7
8
9
10
11
12
13

 --> 1:6
  |
1 | [] : List Type␊
  |      ^--^
  |
  = Type error: Wrong type of function argument
 --> 1:11
  |
1 | [] : List Type␊
  |           ^--^
  |
  = This argument has type Kind
[unknown location] But the function expected an argument of type Type