Types and values not checked correctly

[lerno]

This is possible:

Foo foo = Foo;

Because we do not check during assignment whether Foo an expression-type or an expression with the type Foo.

[luciusmagn]

tell me, for the sport, what does it compile to? (as in, if it produces any C code) 😃

[lerno]

Compiles to test_Foo foo = test_Foo

[lerno]

Btw I enabled sizeof(Foo.x) where x is a member of Foo. So I first saw this when it swallowed i32 a = Foo.a for exactly the same reasons. I thought it was my code that had the problem but it was a general bug.

But I actually think it would be good to be able have types as first class constructs. I wrote about it in the forum.

[bvdberg]

You mean base types? (as first class constructs) Foo.a should just be an error if a is a real member and not a struct function.

…

On Sat, Dec 1, 2018 at 6:17 PM Christoffer Lerno ***@***.***> wrote: Btw I enabled sizeof(Foo.x) where x is a member of Foo. So I first saw this when it swallowed i32 a = Foo.a for exactly the same reasons. I thought it was my code that had the problem but it was a general bug. But I actually think it would be good to be able have types as first class constructs. I wrote about it in the forum. — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub <#80 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AAC1mnK5sJHhFkeyq6AooHKfvi3WtHOAks5u0rmsgaJpZM4Y89vD> .

[lerno]

No, I mean that the type could be manipulated as an entity and assigned to variables. ”Foo.a” is treated as a reference to the member of Foo called ”a”. For offset, we can then use offset(Foo.a) instead of offset(Foo, a), it also made sizeof(Foo.a) simple to do. So the error for i32 a = Foo.a should be ”cannot assign struct member type to i32” /C

…

On 2 Dec 2018, at 12:09, Bas van den Berg ***@***.***> wrote: You mean base types? (as first class constructs) Foo.a should just be an error if a is a real member and not a struct function. On Sat, Dec 1, 2018 at 6:17 PM Christoffer Lerno ***@***.***> wrote: > Btw I enabled sizeof(Foo.x) where x is a member of Foo. So I first saw > this when it swallowed i32 a = Foo.a for exactly the same reasons. I > thought it was my code that had the problem but it was a general bug. > > But I actually think it would be good to be able have types as first class > constructs. I wrote about it in the forum. > > — > You are receiving this because you are subscribed to this thread. > Reply to this email directly, view it on GitHub > <#80 (comment)>, > or mute the thread > <https://github.com/notifications/unsubscribe-auth/AAC1mnK5sJHhFkeyq6AooHKfvi3WtHOAks5u0rmsgaJpZM4Y89vD> > . > — You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub <#80 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AABtVXjWam45EndfY9h2ijLwq9EZxdNgks5u07UDgaJpZM4Y89vD>.