diff options
| author | John Hodge <tpg@mutabah.net> | 2016-06-12 00:32:31 +0800 |
|---|---|---|
| committer | John Hodge <tpg@mutabah.net> | 2016-06-12 00:32:31 +0800 |
| commit | 1c3f5cd57013c067cfea41f26c28f93b451b6b84 (patch) | |
| tree | 49da89c89f090939900a697af8b32ed82b6e0612 /src/hir | |
| parent | f9e2d4130f6936c302069cab2681bca3c0bb0f55 (diff) | |
| download | mrust-1c3f5cd57013c067cfea41f26c28f93b451b6b84.tar.gz | |
HIR Typecheck - Restructure handling of primtives in BinOp
Diffstat (limited to 'src/hir')
| -rw-r--r-- | src/hir/type.cpp | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/hir/type.cpp b/src/hir/type.cpp index 6e85b1aa..b672c43f 100644 --- a/src/hir/type.cpp +++ b/src/hir/type.cpp @@ -301,7 +301,9 @@ bool ::HIR::TypeRef::match_test_generics(const Span& sp, const ::HIR::TypeRef& x switch(xe.ty_class) { case ::HIR::InferClass::None: - break; + // - If right is generic infer, assume it's good + //return true; + return false; case ::HIR::InferClass::Integer: TU_IFLET(::HIR::TypeRef::Data, m_data, Primitive, te, switch(te) @@ -313,6 +315,7 @@ bool ::HIR::TypeRef::match_test_generics(const Span& sp, const ::HIR::TypeRef& x case ::HIR::CoreType::Isize: case ::HIR::CoreType::Usize: return true; default: + DEBUG("- Fuzz fail"); break; } ) @@ -325,6 +328,7 @@ bool ::HIR::TypeRef::match_test_generics(const Span& sp, const ::HIR::TypeRef& x case ::HIR::CoreType::F64: return true; default: + DEBUG("- Fuzz fail"); break; } ) @@ -332,6 +336,7 @@ bool ::HIR::TypeRef::match_test_generics(const Span& sp, const ::HIR::TypeRef& x } ) if( m_data.tag() != x.m_data.tag() ) { + DEBUG("- Tag mismatch " << *this << " and " << x); return false; } TU_MATCH(::HIR::TypeRef::Data, (m_data, x.m_data), (te, xe), |