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


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

 --> 1:1
  |
1 | Natural/subtract True True␊
  | ^--------------^
  |
  = Type error: Wrong type of function argument
 --> 1:18
  |
1 | Natural/subtract True True␊
  |                  ^--^
  |
  = This argument has type Value@WHNF { value: AppliedBuiltin(Bool, [], []), type: Type }
[unknown location] But the function expected an argument of type Value@WHNF { value: AppliedBuiltin(Natural, [], []), type: Type }