diff options
author | leino <unknown> | 2014-07-02 13:24:34 -0700 |
---|---|---|
committer | leino <unknown> | 2014-07-02 13:24:34 -0700 |
commit | c040550119028f43c8f6f6aead1844f88f2049a4 (patch) | |
tree | dd39e03ceb86d1db023983d30ecd85803b941bf2 /Test/dafny0/ResolutionErrors.dfy.expect | |
parent | 0bcef90b3cadb13d7cebd4394ff8bf51e95015e7 (diff) |
Allow array-type parameters to be filled in automatically.
Enhanced filling in of datatype parameters: allow places that need only a prefix of the parameters of the datatype
Diffstat (limited to 'Test/dafny0/ResolutionErrors.dfy.expect')
-rw-r--r-- | Test/dafny0/ResolutionErrors.dfy.expect | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Test/dafny0/ResolutionErrors.dfy.expect b/Test/dafny0/ResolutionErrors.dfy.expect index 22f3274e..74f4ab50 100644 --- a/Test/dafny0/ResolutionErrors.dfy.expect +++ b/Test/dafny0/ResolutionErrors.dfy.expect @@ -53,6 +53,8 @@ ResolutionErrors.dfy(898,9): Error: cannot assign to a range of array elements ( ResolutionErrors.dfy(899,9): Error: cannot assign to a range of array elements (try the 'forall' statement)
ResolutionErrors.dfy(900,5): Error: cannot assign to a range of array elements (try the 'forall' statement)
ResolutionErrors.dfy(901,5): Error: cannot assign to a range of array elements (try the 'forall' statement)
+ResolutionErrors.dfy(964,11): Error: Wrong number of type arguments (2 instead of 1) passed to class/datatype: array3
+ResolutionErrors.dfy(965,11): Error: Wrong number of type arguments (2 instead of 1) passed to class/datatype: C
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
@@ -139,4 +141,4 @@ ResolutionErrors.dfy(931,9): Error: condition is expected to be of type bool, bu ResolutionErrors.dfy(932,16): Error: member 3 does not exist in datatype _tuple#3
ResolutionErrors.dfy(932,26): Error: member x does not exist in datatype _tuple#2
ResolutionErrors.dfy(932,18): Error: arguments must have the same type (got (int,int,int) and (int,int))
-141 resolution/type errors detected in ResolutionErrors.dfy
+143 resolution/type errors detected in ResolutionErrors.dfy
|