()
| 80007 | } |
| 80008 | |
| 80009 | function parse_ident() { |
| 80010 | if(token.type !== 'ident') { |
| 80011 | return unexpected('expected user-defined name, got '+token.data) |
| 80012 | } |
| 80013 | |
| 80014 | state[0].data = token.data |
| 80015 | return state.shift(), tokens.shift() |
| 80016 | } |
| 80017 | |
| 80018 | |
| 80019 | function parse_expr() { |