From c2aedab7b60ca3e6c293b7d022897aee0661db21 Mon Sep 17 00:00:00 2001 From: John Hodge Date: Tue, 23 Aug 2016 17:32:29 +0800 Subject: HIR Typecheck - Require span for type_is_copy --- src/mir/from_hir.hpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/mir/from_hir.hpp') diff --git a/src/mir/from_hir.hpp b/src/mir/from_hir.hpp index ae9c80c8..3fd3c055 100644 --- a/src/mir/from_hir.hpp +++ b/src/mir/from_hir.hpp @@ -147,7 +147,7 @@ public: /// Introduce a new variable within the current scope void define_variable(unsigned int idx); // Helper - Marks a variable/... as moved (and checks if the move is valid) - void moved_lvalue(const ::MIR::LValue& lv); + void moved_lvalue(const Span& sp, const ::MIR::LValue& lv); private: VarState get_variable_state(unsigned int idx) const; void set_variable_state(unsigned int idx, VarState state); @@ -158,7 +158,7 @@ private: void complete_scope(ScopeDef& sd); void with_val_type(const ::MIR::LValue& val, ::std::function cb); - bool lvalue_is_copy(const ::MIR::LValue& lv); + bool lvalue_is_copy(const Span& sp, const ::MIR::LValue& lv); }; class MirConverter: -- cgit v1.2.3