dhall/tests/type-inference/failure/unit/ListLiteralEmptyNotType.txt


1
2
3
4
5
6
7
8
9

Type error: error: wrong type of function argument
 --> <current file>:1:6
  |
1 | [] : List Type
  |      ^^^^ this expects an argument of type: Type
  |           ^^^^ but this has type: Kind
  |
  = note: expected type `Type`
             found type `Kind`