$ 0 of에 선언 된 유형이 없습니다.

Question

Bison 컴파일러가 'routine'의 $ 0 오류를 반환합니다. 선언 된 유형이 없습니다. 글꼴을 선언하는 메시지를 인쇄하려고하므로 함수 본문을 인쇄하기 전에 여는 중괄호를 인쇄해야합니다. 나는이 문서를 읽고, 내가 해당 페이지에서 오는 해결책을 발견 :

%type <type_object> type 

: 나는 또한 비 터미널 '유형'에 대한 유형을 지정

fun_decl : 
    type routine fun {end_fonction();}; 

routine : 
    {declare_fonction($0);}; 

: Bison 3.0.4: Actions 그래서 나는 내 문제에 적용하려

내 실수가 어디에서 왔는지 이해할 수 없습니다.

NB : 비 터미널 루틴에 단순히 빈 명령어를 연결하면 bison도 "충돌로 인해 구문 분석기에서 쓸모가 없다"라는 실수를 반환합니다. 내가 빈 규칙을 여러 개 가질 수 없다는 뜻입니까?

fun_decl : 
    type {declare_fonction($1);} fun {end_fonction();}; 

이 들소는 $1의 유형을 알고있는 이점이있다 :

Answer 1

당신은 단지 mid-rule action가 사용할 수 있습니다. 일반적인 경우에는 가능하지 않기 때문에 $0의 유형을 파악하려고 시도하지 않습니다.

매뉴얼에서 설명했듯이 규칙 중간 동작은 시프트 감소 충돌을 만들 수 있습니다. routine과 같은 "마커"(비어있는) 비 터미널도 shift-reduce 충돌을 만들 수 있으며 대략 비슷한 상황에서 발생할 수 있습니다. 그러나 그것은 다른 질문이 될 것입니다.

Answer 2

방금 ​​내 문제에 대한 해결책을 찾았습니다. Bison에 스택을 가져올 크기를 알리려면 $ 0 유형을 지정해야했습니다. 내 경우 :

routine : 
    {declare_fonction($<type_object>0);}; 

Answer 3

당신은 routine의 유형으로 선언되지 않은 : 나는 노력하겠습니다

%type <type_object> routine