module type's parsing debug entry

butterunderflow · Feb 7, 2024 · 88dd479 · 88dd479
1 parent 3766682
commit 88dd479
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 1 deletion.
diff --git a/lib/syntax/parser.mly b/lib/syntax/parser.mly
@@ -43,9 +43,10 @@
 %type <Parsetree.path> path_dbg
 %type <Parsetree.type_expr> type_expr_dbg
 %type <Parsetree.mod_expr> mod_expr_dbg
+%type <Parsetree.mod_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
@@ -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
+
Original file line number	Diff line number	Diff line change
Expand Up		@@ -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