default instance for IsString

[Markus Läll]

On Tue, Apr 24, 2012 at 9:26 AM, Yitzchak Gale <gale at sefer.org> wrote:
> 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