Subject: Re: publish
From: Vassily Litvinov (vass@cs.washington.edu)
Date: Fri Mar 30 2001 - 17:07:00 PST
> ...
> Incidentally, I had no idea standsfor was ever a keyword. Was this just
> never implemented?
It was a new keyword as of my previous publish. Now it's removed, so we
are back to the keywords that had been there before.
> > forall Key, Value where Value <= num:
> > type synonym table[Value] = table[Key,Value];
> >
> > method foo(x:table[`T]):void { ... }
> >
> > The header of method foo will be desugared into:
> >
> > forall T, Key' where `T <= num: method foo(x:table[Key,T]):void { ... }
>
> What is the significance of the single trailing quote on the first Key?
> Is this a typo, "key prime", or something else?
I meant to say Key prime and use it in desugaring of "table".
To rewrite the desugaring, it's:
forall T, Key1 where `T <= num: method foo(x:table[Key1,`T]):void { ... }
where type variable Key1 is not accessible to the programmer.
Vass
>
> ~k
>
> _______________________________________________
> Cecil mailing list
> Cecil@cs.washington.edu
> http://majordomo.cs.washington.edu/mailman/listinfo/cecil
>
_______________________________________________
Cecil mailing list
Cecil@cs.washington.edu
http://majordomo.cs.washington.edu/mailman/listinfo/cecil
This archive was generated by hypermail 2b25 : Fri Mar 30 2001 - 17:08:04 PST