Bison: $ 1 от `stmt 'не имеет объявленного типа

Question

%{ 

#include<stdio.h> 
#include<string.h> 
#include<stdlib.h> 
#include "mycalc.h" 

extern int int_num; 
extern char* yytext; 

%} 

%token TOK_NUM TOK_ID TOK_SEMICOLON TOK_VAR TOK_EQ TOK_PRINTLN TOK_LPARA TOK_RPARA TOK_ADD TOK_MUL 

%union 
{ 
    int int_val; 
    char *id_val; 
} 

%type <id_val> expr TOK_ID 
%type <int_val> stmt TOK_NUM 

%left TOK_LPARA TOK_RPARA 
%left TOK_MUL 
%left TOK_ADD 

%% 

prog: 
    stmts { startit(); } 
; 


stmts: 

    | stmt TOK_SEMICOLON stmts 
; 



stmt: 
     TOK_VAR TOK_ID { defvar(presentlevel,yylval.id_val,0); } 
    | TOK_ID TOK_EQ expr { assignvar(presentlevel,$1,$3); } 
    | TOK_PRINTLN TOK_ID { printf("the value of id %d",$2); } 
    | TOK_LPARA stmts TOK_RPARA { if($1=="{") 
         { 
         presentlevel=presentlevel+1; 
         } 

         if($3=="}") 
        { 
         if(presentlevel>1) 
         { 
          presentlevel=presentlevel-1; 
         } 
         } }; 

expr: 
     TOK_NUM { $$=atoi($1); } 
    | TOK_ID { myvar *h ; 
      h=getvar(presentlevel,$1); 
      $$=h->val; 
      } 
    | expr TOK_ADD expr {$$=$1+$2;} 
    | expr TOK_MUL expr {$$=$1*$2;} 
; 

%% 

int yyerror(char *s,int x) 
{ 

printf("Syntax Error at %d",line_num); 
return 0; 

} 

int main() 
{ 

startit(); 

presentlevel=1; 

yyparse(); 
return 0; 

} 

Я объявил типы для id_val и int_val ниже союза, как вы можете видеть. Тем не менее это вызывает ошибку. Вот ошибки, которые я получаю.

calc.y:46.44-45: $1 of `stmt' has no declared type 
calc.y:51.43-44: $3 of `stmt' has no declared type 
calc.y:65.47-48: $2 of `expr' has no declared type 
calc.y:66.47-48: $2 of `expr' has no declared type 
make: *** [calc] Error 1 

Может кто-нибудь сказать нам, почему это свидетельствует об ошибке, свидетельствующей о типе.

Answer 1

Ну, сообщения об ошибках говорят вам в значительной степени о том, что происходит. Для первого, строка 46:

| TOK_LPARA stmts TOK_RPARA { if($1=="{") 

это правило для stmt, и ошибка говорит вам, что $1 (который исходит от TOK_LPARA) не имеет типа. Вы можете видеть, что из его delaration:

%left TOK_LPARA TOK_RPARA 

Если вы хотите, чтобы иметь возможность доступа к значению из TOK_LPARA здесь, вы должны дать ему тип, вероятно, <id_val>. Тогда у вас будет проблема, что == будет сравнивать указатели, а не указывать на строки. Другие ошибки указывают на аналогичные проблемы.

У вас также возникли проблемы с настройкой $$ в действиях stmt (вы объявили тип для stmt), заставляя их иметь значения мусора.