From 6a68ee116686afb0c898f24b879da355f05e63e1 Mon Sep 17 00:00:00 2001
From: Gerard Huet <Gerard.Huet@inria.fr>
Date: Wed, 28 Feb 2018 22:08:48 +0100
Subject: [PATCH] Notation ! for chunk non-terminal vocatives/interjection

---
 ML/sanskrit.ml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/ML/sanskrit.ml b/ML/sanskrit.ml
index c859f32..5f9776f 100644
--- a/ML/sanskrit.ml
+++ b/ML/sanskrit.ml
@@ -77,10 +77,11 @@ EXTEND Gramskt
   sanscrit: 
     [ [ p = pada; "|"; "|"  -> [ p ]
       | p = pada; "|"; sl = sanscrit -> [ p :: sl ] 
-      | p = pada; `EOI -> [ p ]
+      | p = pada; "!"; sl = sanscrit -> [ p :: sl ] (* for voc and interj *)
+      | p = pada; `EOI -> [ p ] 
       | `EOI -> failwith "Empty sanskrit input"
     ] ] ;
-(*i Beware! due to limitation of camlp4 grammars, not possible to simplify above in
+(*i NB! due to limitation of camlp4 grammars, not possible to simplify above in
   sanscrit:
     [ [ p = pada; `EOI -> Pada p
       | s = sloka -> Sloka s
-- 
GitLab