diff options
| author |  leino <unknown> | 2015-01-23 16:17:23 -0800 |
|---|---|---|
| committer | leino <unknown> | 2015-01-23 16:17:23 -0800 |
| commit | 227fa997dd25a41c8bfc86d919635b6677df2c5f (patch) | |
| tree | 4ac05f6efa2a3d51ff46118c61567f3b1f52d120 /Test/dafny0/Modules2.dfy.expect | |
| parent | 97e7528b3cd3e9b9e21b75abf817d6e0ed3b9df7 (diff) | |
Switched use of List(IToken) in UserDefinedType to NameSegment/ExprDotName, so use the new name resolution machinery that handles modules and type parameters
Included some inadvertently left-out test cases in dafny0/Modules0.dfy
Fixed comparable-types tests
Diffstat (limited to 'Test/dafny0/Modules2.dfy.expect')
| -rw-r--r-- | Test/dafny0/Modules2.dfy.expect | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Test/dafny0/Modules2.dfy.expect b/Test/dafny0/Modules2.dfy.expect index 3d37146d..ec2fce61 100644 --- a/Test/dafny0/Modules2.dfy.expect +++ b/Test/dafny0/Modules2.dfy.expect @@ -1,6 +1,6 @@ Modules2.dfy(46,17): Error: The name C ambiguously refers to a type in one of the modules A, B (try qualifying the type name with the module name)
Modules2.dfy(46,10): Error: new can be applied only to reference types (got C)
Modules2.dfy(49,14): Error: the name 'E' denotes a datatype constructor, but does not do so uniquely; add an explicit qualification (for example, 'D.E')
-Modules2.dfy(50,14): Error: The name D ambiguously refers to a type in one of the modules A, B
-Modules2.dfy(52,11): Error: The name f ambiguously refers to a static member in one of the modules A, B
+Modules2.dfy(50,14): Error: The name D ambiguously refers to a type in one of the modules A, B (try qualifying the type name with the module name)
+Modules2.dfy(52,11): Error: The name f ambiguously refers to a static member in one of the modules A, B (try qualifying the member name with the module name)
5 resolution/type errors detected in Modules2.dfy
|