RE: [sv-ac] 1420

Hi Doron,

I think there is a minor correction needed in the first example
(finonacci1). The arguments are typed for the property but in the
recursion part you are using local variables to pass to fibonacci1 (l_b,
l_a etc). This is not legal as per typed argument passing rules defined
in 17.6.1 as it says "Exporting values of local variables through typed
formal arguments is not supported". Although in the properties section I
do not see this restriction, I assume it is same for properties also.

Thanks.
Manisha

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of Doron Bustan
Sent: Thursday, August 24, 2006 1:49 PM
To: Lisa Piper; sv-ac@server.eda-stds.org
Subject: Re: [sv-ac] 1420

The pdf is attached

Doron