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


1
2
3
4
5
6
7

Type error: Unhandled error: error: Invalid input type: `Natural`
 --> <current file>:1:6
  |
1 | λ(_ : 1) → _
  |       ^ this has type: `Natural`
  |
  = help: The input type of a function must have type `Type`, `Kind` or `Sort`