diff options
| author |  Rustan Leino <unknown> | 2014-07-15 16:44:00 -0700 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2014-07-15 16:44:00 -0700 |
| commit | 30cd666db7142297b7cd627cad34243b76e7291a (patch) | |
| tree | 7d3155ede7a8ea29b4d5cb552fcbab64deabb374 /Test/dafny0/ResolutionErrors.dfy.expect | |
| parent | 3d81de6e45e1a82931cd09442cb88458c86094e8 (diff) | |
Allow an arbitrary-type to take type parameters
Diffstat (limited to 'Test/dafny0/ResolutionErrors.dfy.expect')
| -rw-r--r-- | Test/dafny0/ResolutionErrors.dfy.expect | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/Test/dafny0/ResolutionErrors.dfy.expect b/Test/dafny0/ResolutionErrors.dfy.expect index 820465db..38393b02 100644 --- a/Test/dafny0/ResolutionErrors.dfy.expect +++ b/Test/dafny0/ResolutionErrors.dfy.expect @@ -66,6 +66,15 @@ ResolutionErrors.dfy(1007,7): Error: Cycle among type synonyms: A -> B -> A ResolutionErrors.dfy(1019,7): Error: Cycle among type synonyms: A -> B -> A
ResolutionErrors.dfy(1024,7): Error: Cycle among type synonyms: A -> B -> A
ResolutionErrors.dfy(1043,21): Error: unresolved identifier: x
+ResolutionErrors.dfy(1050,35): Error: Wrong number of type arguments (2 instead of 1) passed to arbitrary type: P
+ResolutionErrors.dfy(1062,13): Error: Undeclared top-level type or type parameter: BX (did you forget to qualify a name?)
+ResolutionErrors.dfy(1072,6): Error: RHS (of type P<int>) not assignable to LHS (of type P<bool>)
+ResolutionErrors.dfy(1077,6): Error: RHS (of type P<A>) not assignable to LHS (of type P<B>)
+ResolutionErrors.dfy(1082,6): Error: RHS (of type P<A>) not assignable to LHS (of type P<int>)
+ResolutionErrors.dfy(1083,6): Error: RHS (of type P<int>) not assignable to LHS (of type P<A>)
+ResolutionErrors.dfy(1088,13): Error: arguments must have the same type (got P<int> and P<X>)
+ResolutionErrors.dfy(1089,13): Error: arguments must have the same type (got P<bool> and P<X>)
+ResolutionErrors.dfy(1090,13): Error: arguments must have the same type (got P<int> and P<bool>)
ResolutionErrors.dfy(429,2): Error: More than one default constructor
ResolutionErrors.dfy(50,13): Error: 'this' is not allowed in a 'static' context
ResolutionErrors.dfy(111,9): Error: ghost variables are allowed only in specification contexts
@@ -162,4 +171,4 @@ ResolutionErrors.dfy(956,10): Error: second argument to % must be of type int (i ResolutionErrors.dfy(960,7): Error: type conversion to real is allowed only from int (got real)
ResolutionErrors.dfy(961,7): Error: type conversion to int is allowed only from real (got int)
ResolutionErrors.dfy(962,7): Error: type conversion to int is allowed only from real (got nat)
-164 resolution/type errors detected in ResolutionErrors.dfy
+173 resolution/type errors detected in ResolutionErrors.dfy
|