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


1
2
3
4
5
6
7

Type error: Unhandled error: error: Trying to apply an argument to a value that is not a function
 --> <current file>:1:0
  |
1 | True True
  | ^^^^ this has type: `Bool`
  |
  = help: only functions can be applied to