Project

General

Profile

Revision e2380d4d src/parserLustreSpec.mly

View differences:

src/parserLustreSpec.mly
102 102 
    {mkeexpr (EExpr_arrow ($1,$3))}
103 103 
| expr FBY expr
104 104 
    {mkeexpr (EExpr_fby ($1,$3))}
105 
| expr COLCOL expr
106 
    {mkeexpr (EExpr_concat ($1,$3))}
107 
| TAIL LPAR expr RPAR
108 
    {mkeexpr (EExpr_tail $3)}
109 105 
| expr WHEN IDENT
110 106 
    {mkeexpr (EExpr_when ($1,$3))}
111 
| expr WHENNOT IDENT
112 
    {mkeexpr (EExpr_whennot ($1,$3))}
113 107 
| MERGE LPAR IDENT COMMA expr COMMA expr RPAR
114 108 
    {mkeexpr (EExpr_merge ($3,$5,$7))}
115 109 
| IDENT LPAR expr RPAR

Also available in: Unified diff