[Gd-hackers] get melange to import-value a <set>

[Danny Milosavljevic]

Hi,

I wonder what melange sees as the right way to support
stuff like:

define constant <parameter-flag> = one-of(#"foo",
#"bar");
define constant <parameter-flags> = limited(<set>, of:
<parameter-flag>);

define method import-value(klass == <parameter-flags>,
value :: <integer>) => (result :: <parameter-flags>)
 ...
end method;

What I get is:

  Warning: Can't tell if argument <unknown-type> is a
subtype of <type>,
so can't tell if method:
  import-value{<unknown-type>, <integer>}
is congruent to GF
  import-value

What now?

cheers,
  Danny




		
___________________________________________________________ 
Telefonate ohne weitere Kosten vom PC zum PC: http://messenger.yahoo.de