From c797efff6e6eb38a991ced512fe028fa979f19eb Mon Sep 17 00:00:00 2001
From: leino <unknown>
Date: Wed, 27 Aug 2014 13:43:51 -0700
Subject: Refactored ArrowType's to be resolved with other types.
 ArrowTypeDecl's are now created by the parser into the system module.

---
 Test/hofs/ResolveError.dfy.expect | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Test/hofs')

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)
-- 
cgit v1.2.3