--- parser/parser.ml	2007/07/10 17:01:56	58
+++ parser/parser.ml	2007/07/10 17:02:11	61
@@ -275,12 +275,17 @@
     ];
 END
 
+let pat'  = Grammar.Entry.create gram "type/pattern expression"
+EXTEND GLOBAL: pat pat';
+  pat': [  [ p = pat; EOI -> p ] ];
+END
+
 let pat = Grammar.Entry.parse pat
 let expr = Grammar.Entry.parse expr
 let prog = Grammar.Entry.parse prog
 
 module From_string = struct
-  let pat s = pat (Stream.of_string s)
+  let pat s = Grammar.Entry.parse pat' (Stream.of_string s)
   let expr s = expr (Stream.of_string s)
 end