diff options
Diffstat (limited to 'dhall/tests/type-errors/unit/FunctionArgumentTypeNotAType.txt')
| -rw-r--r-- | dhall/tests/type-errors/unit/FunctionArgumentTypeNotAType.txt | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/dhall/tests/type-errors/unit/FunctionArgumentTypeNotAType.txt b/dhall/tests/type-errors/unit/FunctionArgumentTypeNotAType.txt index 9e43c33..a13fb3a 100644 --- a/dhall/tests/type-errors/unit/FunctionArgumentTypeNotAType.txt +++ b/dhall/tests/type-errors/unit/FunctionArgumentTypeNotAType.txt @@ -1,6 +1 @@ - --> 1:7 - | -1 | λ(_ : 1) → _␊ - | ^ - | - = Type error: Invalid function input +[unknown location] Type error: Invalid function input |