diff options
Diffstat (limited to 'Test/hofs/ResolveError.dfy.expect')
| -rw-r--r-- | Test/hofs/ResolveError.dfy.expect | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Test/hofs/ResolveError.dfy.expect b/Test/hofs/ResolveError.dfy.expect index d7de049a..0cb9413c 100644 --- a/Test/hofs/ResolveError.dfy.expect +++ b/Test/hofs/ResolveError.dfy.expect @@ -15,4 +15,5 @@ ResolveError.dfy(47,7): Error: Precondition must be boolean (got int) ResolveError.dfy(56,9): Error: condition is expected to be of type bool, but is () -> bool
ResolveError.dfy(59,34): Error: arguments must have the same type (got A -> B and ?)
ResolveError.dfy(62,11): Error: arguments must have the same type (got A -> B and object)
-17 resolution/type errors detected in ResolveError.dfy
+ResolveError.dfy(68,24): Error: unresolved identifier: _
+18 resolution/type errors detected in ResolveError.dfy
|