diff options
Diffstat (limited to 'util/qlalr/examples/lambda/lambda.g')
-rw-r--r-- | util/qlalr/examples/lambda/lambda.g | 81 |
1 files changed, 0 insertions, 81 deletions
diff --git a/util/qlalr/examples/lambda/lambda.g b/util/qlalr/examples/lambda/lambda.g deleted file mode 100644 index 2d9ddd8ed4..0000000000 --- a/util/qlalr/examples/lambda/lambda.g +++ /dev/null @@ -1,81 +0,0 @@ ----------------------------------------------------------------------------- --- --- Copyright (C) 2012 Digia Plc and/or its subsidiary(-ies). --- Contact: http://www.qt-project.org/legal --- --- This file is part of the QtCore module of the Qt Toolkit. --- --- $QT_BEGIN_LICENSE:LGPL$ --- Commercial License Usage --- Licensees holding valid commercial Qt licenses may use this file in --- accordance with the commercial license agreement provided with the --- Software or, alternatively, in accordance with the terms contained in --- a written agreement between you and Digia. For licensing terms and --- conditions see http://qt.digia.com/licensing. For further information --- use the contact form at http://qt.digia.com/contact-us. --- --- GNU Lesser General Public License Usage --- Alternatively, this file may be used under the terms of the GNU Lesser --- General Public License version 2.1 as published by the Free Software --- Foundation and appearing in the file LICENSE.LGPL included in the --- packaging of this file. Please review the following information to --- ensure the GNU Lesser General Public License version 2.1 requirements --- will be met: http://www.gnu.org/licenses/old-licenses/lgpl-2.1.html. --- --- In addition, as a special exception, Digia gives you certain additional --- rights. These rights are described in the Digia Qt LGPL Exception --- version 1.1, included in the file LGPL_EXCEPTION.txt in this package. --- --- GNU General Public License Usage --- Alternatively, this file may be used under the terms of the GNU --- General Public License version 3.0 as published by the Free Software --- Foundation and appearing in the file LICENSE.GPL included in the --- packaging of this file. Please review the following information to --- ensure the GNU General Public License version 3.0 requirements will be --- met: http://www.gnu.org/copyleft/gpl.html. --- --- --- $QT_END_LICENSE$ --- ----------------------------------------------------------------------------- - --- lambda calculus - -%decl lambda.h - -%token LPAREN -%token RPAREN -%token ID -%token FUN -%token DOT - -%nonassoc SHIFT_THERE -%nonassoc LPAREN RPAREN ID FUN DOT -%nonassoc REDUCE_HERE - -%start Expr - -/: -enum { -:/ - - -Expr ::= ID %prec SHIFT_THERE ; -/: Symbol = $rule_number, -:/ - -Expr ::= LPAREN Expr RPAREN %prec SHIFT_THERE ; -/: SubExpression = $rule_number, -:/ - -Expr ::= Expr Expr %prec REDUCE_HERE ; -/: Appl = $rule_number, -:/ - -Expr ::= FUN ID DOT Expr %prec SHIFT_THERE ; -/: Abstr = $rule_number, -:/ - -/:}; -:/ - |