From 81669a1d8bb2e36d86464708bb234e7920776ae6 Mon Sep 17 00:00:00 2001 From: leino Date: Thu, 21 Aug 2014 14:39:19 -0700 Subject: 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. --- Test/hofs/Underspecified.dfy.expect | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'Test/hofs') diff --git a/Test/hofs/Underspecified.dfy.expect b/Test/hofs/Underspecified.dfy.expect index dfb4e978..04394d78 100644 --- a/Test/hofs/Underspecified.dfy.expect +++ b/Test/hofs/Underspecified.dfy.expect @@ -1,5 +1,5 @@ -Underspecified.dfy(6,11): Error: type of bound variable '_v0' could not determined; please specify the type explicitly -Underspecified.dfy(7,12): Error: type of bound variable '_v1' could not determined; please specify the type explicitly -Underspecified.dfy(7,15): Error: type of bound variable '_v2' could not determined; please specify the type explicitly -Underspecified.dfy(8,11): Error: type of bound variable 'a' could not determined; please specify the type explicitly +Underspecified.dfy(6,11): Error: type of bound variable '_v0' could not be determined; please specify the type explicitly +Underspecified.dfy(7,12): Error: type of bound variable '_v1' could not be determined; please specify the type explicitly +Underspecified.dfy(7,15): Error: type of bound variable '_v2' could not be determined; please specify the type explicitly +Underspecified.dfy(8,11): Error: type of bound variable 'a' could not be determined; please specify the type explicitly 4 resolution/type errors detected in Underspecified.dfy -- cgit v1.2.3