From 88dd4790c1a48a2771ac295d588793cbaf93158f Mon Sep 17 00:00:00 2001
From: butterunderflow <azhong.934@gmail.com>
Date: Wed, 7 Feb 2024 14:10:07 +0800
Subject: [PATCH] module type's parsing debug entry

---
 lib/syntax/parser.mly | 7 ++++++-
 lib/syntax/parsing.ml | 2 ++
 2 files changed, 8 insertions(+), 1 deletion(-)

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 <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
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
+