The numeric c types are (effectively) integral, too.
lemming at henning-thielemann.de
Wed Mar 27 23:20:18 CET 2013
On Wed, 27 Mar 2013, Jeff Shaw wrote:
> Your argument can also be used to say that C values with the unit "grapheme"
> shouldn't be allowed division, either. However, they are. Do you think we
> should remove the Integral instance for CChar?
Would be better.
> Furthermore, CTime is an instance of Num, which means that you can do
> multiplication on CTime values. Do you think we should remove that? After
> all, Time * Time is Time ^2, not Time.
If someone had asked me, I would have reject it.
More information about the Libraries