<!DOCTYPE html>
<html>
<head>
<title></title>
</head>
<body><div>When you pulled the latest version from git did you pull both arcanist and libphutil? I think I saw a similar error when I missed one. Also `arc upgrade` should do the right thing for you (in the future).<br></div>
<div> </div>
<div>~adam<br></div>
<div> </div>
<div> </div>
<div>On Thu, 29 Oct 2015, at 09:23 PM, Iavor Diatchki wrote:<br></div>
<blockquote type="cite"><div dir="ltr"><div>Hello,<br></div>
<div> </div>
<div>I've updated the implementation to match the discussion from this morning. The idea is that `TypeError msd` is a type-family that can never be reduced, similar to `Any`. We don't do anything special in the constraint solver, however when printing errors, if we encounter any constraints of the form:<br></div>
<div> * TypeError msg<br></div>
<div> * TypeError msg ~ Something<br></div>
<div> * Something ~ TypeError msg<br></div>
<div> </div>
<div>Then we evaluate `msg` and use it as the error message.<br></div>
<div> </div>
<div>This is fairly simple, and appears to work quite well. The implementation is on branch `wip/custom-type-errors` (<a href="https://github.com/ghc/ghc/tree/wip/custom-type-errors">https://github.com/ghc/ghc/tree/wip/custom-type-errors</a>).<br></div>
<div> </div>
<div> </div>
<div>== Arc Difficulties Below ===<br></div>
<div> </div>
<div>I tried to update the Phabricator patch but failed. This is what I did:<br></div>
<div> </div>
<div>1. arc diff master --update D1236 --head custom-type-errors<br></div>
<div> </div>
<div><div>Exception<br></div>
<div>ERR-CONDUIT-CALL: API Method "differential.creatediff" does not define these parameters: 'arcanistProject'.<br></div>
<div>(Run with `--trace` for a full exception trace.)<br></div>
</div>
<div> </div>
<div>2. I thought that maybe I need to update `arcanist`, so I pulled the latest version for git.<br></div>
<div> </div>
<div>3. arc diff master --update D1236 --head custom-type-errors<br></div>
<div> </div>
<div><div>Exception<br></div>
<div>Failed to load class or interface 'PhutilClassMapQuery': the class or interface 'PhutilClassMapQuery' is not defined in the library map for any loaded phutil library. If this symbol was recently added or moved, your library map may be out of date. You can rebuild the map by running 'arc liberate'. For more information, see: <a href="http://www.phabricator.com/docs/phabricator/article/libphutil_Libraries_User_Guide.html">http://www.phabricator.com/docs/phabricator/article/libphutil_Libraries_User_Guide.html</a><br></div>
<div>(Run with `--trace` for a full exception trace.)<br></div>
</div>
<div> </div>
<div>4. arc liberate<br></div>
<div> </div>
<div><div>Exception<br></div>
<div>Failed to load class or interface 'PhutilClassMapQuery': the class or interface 'PhutilClassMapQuery' is not defined in the library map for any loaded phutil library. If this symbol was recently added or moved, your library map may be out of date. You can rebuild the map by running 'arc liberate'. For more information, see: <a href="http://www.phabricator.com/docs/phabricator/article/libphutil_Libraries_User_Guide.html">http://www.phabricator.com/docs/phabricator/article/libphutil_Libraries_User_Guide.html</a><br></div>
<div>(Run with `--trace` for a full exception trace.)<br></div>
</div>
<div> </div>
<div> </div>
<div>Any advice on what I am doing wrong?<br></div>
<div> </div>
<div>-Iavor<br></div>
<div> </div>
<div> </div>
<div> </div>
<div> </div>
<div> </div>
<div> </div>
<div> </div>
<div> </div>
<div> </div>
<div> </div>
<div> </div>
<div> </div>
<div> </div>
<div> </div>
<div> </div>
<div> </div>
<div> </div>
<div> </div>
<div> </div>
</div>
<div><div> </div>
<div><div>On Wed, Oct 28, 2015 at 10:17 AM, Iavor Diatchki <span dir="ltr"><<a href="mailto:iavor.diatchki@gmail.com">iavor.diatchki@gmail.com</a>></span> wrote:<br></div>
<blockquote style="margin-top:0px;margin-right:0px;margin-bottom:0px;margin-left:0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204, 204, 204);padding-left:1ex;"><div dir="ltr"><div>I have also written my thoughts on the questions posed by Richard on the wiki page.<br></div>
<div> </div>
<div> </div>
<div> </div>
</div>
<div><div><div><div> </div>
<div><div>On Wed, Oct 28, 2015 at 7:07 AM, Richard Eisenberg <span dir="ltr"><<a href="mailto:eir@cis.upenn.edu">eir@cis.upenn.edu</a>></span> wrote:<br></div>
<blockquote style="margin-top:0px;margin-right:0px;margin-bottom:0px;margin-left:0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204, 204, 204);padding-left:1ex;"><span><br>
On Oct 28, 2015, at 10:02 AM, "Augustsson, Lennart" <<a href="mailto:Lennart.Augustsson@sc.com">Lennart.Augustsson@sc.com</a>> wrote:<br> <br>
> I've put in my answers to your questions.<br> <br></span>And I've responded.</blockquote></div>
</div>
</div>
</div>
</blockquote></div>
</div>
<div><u>_______________________________________________</u><br></div>
<div>ghc-devs mailing list<br></div>
<div><a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br></div>
<div><a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br></div>
</blockquote><div> </div>
</body>
</html>