долларов + идентификатор в mly

Question

Я вижу $startpos и $endpos в .mly от типа проверки:

recursive_def: 
| f = term_variable 
    ty_args = multiple(formal_type_arguments) 
    te_args = multiple(term_arguments) 
    codomain = preceded(COLON,typ) 
    EQ t = loc(term) 
    { let loc = ($startpos(ty_args), $endpos(t)) in 
     make_recursive_definition f loc ty_args te_args codomain t } 
    (* one should check that the right-hand side of a recursive definition 
     is a value, e.g. a function or a data constructor application; this 
     is not done for the moment. *) 

... 

pattern: 
| d = data_constructor tvars = multiple(formal_type_arguments) LBRACE fields = semi(term_variable) RBRACE 
    { SynPatData (($startpos, $endpos), d, tvars, fields) } 

... 

(* Recording locations. *) 

loc(TERM): 
| t = TERM 
    { SynTeLoc (($startpos, $endpos), t) } 

Может кто-нибудь сказать мне, что смысл $ + identifier? Являются ли они функциями или переменными? Как их ценности питаются?

Answer 1

Это внутренние символы, определяемые menhir.

$startpos start position of the first symbol in the 
      production’s right-hand side, if there is one; 
      end position of the most recently parsed symbol, otherwise 

$endpos end position of the first symbol in the production’s 
      right-hand side, if there is one; end position of the 
      most recently parsed symbol, otherwise 

$startpos($i | id) start position of the symbol named $i or id 

$endpos($i | id) end position of the symbol named $i or id