<div dir="ltr"><div>were you using the same version of vector in both setups?</div><div><br></div>in the most recent  vector release  we made mutable type family injective in the vector package for ghc's that support it ...</div><br><div class="gmail_quote"><div dir="ltr">On Sat, Dec 29, 2018 at 1:50 PM Dominick Samperi <<a href="mailto:djsamperi@gmail.com">djsamperi@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">When I use v8.6.3 of GHC under Ubuntu to install the inline-r package<br>
I get the error "Type family equation violates injectivity annotation," and<br>
a type variable on the LHS cannot be inferred from the RHS, due to<br>
the lack of injectivity (I suppose).<br>
<br>
On the other hand, v8.0.2 of GHC (shipped with Haskell Platform under<br>
Ubuntu) does not have this problem (it has other problems).<br>
<br>
Has something changed in the latest version of the compiler that might<br>
cause this? Possible work-around?<br>
<br>
FYI, the line that triggers the error is:<br>
type instance G.Mutable (W t ty s) = Mutable.W t ty<br>
<br>
The variable that cannot be inferred is 's'.<br>
<br>
Thanks,<br>
Dominick<br>
_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org" target="_blank">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>