[bitc-dev] Primary string type

[Jonathan S. Shapiro]

On Thu, 2006-05-18 at 23:38 -0400, Swaroop Sridhar wrote:
> I just noticed that the string type is not listed in
> Section 3.2 Primary Types. This is probably because we initially defined 
> string as (vector char) but subsequently changed over to a primitive 
> string type.

String isn't a primary type. It is a sequence type.

That having been said, I agree that it needs to be added. However, what
to add is not straightforward. We need first to discuss string literals
and their relationship to mutability.

This discussion needs to happen on bitc-dev, so I am CC'ing the list on
this reply.