
24 Apr
2012
24 Apr
'12
7:45 a.m.
On Tue, Apr 24, 2012 at 9:26 AM, Yitzchak Gale
However, what I can do is raise the red flag. Some people are pushing things in directions which would cause OverloadStrings to become more and more ubiquitous, perhaps even the default. I want to make sure that the people who are doing that are aware of the deep problems with that approach.
Sure, as much as anyone else, I want string literals that can be typed as Text. But not at the cost of delaying syntax checking to run time.
What can go wrong when you use an overloaded string to be fromString'd into Text? -- Markus Läll