Re: [scheme-reports-wg2] Re: R7RS-large discussion: Basic Types and Sorting John Cowan (08 Jun 2016 14:15 UTC)

Re: [scheme-reports-wg2] Re: R7RS-large discussion: Basic Types and Sorting John Cowan 08 Jun 2016 14:15 UTC

Per Bothner scripsit:

> Mostly.  I also propose that string literals (and other immutable
> strings in R7RS-large) have type text.   I,e, (text? "foo") => #t.

That can't be implemented portably, because there is no portable
way to detect an R7RS-immutable string, and some Schemes don't
even have the concept of distinguishing between ordinary and
R7RS-immutable strings.

--
John Cowan          http://www.ccil.org/~cowan        xxxxxx@ccil.org
Normally I can handle panic attacks on my own; but panic is, at the moment,
a way of life.                 --Joseph Zitt