Am 26.08.2013 19:03, schrieb Gabriel Gonzalez:
May I propose an alternative solution? Why not just add a syntactic way to selectively opt in or out of `OverloadedStrings` for certain string literals? It could be something as simple as Python's trick for prefixing string literals with a single character to either enable or disable the overloading:
example1 :: Int example1 = length "Non-overloaded string"
example2 :: Parser Int example2 = o"Overloaded string" *> pure 4
... but it doesn't have to be that specific solution. All that really matters is that it is syntactically lightweight.
This "opting in" already exists: Just put a space between o and the quotation mark and define "o = fromString". It's Haskell 98. I would prefer that solution to all syntactic extension experiments.