diff options
author | leino <unknown> | 2014-08-21 14:39:19 -0700 |
---|---|---|
committer | leino <unknown> | 2014-08-21 14:39:19 -0700 |
commit | 81669a1d8bb2e36d86464708bb234e7920776ae6 (patch) | |
tree | 6de50170760347cf032c864c33992c58cb2905b5 /Test/dafny0/CoResolution.dfy.expect | |
parent | a570ecd2d288f67a9e56faf4421a447d06b21d36 (diff) |
Support for non-constrained derived types ("new types").
Arbitrary conversion from int/real to derived types not yet supported.
Changed rules about numeric type conversions to allow conversions from any numeric type.
Diffstat (limited to 'Test/dafny0/CoResolution.dfy.expect')
-rw-r--r-- | Test/dafny0/CoResolution.dfy.expect | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Test/dafny0/CoResolution.dfy.expect b/Test/dafny0/CoResolution.dfy.expect index 140aa890..196b3faa 100644 --- a/Test/dafny0/CoResolution.dfy.expect +++ b/Test/dafny0/CoResolution.dfy.expect @@ -19,6 +19,6 @@ CoResolution.dfy(141,17): Error: a recursive call from a copredicate can go only CoResolution.dfy(149,4): Error: a recursive call from a copredicate can go only to other copredicates
CoResolution.dfy(151,4): Error: a recursive call from a copredicate can go only to other copredicates
CoResolution.dfy(167,13): Error: a recursive call from a colemma can go only to other colemmas and prefix lemmas
-CoResolution.dfy(202,12): Error: type variable '_T0' in the function call to 'A' could not determined
-CoResolution.dfy(202,19): Error: type variable '_T0' in the function call to 'S' could not determined
+CoResolution.dfy(202,12): Error: type variable '_T0' in the function call to 'A' could not be determined
+CoResolution.dfy(202,19): Error: type variable '_T0' in the function call to 'S' could not be determined
23 resolution/type errors detected in CoResolution.dfy
|