diff options
Diffstat (limited to 'Test/dafny0/ResolutionErrors.dfy.expect')
| -rw-r--r-- | Test/dafny0/ResolutionErrors.dfy.expect | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/Test/dafny0/ResolutionErrors.dfy.expect b/Test/dafny0/ResolutionErrors.dfy.expect index 22f3274e..c136bc5b 100644 --- a/Test/dafny0/ResolutionErrors.dfy.expect +++ b/Test/dafny0/ResolutionErrors.dfy.expect @@ -139,4 +139,9 @@ 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
+ResolutionErrors.dfy(955,15): Error: arguments to / must have the same type (got real and int)
+ResolutionErrors.dfy(956,10): Error: second argument to % must be of type int (instead got real)
+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)
+146 resolution/type errors detected in ResolutionErrors.dfy
|