diff --git a/lib/syntax/parser.mly b/lib/syntax/parser.mly index ac02128..8d2b076 100644 --- a/lib/syntax/parser.mly +++ b/lib/syntax/parser.mly @@ -43,9 +43,10 @@ %type path_dbg %type type_expr_dbg %type mod_expr_dbg +%type mod_type_dbg /* Start symbols */ -%start program path_dbg type_expr_dbg mod_expr_dbg +%start program path_dbg type_expr_dbg mod_expr_dbg mod_type_dbg %% @@ -146,3 +147,7 @@ type_expr_dbg: mod_expr_dbg: | me=mod_expr EOF { me } + +mod_type_dbg: + | me=mod_type EOF { me } + diff --git a/lib/syntax/parsing.ml b/lib/syntax/parsing.ml index 92f8ce6..6800db1 100644 --- a/lib/syntax/parsing.ml +++ b/lib/syntax/parsing.ml @@ -43,3 +43,5 @@ let parse_string_type_expr = gen_parse_string Parser.type_expr_dbg let parse_string_mod_expr = gen_parse_string Parser.mod_expr_dbg +let parse_string_mod_type = gen_parse_string Parser.mod_type_dbg +