Re: [swift-dev] Including the requirement, but not the SILFunction in default witness tables

2016-12-18 Thread Slava Pestov via swift-dev
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

Re: [swift-dev] Including the requirement, but not the SILFunction in default witness tables

2016-12-18 Thread Michael Gottesman via swift-dev
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