23 Apr
2012
23 Apr
'12
6:34 p.m.
On Mon, Apr 23, 2012 at 9:58 AM, Yitzchak Gale
In addition, OverloadedStrings is unsound.
No. OverloadedStrings treats string literals as applications of fromString to character list constants. fromString can throw errors, just like fromInteger; this is no less sound than any Haskell function throwing an exception. /g -- "Would you be so kind as to remove the apricots from the mashed potatoes?"