<div dir="ltr">I definitely think this should be considered a usage.  Ideally, you should always be able to resolve warnings, but there'd be no straightforward way to do so if LHS-only usages cause warnings.  Also, It's quite useful to use type variables only on the LHS.  Usage example: <a href="https://hackage.haskell.org/package/base-4.8.1.0/docs/src/Data.Type.Equality.html#EqStar">https://hackage.haskell.org/package/base-4.8.1.0/docs/src/Data.Type.Equality.html#EqStar</a><div><div><br></div><div>-Michael</div></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Dec 10, 2015 at 6:48 AM, Jan Stolarek <span dir="ltr"><<a href="mailto:jan.stolarek@p.lodz.pl" target="_blank">jan.stolarek@p.lodz.pl</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">An intersting thing came up when implementing warnings for unused type variables in type family<br>
patterns (#10982 / D1576):<br>
<br>
type family X a b where<br>
  X a a = Int<br>
<br>
Should we emit a warning that `a` is unused? It does not appear in the RHS but it is actually used<br>
because of non-linear pattern. We can fix this by prefixing both appearances of `a` with an<br>
underscore - this silences the warning and maintains semantics. Nevertheless, if a variable is<br>
unused it should be perfectly valid to replace it with an underscore - that is not the case in<br>
this example. Thoughts?<br>
<br>
Janek<br>
<br>
---<br>
Politechnika Łódzka<br>
Lodz University of Technology<br>
<br>
Treść tej wiadomości zawiera informacje przeznaczone tylko dla adresata.<br>
Jeżeli nie jesteście Państwo jej adresatem, bądź otrzymaliście ją przez pomyłkę<br>
prosimy o powiadomienie o tym nadawcy oraz trwałe jej usunięcie.<br>
<br>
This email contains information intended solely for the use of the individual to whom it is addressed.<br>
If you are not the intended recipient or if you have received this message in error,<br>
please notify the sender and delete it from your system.<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><br></div>