-terminal NUM IDEN ATOM
          COMMA SEMICOL DOT COLON
          RPAREN LPAREN RBRACE LBRACE

          TYPELIST_START TYPELIST_END
          T_INT T_ENUM T_STRUCT
          ST_FUNCTION ST_BIG ST_LITTLE ST_NATIVE;

-nonterminal S exprlist expr sym fieldlist basetype subtypelist.

-stacktype { union {
                 int num;
                 char *str;

                 struct ast_vrbl vrbl;
                 struct ast_fiel fiel;
                 struct ast_decl decl;
                 struct ast_defn defn;
                 struct ast_oprn oprn;

                 struct ast_expr expr;
                 struct ast_strlist strlist;
                 struct list_head *list;
             }}.

-left LPAREN;
-left COMMA SEMICOL.

S: exprlist DOT { v = A(0); };

exprlist: expr { v = g_LST(A(0).expr); }
        | expr exprlist { v = g_LST(A(0).expr); v.list->next = A(1).list; }
        | exprlist COMMA exprlist   { v = g_LST(NEW(expr, .type = AST_OPERATION, .operation = NEW(oprn, .optype = AST_OP_AND, .left_exprlist = A(0).list, .right_exprlist = A(2).list))); }
        | exprlist SEMICOL exprlist { v = g_LST(NEW(expr, .type = AST_OPERATION, .operation = NEW(oprn, .optype = AST_OP_OR,  .left_exprlist = A(0).list, .right_exprlist = A(2).list)));};

expr: NUM { v = g_NEW(expr, .type = AST_NUMBER,   .number = A(0).num); }
    | sym { v = g_NEW(expr, .type = AST_VARIABLE, .variable = A(0).vrbl); }
    | sym fieldlist { v = g_NEW(expr, .type = AST_FIELDLIST, .fieldlist = NEW(fiel, .variable = A(0).vrbl, .fields_strlist = A(1).list)); }
    | sym TYPELIST_START basetype TYPELIST_END { v = g_NEW(expr, .type = AST_VARIABLE, .variable = A(0).vrbl); }
    | sym TYPELIST_START basetype subtypelist TYPELIST_END { v = g_NEW(expr, .type = AST_VARIABLE, .variable = A(0).vrbl); }
    | LBRACE exprlist DOT RBRACE { v = g_NEW(expr, .type = AST_PARENLIST, .paren_exprlist = A(1).list); }
    | LPAREN exprlist RPAREN { v = g_NEW(expr, .type = AST_PARENLIST, .paren_exprlist = A(1).list); };

sym: IDEN { v = g_NEW(vrbl, .is_atom = 0, .iden = A(0).str); }
   | ATOM { v = g_NEW(vrbl, .is_atom = 1, .iden = A(0).str); };

fieldlist: COLON IDEN { v = g_LST(NEW(strlist, .str = A(1).str)); }
         | fieldlist fieldlist { A(0).list->next = A(1).list; v = A(0); };

basetype: T_INT {}
        | T_STRUCT {} | T_STRUCT LPAREN ATOM RPAREN {}
        | T_ENUM   {} | T_ENUM LPAREN ATOM RPAREN {};
subtypelist: ST_FUNCTION LPAREN exprlist RPAREN {}
           | ST_BIG {} | ST_LITTLE {} | ST_NATIVE {}
           | subtypelist subtypelist {}.