[swift-dev] Proposal: Opaque SIL values

[Andrew Trick]

I’m sending out a proposal for fundamentally changing SIL. This work feeds into generic code optimization, resilience, semantic ARC, and SIL ownership. This was discussed at length back in October—some info went out on swift-dev—but I realized there hasn’t been a formal proposal. So here it is. I want to make sure enough people have seen this before pushing my PR that puts the infrastructure in place: https://github.com/apple/swift/pull/6922 <https://github.com/apple/swift/pull/6922>.

Rendered Proposal: https://gist.github.com/atrick/38063a90bf4a6ebae05fe83ea9ebc0b7 <https://gist.github.com/atrick/38063a90bf4a6ebae05fe83ea9ebc0b7>

Markdown:


-Andy
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-dev/attachments/20170124/91373a25/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: silval-proposal-1.md
Type: text/markdown
Size: 12119 bytes
Desc: not available
URL: <https://lists.swift.org/pipermail/swift-dev/attachments/20170124/91373a25/attachment.bin>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-dev/attachments/20170124/91373a25/attachment-0001.html>