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/LiberalEquality.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/LiberalEquality.dfy.expect')
| -rw-r--r-- | Test/dafny0/LiberalEquality.dfy.expect | 20 |
1 files changed, 16 insertions, 4 deletions
diff --git a/Test/dafny0/LiberalEquality.dfy.expect b/Test/dafny0/LiberalEquality.dfy.expect index 0b2cbb74..e1d63481 100644 --- a/Test/dafny0/LiberalEquality.dfy.expect +++ b/Test/dafny0/LiberalEquality.dfy.expect @@ -1,4 +1,16 @@ -LiberalEquality.dfy(20,14): Error: arguments must have the same type (got T and U)
-LiberalEquality.dfy(39,14): Error: arguments must have the same type (got Weird<T,int,V> and Weird<T,bool,V>)
-LiberalEquality.dfy(54,14): Error: arguments must have the same type (got array<int> and array<bool>)
-3 resolution/type errors detected in LiberalEquality.dfy
+LiberalEquality.dfy(22,14): Error: arguments must have the same type (got T and U)
+LiberalEquality.dfy(23,14): Error: arguments must have the same type (got U and int)
+LiberalEquality.dfy(31,14): Error: arguments must have the same type (got array<T> and array3<T>)
+LiberalEquality.dfy(32,14): Error: arguments must have the same type (got array<int> and array3<int>)
+LiberalEquality.dfy(33,14): Error: arguments must have the same type (got array<T> and array3<int>)
+LiberalEquality.dfy(34,14): Error: arguments must have the same type (got array<int> and array3<T>)
+LiberalEquality.dfy(42,14): Error: arguments must have the same type (got Weird<T,int,V> and Weird<T,bool,V>)
+LiberalEquality.dfy(52,13): Error: arguments must have the same type (got Weird<T,bool,T> and Weird<T,int,T>)
+LiberalEquality.dfy(61,14): Error: arguments must have the same type (got array<int> and array<bool>)
+LiberalEquality.dfy(73,13): Error: arguments must have the same type (got T -> int and int -> int)
+LiberalEquality.dfy(74,13): Error: arguments must have the same type (got int -> T and int -> int)
+LiberalEquality.dfy(84,13): Error: arguments must have the same type (got Syn<int> and Syn<bool>)
+LiberalEquality.dfy(95,13): Error: arguments must have the same type (got array<List<int>> and array<List<bool>>)
+LiberalEquality.dfy(97,13): Error: arguments must have the same type (got array<List<bool>> and array<ListSynonym<T,int>>)
+LiberalEquality.dfy(103,13): Error: arguments must have the same type (got array<List<bool>> and array<ListSynonym<real,Wrapper<int>>>)
+15 resolution/type errors detected in LiberalEquality.dfy
|