That’s a good idea. Default witness tables are still not 100% done and need
some work. I’ll be sure to revisit the printing part too.
Slava
> On Dec 17, 2016, at 9:52 PM, Michael Gottesman wrote:
>
> Hey Slava.
>
> I just noticed that when we print out the SIL for
Awesome!
Michael
> On Dec 18, 2016, at 12:26 AM, Slava Pestov wrote:
>
> That’s a good idea. Default witness tables are still not 100% done and need
> some work. I’ll be sure to revisit the printing part too.
>
> Slava
>
>> On Dec 17, 2016, at 9:52 PM, Michael Gottesman
Hey Slava.
I just noticed that when we print out the SIL for default witness tables:
sil_default_witness_table _CVarArgAligned {
no_default
no_default
}
This really does not provide any information. Is it possible to include the
requirement, but not the SILFunction. Then we could do this: