diff options
| author |  leino <unknown> | 2015-01-02 22:05:10 -0800 |
|---|---|---|
| committer | leino <unknown> | 2015-01-02 22:05:10 -0800 |
| commit | bcb2910254f5e108e65f8f6ff5ab4efe03728f6c (patch) | |
| tree | 9a127103f5c1f86f44cdd12dd89b8c6e07abcb94 /Test/dafny0/UserSpecifiedTypeParameters.dfy.expect | |
| parent | 1ad3e91e2b2945572603b8ca5bf063195e72b55f (diff) | |
Fixed resolution of method calls with explicit type parameters.
Finished refactoring of the recent name segments changes.
Diffstat (limited to 'Test/dafny0/UserSpecifiedTypeParameters.dfy.expect')
| -rw-r--r-- | Test/dafny0/UserSpecifiedTypeParameters.dfy.expect | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Test/dafny0/UserSpecifiedTypeParameters.dfy.expect b/Test/dafny0/UserSpecifiedTypeParameters.dfy.expect index 12970e85..2504fbfb 100644 --- a/Test/dafny0/UserSpecifiedTypeParameters.dfy.expect +++ b/Test/dafny0/UserSpecifiedTypeParameters.dfy.expect @@ -6,4 +6,6 @@ UserSpecifiedTypeParameters.dfy(48,26): Error: Undeclared top-level type or type UserSpecifiedTypeParameters.dfy(48,18): Error: variable 'a' does not take any type parameters
UserSpecifiedTypeParameters.dfy(48,30): Error: non-function expression (of type int) is called with parameters
UserSpecifiedTypeParameters.dfy(48,16): Error: wrong number of arguments to function application (function 'F' expects 2, got 1)
-8 resolution/type errors detected in UserSpecifiedTypeParameters.dfy
+UserSpecifiedTypeParameters.dfy(79,15): Error: incorrect type of method in-parameter 0 (expected A, got int)
+UserSpecifiedTypeParameters.dfy(91,15): Error: type mismatch for argument 0 (function expects A, got int)
+10 resolution/type errors detected in UserSpecifiedTypeParameters.dfy
|