small correction: tleading : <number,string…|2> := ttype's leading types;
> On 11 Jan 2015, at 20:01, Robbert van Dalen <[email protected]> > wrote: > > hi, > > i have an issue compiling the following code: > > ttype : <number,string,float…|3>'s type := <number,string,float…|3>; > tdefault : float's type := ttype's default type; > tleading : <number,string>'s type := ttype's leading types; > > .. the compiler complains about the following: > > initializing expression's type (<(any)'s type…|>) to agree with declared type > ((<number, string>)'s type) > > it appears that “_’s default type” is strengthened to a float type. > but “_’s leading types” is not strengthened. > > any reason why? > > cheers, > Robbert.
