<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div>I'm trying to google the System IF spj mentioned earlier in this topic/ or on trac. Google and other search tools are failing me. Can anyone kindly direct me to what papers or expositions on this system f variant ?<br><br>-Carter</div><div><br>On Sep 25, 2016, at 10:59 AM, Carter Schonwald <<a href="mailto:carter.schonwald@gmail.com">carter.schonwald@gmail.com</a>> wrote:<br><br></div><blockquote type="cite"><div>Also this whole multi arg thing was something I was hoping to talk with Stephanie and or Richard about at hac phi next month. <span></span><br><br>On Sunday, September 25, 2016, Carter Schonwald <<a href="mailto:carter.schonwald@gmail.com">carter.schonwald@gmail.com</a>> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I'm in favor as well. <div><br></div><div>I've some experiments I'd like to do on ghc (and that work would support me focusing on!!!) that become dramatically simpler to get the the Simons seal of approval if core already gets multiple arg / simultaneous arg saturated application (a la type are calling or sequent core ). </div><div>:)</div><div>-Carter <span></span><br><br>On Saturday, September 24, 2016, Manuel M T Chakravarty <<a href="javascript:_e(%7B%7D,'cvml','chak@justtesting.org');" target="_blank">chak@justtesting.org</a>> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word">I like this. Having the DataCon only in IdDetails always felt a bit off.<div><br></div><div>Manuel</div><div><br><div><blockquote type="cite"><div>Simon Peyton Jones via ghc-devs <<a>ghc-devs@haskell.org</a>>:</div><br><div><div style="font-family:Helvetica;font-size:16px;font-style:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">Andres, Richard, Stephanie<u></u><u></u></div><div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif"><u></u> <u></u></div><div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">The more I think about our idea of introducing ConApp the more I like it. I wrote it up in a ticket<u></u><u></u></div><div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif"><u></u> <u></u></div><div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif"><a href="https://ghc.haskell.org/trac/ghc/ticket/12618" style="color:rgb(149,79,114);text-decoration:underline" target="_blank">https://ghc.haskell.org/trac/g<wbr>hc/ticket/12618</a><u></u><u></u></div><div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif"><u></u> <u></u></div><div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif">Simon<u></u><u></u></div><div style="margin:0cm 0cm 0.0001pt;font-size:11pt;font-family:Calibri,sans-serif"><u></u> <u></u></div></div><span style="font-family:Helvetica;font-size:16px;font-style:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;float:none;display:inline!important">______________________________<wbr>_________________</span><br style="font-family:Helvetica;font-size:16px;font-style:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><span style="font-family:Helvetica;font-size:16px;font-style:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;float:none;display:inline!important">ghc-devs mailing list</span><br style="font-family:Helvetica;font-size:16px;font-style:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><a style="color:rgb(149,79,114);text-decoration:underline;font-family:Helvetica;font-size:16px;font-style:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px">ghc-devs@haskell.org</a><br style="font-family:Helvetica;font-size:16px;font-style:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px"><a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" style="color:rgb(149,79,114);text-decoration:underline;font-family:Helvetica;font-size:16px;font-style:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px" target="_blank">http://mail.haskell.org/cgi-bi<wbr>n/mailman/listinfo/ghc-devs</a></div></blockquote></div><br></div></div></blockquote></div>
</blockquote>
</div></blockquote></body></html>