diff options
| author |  leino <unknown> | 2014-08-27 13:43:51 -0700 |
|---|---|---|
| committer | leino <unknown> | 2014-08-27 13:43:51 -0700 |
| commit | c797efff6e6eb38a991ced512fe028fa979f19eb (patch) | |
| tree | 3b6d9f55f242c742947e15d94541bae1597fe9ad /Test/hofs | |
| parent | b160a16857b62e8ea47774939afde8f51454941f (diff) | |
Refactored ArrowType's to be resolved with other types. ArrowTypeDecl's are now created by the parser into the system module.
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)
|