def p_symbols_symbol(p):
    p[0] = [p[1]]
Extract a useful error message from the last thrown exception
dataset/ETHPy150Open Microsoft/ivy/src/ivy/ivy_dafny_grammar.py/p_symbols_symbol--crossover with--dataset/ETHPy150Open dnanexus/dx-toolkit/src/python/dxpy/__init__.py/_extract_msg_from_last_exception