From 742c23d7c5d90b681dcbce92846d57042d2ea467 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Tue, 26 Dec 2023 09:34:58 -0600 Subject: Add support for ints --- lib/parser.mly | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'lib/parser.mly') diff --git a/lib/parser.mly b/lib/parser.mly index 3d57961..ab9b697 100644 --- a/lib/parser.mly +++ b/lib/parser.mly @@ -10,6 +10,10 @@ %token COLON %token DOT %token EOF +%token INTSYMBOL +%token INT +%token LBRACE +%token RBRACE %start prog %% @@ -30,4 +34,6 @@ row: | 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; 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