2016-07-19 9:57 GMT+00:00 Simon Peyton Jones <simonpj at microsoft.com>: > Is there a ticket? A wiki page with a specification? I updated the user manual. There's no wiki, it just adds supports for SCC annotations at the top-level.