<div><div dir="auto">Even aside from committee feedback easily being weeks away for such a complex proposal, I’m also concerned about how the current proposed design changes to core seem a bit fragile with linear types.  Perhaps I’m misunderstanding some of the current planned details , but I’m fairly confident that I’ve got a median or better comprehension. </div><div dir="auto"><br></div><div dir="auto">Type checking as if the code were inlined (per join points and related case expressions as the linear core doc says ) tends to be a symptom of the types not quite modelling the right information.  Likewise would not that sort of checking create a possible quadratic blowup when linting/ type checking core? (And quadratic blowups are bad when debugging/checking  possibly large core programs in the core of any ghc debugging or the like !) </div><div dir="auto"><br></div><div dir="auto">That said, putting a check point on phab for feedback of a technical sort is def something that would help.  The ghc proposal spec is vaguer than I’d like for something like this.  And a lot of important details I care about will be visible in the code that are lacking in the associated proposal and paper. </div><br><div class="gmail_quote"><div>On Mon, May 14, 2018 at 11:02 AM Ben Gamari <<a href="mailto:ben@well-typed.com">ben@well-typed.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Matthew Pickering <<a href="mailto:matthewtpickering@gmail.com" target="_blank">matthewtpickering@gmail.com</a>> writes:<br>
<br>
> Perhaps Nested CPR will be ready :) ? <a href="https://phabricator.haskell.org/D4244" rel="noreferrer" target="_blank">https://phabricator.haskell.org/D4244</a><br>
><br>
> I am also working on the linear types branch. Arnaud is quite keen for<br>
> it to be ready for 8.6 but we still have a bit to go.<br>
><br>
I'll admit that I'm a bit worried that the linear types branch may be a<br>
bit late given that the proposal only went to the committee last week.<br>
That being said, I'm happy to keep all options on the table.<br>
<br>
Regardless, it might be a good idea to put up a patch sooner rather than<br>
later so we can begin the review process.<br>
<br>
Cheers,<br>
<br>
- Ben<br>
_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</blockquote></div></div>