Coccinelle release 1.0.0-rc13

[bpt/coccinelle.git] / bundles / menhirLib / menhir-20120123 / demos / calc-two / common.mly

diff --git a/bundles/menhirLib/menhir-20120123/demos/calc-two/common.mly b/bundles/menhirLib/menhir-20120123/demos/calc-two/common.mly
new file mode 100644 (file)
index 0000000..057ff02
--- /dev/null
+++ b/bundles/menhirLib/menhir-20120123/demos/calc-two/common.mly
@@ -0,0 +1,25 @@
+/**************************************************************************/
+/*                                                                        */
+/*  Menhir                                                                */
+/*                                                                        */
+/*  François Pottier, INRIA Rocquencourt                                  */
+/*  Yann Régis-Gianas, PPS, Université Paris Diderot                      */
+/*                                                                        */
+/*  Copyright 2005-2008 Institut National de Recherche en Informatique    */
+/*  et en Automatique. All rights reserved. This file is distributed      */
+/*  under the terms of the Q Public License version 1.0, with the change  */
+/*  described in file LICENSE.                                            */
+/*                                                                        */
+/**************************************************************************/
+
+(* This partial grammar specification defines the grammar's entry
+   point to be an expression, followed with an end-of-line token. *)
+
+%start <int> main
+
+%%
+
+main:
+| e = expr EOL
+    { e }
+