diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/mir/optimise.cpp | 1 | ||||
| -rw-r--r-- | src/trans/enumerate.cpp | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/src/mir/optimise.cpp b/src/mir/optimise.cpp index edaf0d5d..fd1c9921 100644 --- a/src/mir/optimise.cpp +++ b/src/mir/optimise.cpp @@ -516,6 +516,7 @@ bool MIR_Optimise_Inlining(::MIR::TypeResolve& state, ::MIR::Function& fcn) { static bool can_inline(const ::HIR::Path& path, const ::MIR::Function& fcn) { + // TODO: Allow functions that are just a switch on an input. if( fcn.blocks.size() == 1 ) { return fcn.blocks[0].statements.size() < 5 && ! fcn.blocks[0].terminator.is_Goto(); diff --git a/src/trans/enumerate.cpp b/src/trans/enumerate.cpp index f394d9c6..6a44240c 100644 --- a/src/trans/enumerate.cpp +++ b/src/trans/enumerate.cpp @@ -593,7 +593,7 @@ void Trans_Enumerate_Types(EnumState& state) auto monomorph = [&](const auto& ty)->const auto& { return monomorphise_type_needed(ty) ? tmp = pp.monomorph(tv.m_resolve, ty) : ty; }; - // TODO: Handle erased types in the return type. + // Handle erased types in the return type. if( visit_ty_with(fcn.m_return, [](const auto& x) { return x.m_data.is_ErasedType()||x.m_data.is_Generic(); }) ) { auto ret_ty = clone_ty_with(sp, fcn.m_return, [&](const auto& x, auto& out) { |