default instance for IsString
allbery.b at gmail.com
Tue Apr 24 08:27:36 CEST 2012
On Tue, Apr 24, 2012 at 02:14, J. Garrett Morris <jgmorris at cs.pdx.edu>wrote:
> On Mon, Apr 23, 2012 at 11:10 PM, Yitzchak Gale <gale at sefer.org> wrote:
> > This is true; the use of polymorphism for numeric literals is also
> > unsound.
> By this logic, head is "unsound", since head  throws an error.
Oddly enough, it's actually widely recognized that non-total functions like
`head` pose problems. it still remains that string (or indeed numeric)
literals are not expected to cause runtime exceptions.
brandon s allbery allbery.b at gmail.com
wandering unix systems administrator (available) (412) 475-9364 vm/sms
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Glasgow-haskell-users