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/TypeTests.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/TypeTests.dfy.expect')
-rw-r--r-- | Test/dafny0/TypeTests.dfy.expect | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/dafny0/TypeTests.dfy.expect b/Test/dafny0/TypeTests.dfy.expect index 0a15ad67..e40f2c35 100644 --- a/Test/dafny0/TypeTests.dfy.expect +++ b/Test/dafny0/TypeTests.dfy.expect @@ -18,7 +18,7 @@ TypeTests.dfy(72,28): Error: unresolved identifier: z TypeTests.dfy(73,29): Error: unresolved identifier: w1
TypeTests.dfy(73,47): Error: unresolved identifier: w0
TypeTests.dfy(76,28): Error: unresolved identifier: e
-TypeTests.dfy(91,17): Error: member F in type C does not refer to a method
+TypeTests.dfy(91,17): Error: object initialization must denote an initializing method or constructor (F)
TypeTests.dfy(92,17): Error: a method called as an initialization method must not have any result arguments
TypeTests.dfy(101,3): Error: cannot assign to a range of array elements (try the 'forall' statement)
TypeTests.dfy(102,3): Error: cannot assign to a range of array elements (try the 'forall' statement)
|