From d96e1839eb800bf26bcc38272072d98af69f5d83 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Tue, 26 Dec 2023 10:08:23 -0600 Subject: Support const keyword --- lib/parser.mly | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'lib/parser.mly') diff --git a/lib/parser.mly b/lib/parser.mly index e9d06bc..6e21480 100644 --- a/lib/parser.mly +++ b/lib/parser.mly @@ -14,6 +14,7 @@ %token INT %token LBRACE %token RBRACE +%token STRING %start prog %% @@ -30,10 +31,16 @@ expr: row: | row_title = IDENTIFIER; parent = IDENTIFIER; DOT; parent_id = IDENTIFIER; COMMA; r = row { Foreign (parent,parent_id,row_title, r) } | row_title = IDENTIFIER; parent = IDENTIFIER; DOT; parent_id = IDENTIFIER; { Foreign (parent,parent_id,row_title, End) } + | row_title = IDENTIFIER; UUIDV4; COMMA; r = row { Uuidv4 (row_title, r) } | row_title = IDENTIFIER; UUIDV4 { Uuidv4 (row_title, End) } + | row_title = IDENTIFIER; NAME; COMMA; r = row { Name (row_title, r) } | row_title = IDENTIFIER; NAME { Name (row_title, End) } + + | row_title = IDENTIFIER; const = STRING; COMMA; r = row { Const (row_title, const, r) } + | row_title = IDENTIFIER; const = STRING { Const (row_title, const, End) } + | row_title = IDENTIFIER; INTSYMBOL;LBRACE;min = INT;COMMA;max = INT;RBRACE;COMMA; r = row { Int (row_title,min,max,r) } | row_title = IDENTIFIER; INTSYMBOL;LBRACE;min = INT;COMMA;max = INT;RBRACE; { Int (row_title,min,max,End) } ; -- cgit v1.2.3