Une nouvelle version du portail de gestion des comptes externes sera mise en production lundi 09 août. Elle permettra d'allonger la validité d'un compte externe jusqu'à 3 ans. Pour plus de détails sur cette version consulter : https://doc-si.inria.fr/x/FCeS

Commit 71043a58 authored by Jean-Christophe Filliâtre's avatar Jean-Christophe Filliâtre
Browse files

nettoyage lexer et parser

parent 77d2322b
......@@ -160,10 +160,6 @@ rule token = parse
{ BANG }
| ":"
{ COLON }
| ";"
{ SEMICOLON }
| ":="
{ COLONEQUAL }
| "->"
{ ARROW }
| "<->"
......
......@@ -68,13 +68,12 @@
%token ARROW AT
%token BANG BAR
%token COLON COLONEQUAL COMMA
%token COLON COMMA
%token DOT EQUAL
%token LEFTB LEFTPAR LEFTSQ
%token LRARROW
%token QUOTE RIGHTB
%token RIGHTPAR RIGHTSQ
%token SEMICOLON
%token UNDERSCORE
%token EOF
......@@ -92,13 +91,10 @@
%left prec_letrec
%left IN
%right SEMICOLON
%left prec_no_else
%left ELSE
%right prec_named
%left COLONEQUAL
%right prec_quant
%right ARROW LRARROW
%right OR
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment