You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When a code requires PrimBytes (DataFrame t ds), GHC uses a deriving instance PrimBytes (Array t ds) => PrimBytes (DataFrame t ds),
which, in turn, requires PrimBytes (Array t ds). Array t ds is a type family; only individual members of the type family have the instance.
To make things worse, there are other instances of PrimBytes defined in easytensor-vulkan.
And GHC starts to panic (Overlapping instances for PrimBytes).
Need to try to reconsider a combination of TypeError and OverlappingInstances to improve this.
When a code requires
PrimBytes (DataFrame t ds)
, GHC uses aderiving instance PrimBytes (Array t ds) => PrimBytes (DataFrame t ds)
,which, in turn, requires
PrimBytes (Array t ds)
.Array t ds
is a type family; only individual members of the type family have the instance.To make things worse, there are other instances of
PrimBytes
defined ineasytensor-vulkan
.And GHC starts to panic (
Overlapping instances for PrimBytes
).Need to try to reconsider a combination of
TypeError
andOverlappingInstances
to improve this.The issue comes from a comment #4 (comment).
The text was updated successfully, but these errors were encountered: