Add helper function to double-check non-null types.

This commit is contained in:
Graydon Hoare 2010-11-20 22:04:34 -08:00
parent 244c59ac20
commit e731520be5

View file

@ -239,6 +239,12 @@ fn T_taskptr() -> TypeRef {
}
fn type_of(@trans_ctxt cx, @typeck.ty t) -> TypeRef {
let TypeRef llty = type_of_inner(cx, t);
check (llty as int != 0);
ret llty;
}
fn type_of_inner(@trans_ctxt cx, @typeck.ty t) -> TypeRef {
alt (t.struct) {
case (typeck.ty_nil) { ret T_nil(); }
case (typeck.ty_bool) { ret T_bool(); }