Re: default instance for IsString

Simon Marlow wrote:

In this thread people are using the term "safe" to mean "total".  We already overload "safe" too much, might it be a better idea to use "total" instead?

I'm not sure what you're talking about. I don't see how this thread has anything to do with total vs. partial functions. I'm saying that the static syntax of string literals should be checked at compile time, not at run time. Isn't that simple enough, and self-evident? Thanks, Yitz