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 (Typeable a, Typeable b) => Deferrable (a ~ b) fails our error is:
Nothing->Left"deferred type equality: type mismatch"
but the user may want some information about the types (we already have their Typeable instances), so why not write:
Nothing->Left$
printf "deferred type equality: type mismatch between ‘%s’ and ‘%s’" (showTr @a) (showTr @b)
whereshowTr::∀t.Typeablet=>String
showTr =show (typeRep @_@tProxy)
The text was updated successfully, but these errors were encountered:
I've implemented the former. The latter may require more thought, as the API would likely need to change to gain a good way to accumulate multiple messages.
When
(Typeable a, Typeable b) => Deferrable (a ~ b)
fails our error is:but the user may want some information about the types (we already have their
Typeable
instances), so why not write:The text was updated successfully, but these errors were encountered: