Re: New issue with possible solution - Unbound free variables

Monica, 
 
This has been logged as issue 916. 
 
Greg

>>>Monica J. Martin <Monica.Martin@Sun.COM> 11/02/04 12:28 pm >>>


>SRT: If a free variable in an enclosed choreography is not BOUND
>then what is the variables status? Does it have a value or is it said
>to be undefined? My concern is if any conditional logic is based on
>the value of a free variable that is UNBOUND it may have unexpected
>consequences.
>
>One possible solution is to add a default value to the definition of
>the variable within the choreography in which it is defined. The
>semantics would be such that free variables that are not bound take on
>the default value. The absence of a default value for a free variable
>that is UNBOUND would result in a type error or a warning being
>generated on parsing the CDL file(s) in which it is defined.
>
>At alternative would be to have no default value and simply add the
>necessary text (above) so that it is made clear how to parse a CDL
>document and what to report as an error or warning.

mm1: Steve, has this been logged as an issue or agreed upon? Thanks.