diff options
Diffstat (limited to 'Test/hofs')
-rw-r--r-- | Test/hofs/ResolveError.dfy.expect | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Test/hofs/ResolveError.dfy.expect b/Test/hofs/ResolveError.dfy.expect index 0cb9413c..994d78f2 100644 --- a/Test/hofs/ResolveError.dfy.expect +++ b/Test/hofs/ResolveError.dfy.expect @@ -2,8 +2,8 @@ ResolveError.dfy(7,11): Error: the number of left-hand sides (1) and right-hand ResolveError.dfy(8,11): Error: the number of left-hand sides (1) and right-hand sides (2) must match for a multi-assignment
ResolveError.dfy(21,6): Error: LHS of assignment must denote a mutable field
ResolveError.dfy(31,16): Error: arguments must have the same type (got int and bool)
-ResolveError.dfy(32,12): Error: cannot apply arguments with types int,int to expression with type int -> int
-ResolveError.dfy(33,12): Error: cannot apply arguments with types bool to expression with type int -> int
+ResolveError.dfy(32,12): Error: wrong number of arguments to function application (function type 'int -> int' expects 1, got 2)
+ResolveError.dfy(33,13): Error: type mismatch for argument 0 (function expects int, got bool)
ResolveError.dfy(34,13): Error: incorrect type of function argument 0 (expected int, got bool)
ResolveError.dfy(35,25): Error: arguments must have the same type (got bool and int)
ResolveError.dfy(36,13): Error: wrong number of function arguments (got 2, expected 1)
|