1 /******************************************************/
2 /* Claudio Sacerdoti Coen <sacerdot@cs.unibo.it> */
4 /******************************************************/
17 %type <Types.definition list> main
23 | declaration main { $1::$2 }
27 LET IDENT EQ regexp END_OF_LET
28 { { Types.id = $2 ; Types.rel = $4 } }
32 regexptoken PIPE regexp { $1::$3 }
33 | regexptoken { [$1] }
37 CHAR { Types.Char $1 }
38 | LBRACKET CHAR RANGE CHAR RBRACKET { Types.Interval ($2,$4) }
39 | IDENT { Types.Identifier $1 }