[LLVMdev] IR type safety

[Renato Golin]

On 21 September 2010 23:00, Eugene Toder <eltoder at gmail.com> wrote:
> Btw arguably this is not a type safety problem -- either way the code
> is "safe" since you can't access a value using incompatible view (e.g.
> pointer as double).

Hi Eugene, Scott,

Point taken. The type system is safe, it's just not nominal. As Scott
said, if you need a nominal type system, you have to use something
else.

Thanks!

-- 
cheers,
--renato

http://systemcall.org/

Reclaim your digital rights, eliminate DRM, learn more at
http://www.defectivebydesign.org/what_is_drm