<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
This works. Thank you!<br>
<br>
<div class="moz-cite-prefix">On 04/19/2018 01:42 AM, Reto Achermann
wrote:<br>
</div>
<blockquote
cite="mid:c8505c64-fa18-25f5-f5ba-77b02c2c5213@inf.ethz.ch"
type="cite">Hi Simon,
<br>
<br>
Please try the attached patch.
<br>
<br>
It seems to work in 8.0.2 (Ubuntu 17.10). We will integrate a
cleaned up version of this patch into mainline on the switch to
18.04 LTS.
<br>
<br>
-- Reto
<br>
<br>
On 04/18/2018 10:17 PM, Simon Peter wrote:
<br>
<blockquote type="cite">Hi folks,
<br>
<br>
Just wondering if there's already GHC 8.x support lingering
around somewhere? Most Linux distributions have updated to it.
<br>
<br>
It doesn't appear to be working out of the box, primarily
because Template Haskell has changed what's returned when an Exp
is parsed (there's now some additional source line information
returned). I tried to fix it (as it doesn't look too complex)
but my Haskell skills appear to have faded over the years
(sad!), so I gave up after spending a few hours. Any thoughts
would be highly appreciated.
<br>
<br>
Cheers,
<br>
Simon
<br>
_______________________________________________
<br>
Barrelfish-users mailing list
<br>
<a class="moz-txt-link-abbreviated" href="mailto:Barrelfish-users@lists.inf.ethz.ch">Barrelfish-users@lists.inf.ethz.ch</a>
<br>
<a class="moz-txt-link-freetext" href="https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users">https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users</a>
<br>
</blockquote>
<br>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
Barrelfish-users mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Barrelfish-users@lists.inf.ethz.ch">Barrelfish-users@lists.inf.ethz.ch</a>
<a class="moz-txt-link-freetext" href="https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users">https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users</a>
</pre>
</blockquote>
<br>
</body>
</html>