parser: add boolean operator `implies`
authorJean Privat <jean@pryen.org>
Fri, 23 Aug 2013 19:23:43 +0000 (15:23 -0400)
committerJean Privat <jean@pryen.org>
Fri, 23 Aug 2013 19:23:43 +0000 (15:23 -0400)
commit7fd57bfb9e91fa1aac2c0453f0ed2e24831924f4
treec320c15b34fc26eb3c38440732aec2562b46579d
parentb88f0a7124fa6087325fa02e6c6a43da411e1d27
parser: add boolean operator `implies`

will bu useful in contracts. it is the term used in Eiffel and in OCL

Signed-off-by: Jean Privat <jean@pryen.org>
src/parser/lexer.nit
src/parser/nit.sablecc3xx
src/parser/parser.nit
src/parser/parser_abs.nit
src/parser/parser_nodes.nit
src/parser/parser_prod.nit
src/parser/tables_nit.c