24 Jun 2012 12:29
Re: How do I perform exactly one step of dealiasing?
I just found AliasTypeRef.betaReduce. This seems to do the trick.
On 24 June 2012 12:26, Adriaan Moors <adriaan.moors-p8DiymsW2f8@public.gmane.org> wrote:
note that you should probably do prefix.memberInfo(symbolOfC)On Sat, Jun 23, 2012 at 5:18 PM, Eugene Burmako <eugene.burmako-p8DiymsW2f8@public.gmane.org> wrote:True that. Thanks!On 23 June 2012 07:37, Paul Phillips <paulp <at> improving.org> wrote:On Fri, Jun 22, 2012 at 10:35 AM, Eugene Burmako <eugene.burmako-p8DiymsW2f8@public.gmane.org> wrote:1) type C = B; type B = A; class A
2) TypeRef(<prefix>, <symbol of C>, Nil)
How do I get TypeRef(<prefix>, <symbol of B>, Nil)?
tpe.dealias gives me a TypeRef to A.It's late, but pretty sure the info of the alias symbol C is B.
RSS Feed