On Mon, Apr 23, 2012 at 9:58 AM, Yitzchak Gale <g...@sefer.org> wrote: > 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?" _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users