type-check let

[leissa]

Implemented missing type check for let decl

[fodinabor]

So this should allow .let [a:%core.i32, b:%core.i8] = (48:%core.i32, 3:%core.i8); and would complain about .let [a:%core.i32, b:%core.i8] = (48:%core.i32, 3:%core.i32); ?

[leissa]

So this should allow .let [a:%core.i32, b:%core.i8] = (48:%core.i32, 3:%core.i8); and would complain about .let [a:%core.i32, b:%core.i8] = (48:%core.i32, 3:%core.i32); ?

yes