The main thing I'd add, which applies to all proposals is this: * If a proposal requires a change to Core, that change should be described rather precisely. The justification for this is in my comments on the linear-types thread. Simon | -----Original Message----- | From: ghc-steering-committee [mailto:ghc-steering-committee- | bounces@haskell.org] On Behalf Of Joachim Breitner | Sent: 27 November 2017 14:54 | To: ghc-steering-committee@haskell.org | Subject: [ghc-steering-committee] What do we need from the linear-types | proposal? | | Dear committee, | | Mathieu Boespflug asks on | https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.c | om%2Fghc-proposals%2Fghc-proposals%2Fpull%2F91%23issuecomment- | 347123204&data=02%7C01%7Csimonpj%40microsoft.com%7C44b56cc9019549c8dc5f08 | d535a6ad85%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C63647391234812744 | 2&sdata=LqVQJviHF8Wxbc3QHiPWe2C2pK%2FTXX12GbmxPLJEOi0%3D&reserved=0 | | > Could the Committee define the items it expects before it can make a | > determination about this proposal? We've heard in this thread members | > of the Committee ask for a fleshed out linear base, more examples than | > are already in the proposal and in the paper, and also full code from | > other users at large. I can certainly understand where they are coming | > from. But at the same time, I am concerned about scope creep. | > Defining where the goal posts are from now would certainly help. | | and I am not sure what to reply here… but “we’ll know that once we made a | determination” is probably not helpful. | | Does anyone here feel like he could define the requirements that are | necessary to allow us to consider the proposal properly? | | Thanks, | Joachim | | | -- | Joachim Breitner | mail@joachim-breitner.de | | https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.joach | im- | breitner.de%2F&data=02%7C01%7Csimonpj%40microsoft.com%7C44b56cc9019549c8d | c5f08d535a6ad85%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636473912348 | 127442&sdata=zDtUrSDruKvFJWEKfJHXeISRDM21q9juzyBdyjLYUzs%3D&reserved=0