Remove typechecker work-arounds now that I know how

This commit is contained in:
Marijn Haverbeke
2011-07-22 20:15:35 +02:00
parent 07732545d2
commit 5cdb010fae
2 changed files with 2 additions and 3 deletions
+1 -1
View File
@@ -1549,7 +1549,7 @@ fn float_width(TypeRef llt) -> uint {
2 { 64u }
3 { 80u }
4 | 5 { 128u }
_ { fail "llvm_float_width called on a non-float type"; 0u }
_ { fail "llvm_float_width called on a non-float type" }
};
}
+1 -2
View File
@@ -4465,8 +4465,7 @@ fn t_kind(&ty::ctxt tcx, ty::t t) -> kind {
e_res.bcx.build.PointerCast(e_res.val, ll_t_out)
}
_ {
ccx.sess.bug("Translating unsupported cast.");
C_nil() // FIXME the typechecker doesn't seem to understand _|_ here
ccx.sess.bug("Translating unsupported cast.")
}
};
ret rslt(e_res.bcx, newval);