On Sat, 2007-02-10 at 23:40 -0500, Chris King wrote:
> On 2/10/07, skaller <[EMAIL PROTECTED]> wrote:
> > Note you can *construct* a character from a string literal
> > or integer ..
> >
> >         char "H"
> >
> > makes the character 'H' .. but it isn't really the same
> > as a character literal.
> 
> Could it be?  Is the preprocessor / compiler capable of optimizing
> something like that, or of the form c"H"?  The syntax doesn't bother
> me in the least, so I too see no need to waste backticks on it.

Unfortunately c"H" is already taken to mean a C null terminated
string thingo, whereas "H" is actually a C++ string. Also note
need for unicode variant.

> 
> > The type a^0 is equal to 0 and has no values so there
> > is no way to write a value of that type -- none exist :)
> 
> Actually this is how I found the uninitialized val bug... I was seeing
> if it was possible to declare a val of type 0 by leaving off the
> initializer :)

Lol!

> > The type a^1 is equal to a.
> 
> I think what bothered me more was that the compiler actually does
> distinguish between the above types; e.g.
> 
> val a: int^1 = 42;
> 
> generates a type error.

That's a bug .. forgot to reduce the type to canonical form.
Fixed! Thanks! There'll be more cases of this: the reduce_type
function has to be applied to just about every type expression.


-- 
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net

-------------------------------------------------------------------------
Using Tomcat but need to do more? Need to support web services, security?
Get stuff done quickly with pre-integrated technology to make your job easier.
Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronimo
http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642
_______________________________________________
Felix-language mailing list
Felix-language@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/felix-language

Reply via email to