--- Camlp4OCamlRevisedParser.ml	2007-12-18 18:02:19.000000000 +0900
+++ Camlp4OCamlRevisedParser.ml.new	2008-04-02 02:58:28.000000000 +0900
@@ -1639,17 +1639,35 @@
       ] ]
     ;
     str_item_quot:
-      [ [ "#"; n = a_LIDENT; dp = opt_expr -> <:str_item< # $n$ $dp$ >>
-        | st1 = str_item; semi; st2 = SELF -> <:str_item< $st1$; $st2$ >>
-        | st = str_item -> st
+      [ [ st = str_item_quot1; f = semi_str_item_quot -> f st
+        | st = str_item_quot1 -> st
         | -> <:str_item<>> ] ]
     ;
+    str_item_quot1:
+      [ [ "#"; n = a_LIDENT; dp = opt_expr -> <:str_item< # $n$ $dp$ >>
+        | st = str_item -> st ] ]
+    ;
+    semi_str_item_quot:
+      [ [ semi; st2 = str_item_quot1; f = SELF -> 
+            fun st1 -> <:str_item< $st1$; $f st2$ >>
+        | semi -> fun st1 -> st1
+        | -> fun st1 -> st1 ] ]
+    ;
     sig_item_quot:
-      [ [ "#"; n = a_LIDENT; dp = opt_expr -> <:sig_item< # $n$ $dp$ >>
-        | sg1 = sig_item; semi; sg2 = SELF -> <:sig_item< $sg1$; $sg2$ >>
-        | sg = sig_item -> sg
+      [ [ sg = sig_item_quot1; f = semi_sig_item_quot -> f sg
+        | sg = sig_item_quot1 -> sg
         | -> <:sig_item<>> ] ]
     ;
+    sig_item_quot1:
+      [ [ "#"; n = a_LIDENT; dp = opt_expr -> <:sig_item< # $n$ $dp$ >>
+        | sg = sig_item -> sg ] ]
+    ;
+    semi_sig_item_quot:
+      [ [ semi; sg2 = sig_item_quot1; f = SELF -> 
+            fun sg1 -> <:sig_item< $sg1$; $f sg2$ >>
+        | semi -> fun sg -> sg
+        | -> fun sg -> sg ] ]
+    ;
     module_type_quot:
       [ [ x = module_type -> x
         | -> <:module_type<>>