diff --git a/ML/sanskrit.ml b/ML/sanskrit.ml index c859f32620dbed75be2a96c803ea86cae83e1614..5f9776fabeb0ee9afe9f402243b4b4e46f465f06 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