From c48b9ea73a89a08d2326478fa99e0a2598dae2d0 Mon Sep 17 00:00:00 2001 From: John Hodge Date: Sun, 12 Jun 2016 23:44:06 +0800 Subject: HIR Typecheck - TODO cleanup --- src/hir_typeck/expr.cpp | 14 +++++++++++--- 1 file changed, 11 insertions(+), 3 deletions(-) diff --git a/src/hir_typeck/expr.cpp b/src/hir_typeck/expr.cpp index 90ac7917..2388e353 100644 --- a/src/hir_typeck/expr.cpp +++ b/src/hir_typeck/expr.cpp @@ -72,7 +72,7 @@ namespace typeck { return false; ), (Array, - TODO(Span(), "Array - " << tpl); + return monomorphise_type_needed(*e.inner); ), (Slice, return monomorphise_type_needed(*e.inner); @@ -91,10 +91,18 @@ namespace typeck { return monomorphise_type_needed(*e.inner); ), (Function, - TODO(Span(), "Function - " << tpl); + for(const auto& ty : e.m_arg_types) { + if( monomorphise_type_needed(ty) ) + return true; + } + return monomorphise_type_needed(*e.m_rettype); ), (Closure, - TODO(Span(), "Closure - " << tpl); + for(const auto& ty : e.m_arg_types) { + if( monomorphise_type_needed(ty) ) + return true; + } + return monomorphise_type_needed(*e.m_rettype); ) ) throw ""; -- cgit v1.2.3