how to do typedef's ?

[Per Bothner]

Felix Klock wrote:
> I have to say, I never would have thought of Types as being L-values's. 
>  I mean, it really seems to me like Kawa is conflating two concepts that 
> really don't go together...
> 
> But, since the code is already going to be Kawa specific (and in its own 
> seperate file to boot), I can cope with some aesthetic ugliness in it.

"alias" does not necessarily mean "lvalue".  It means "equivalent to".
On the other hand, I won't claim that I can define a clean formal
semantics for it...

(define NAME TYPE) isn't any better, since (define ...) creates
a (modifiable) lvalue.  Perhaps define-constant would make most sense.
-- 
	--Per Bothner
per@bothner.com   http://www.bothner.com/per/