Yacc prints the line where the syntax error is
Merge branch 'master' of https://github.com/oceanhuang/CoZy into feature-functions3