<p dir="ltr">I wanted to add that synonym expansion would be especially helpful in error-messages like:</p>
<p dir="ltr">Expected type: <non-expanded, small type, like "Producer a m ()"><br>
Actual type: <your type, like "Proxy a a' b b' m v"></p>
<p dir="ltr">I would be glad if we could have an expansions enabling flag in GHC, and could consider turning it on by default if it will look good for that.</p>
<div class="gmail_quote">16 черв. 2015 22:44 "Richard Eisenberg" <<a href="mailto:eir@cis.upenn.edu">eir@cis.upenn.edu</a>> пише:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">GHC tries hard to preserve type synonyms where possible, but of course, it can't preserve all of them. The general rule it tries to follow is: preserve vanilla type synonyms; expand type families. This is true both in expected types and actual types.<br>
If you have a case where you believe that GHC could preserve a type synonym in an expected type, submit a bug report. (Note that constraint synonyms are particularly hard to preserve!)<br>
<br>
It would be very easy to report both the synonym-preserving form and the expanded form in an error report, at the cost of making error reports even more verbose. You're welcome to submit a feature request, and this would likely make a good first patch to GHC if you want to get your hands dirty. I'd personally prefer the feature to be protected behind a flag (to avoid seeing that `String` expands to `[Char]` everywhere, for example), but others may feel differently here.<br>
<br>
Richard<br>
<br>
On Jun 16, 2015, at 11:20 AM, Ömer Sinan Ağacan <<a href="mailto:omeragacan@gmail.com">omeragacan@gmail.com</a>> wrote:<br>
<br>
> Hi all,<br>
><br>
> While working with complex types with lots of arguments etc. errors are<br>
> becoming annoying very fast. For example, GHC prints errors in this way:<br>
><br>
>    Expected type: <type without any synonyms><br>
>      Actual type: <type with synonyms><br>
><br>
> Now I have to expand that synonym in my head to understand the error.<br>
><br>
> I was wondering if implementing something like this is possible:<br>
><br>
> In type error messages, GHC also prints types that are cleaned from type<br>
> synonyms. Maybe something like this:<br>
><br>
>         Expected type: <type1><br>
>    (without synonyms): <type1, synonyms are expanded><br>
>           Actual type: <type2><br>
>    (without synonyms): <type2, synonyms are expanded><br>
><br>
> If this is not always desirable for some reason, we can hide this behavior<br>
> behind a flag.<br>
><br>
> What do GHC devs think about this? Is this, in theory, possible to do? How hard<br>
> would it be to implement this?<br>
><br>
> Thanks.<br>
> _______________________________________________<br>
> ghc-devs mailing list<br>
> <a href="mailto:ghc-devs@haskell.org">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>
<br>
_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org">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>