# Buggy code
def match(self, interp, block, typemap, calltypes):
    """
    Look for potential macros for expand and store their expansions.
    """
    self.block = block
    self.rewrites = rewrites = {}

    for inst in block.body:
        if isinstance(inst, ir.Assign):
            rhs = inst.value
            if (
                isinstance(rhs, ir.Expr)
                and rhs.op == "call"
                and isinstance(rhs.func, ir.Var)
            ):
                # Is it a callable macro?
                try:
                    const = interp.infer_constant(rhs.func)
                except errors.ConstantInferenceError:
                    continue
                if isinstance(const, Macro):
                    assert const.callable
                    new_expr = self._expand_callable_macro(interp, rhs, const, rhs.loc)
                    rewrites[rhs] = new_expr

            elif isinstance(rhs, ir.Expr) and rhs.op == "getattr":
                # Is it a non-callable macro looked up as a constant attribute?
                try:
                    const = interp.infer_constant(inst.target)
                except errors.ConstantInferenceError:
                    continue
                if isinstance(const, Macro) and not const.callable:
                    new_expr = self._expand_non_callable_macro(const, rhs.loc)
                    rewrites[rhs] = new_expr

    return len(rewrites) > 0


# Traceback (TypeError)
---------------------------------------------------------------------------
TypeError                                 Traceback (most recent call last)
<ipython-input-15-3b23f7331ceb> in <module>()
----> 1 @jit(arg_types=[numba.double], ret_type=numba.double)
2 def is_REALLY_five(some_value):
3     for i in range(5):
4         if some_value == 5.0:
5             return 1.0

/Library/Frameworks/EPD64.framework/Versions/7.3/lib/python2.7/site-packages/numba/decorators.pyc in _jit(func)
77                   "garbage collected!" % (func,))
78         t = Translate(func, *args, **kws)
---> 79         t.translate()
80         __tr_map__[func] = t
81         return t.get_ctypes_func(llvm)

/Library/Frameworks/EPD64.framework/Versions/7.3/lib/python2.7/site-packages/numba/translate.pyc in translate(self)
926                     # Ensure we are playing with locals that might
927                     # actually precede the next block.
--> 928                     self.check_locals(i)
929
930                 self.crnt_block = i

/Library/Frameworks/EPD64.framework/Versions/7.3/lib/python2.7/site-packages/numba/translate.pyc in check_locals(self, i)
1135                 else:
1136                     assert next_locals is not None, "Internal compiler error!"
-> 1137             self._locals = next_locals[:]
1138
1139     def get_ctypes_func(self, llvm=True):

TypeError: 'NoneType' object has no attribute '__getitem__'

# Fixed code
def match(self, func_ir, block, typemap, calltypes):
    """
    Look for potential macros for expand and store their expansions.
    """
    self.block = block
    self.rewrites = rewrites = {}

    for inst in block.body:
        if isinstance(inst, ir.Assign):
            rhs = inst.value
            if (
                isinstance(rhs, ir.Expr)
                and rhs.op == "call"
                and isinstance(rhs.func, ir.Var)
            ):
                # Is it a callable macro?
                try:
                    const = func_ir.infer_constant(rhs.func)
                except errors.ConstantInferenceError:
                    continue
                if isinstance(const, Macro):
                    assert const.callable
                    new_expr = self._expand_callable_macro(func_ir, rhs, const, rhs.loc)
                    rewrites[rhs] = new_expr

            elif isinstance(rhs, ir.Expr) and rhs.op == "getattr":
                # Is it a non-callable macro looked up as a constant attribute?
                try:
                    const = func_ir.infer_constant(inst.target)
                except errors.ConstantInferenceError:
                    continue
                if isinstance(const, Macro) and not const.callable:
                    new_expr = self._expand_non_callable_macro(const, rhs.loc)
                    rewrites[rhs] = new_expr

    return len(rewrites) > 0