diff options
| author | Graydon Hoare <[email protected]> | 2010-11-20 22:04:34 -0800 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2010-11-20 22:04:34 -0800 |
| commit | e731520be5d43059b5b87ffc8e1b249e4a824a9a (patch) | |
| tree | 25e073de490a71703744adf9938d0f04d4d84b0a /src | |
| parent | Clean up typechecker file, disable all tests that fail under typechecker. (diff) | |
| download | rust-e731520be5d43059b5b87ffc8e1b249e4a824a9a.tar.xz rust-e731520be5d43059b5b87ffc8e1b249e4a824a9a.zip | |
Add helper function to double-check non-null types.
Diffstat (limited to 'src')
| -rw-r--r-- | src/comp/middle/trans.rs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/comp/middle/trans.rs b/src/comp/middle/trans.rs index 091896fa..b93235f2 100644 --- a/src/comp/middle/trans.rs +++ b/src/comp/middle/trans.rs @@ -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(); } |