util/qlalr/examples/lambda/lambda.g
changeset 0 1918ee327afb
child 4 3b1da2848fc7
equal deleted inserted replaced
-1:000000000000 0:1918ee327afb
       
     1 ----------------------------------------------------------------------------
       
     2 --
       
     3 -- Copyright (C) 2009 Nokia Corporation and/or its subsidiary(-ies).
       
     4 -- All rights reserved.
       
     5 -- Contact: Nokia Corporation (qt-info@nokia.com)
       
     6 --
       
     7 -- This file is part of the QtCore module of the Qt Toolkit.
       
     8 --
       
     9 -- $QT_BEGIN_LICENSE:LGPL$
       
    10 -- No Commercial Usage
       
    11 -- This file contains pre-release code and may not be distributed.
       
    12 -- You may use this file in accordance with the terms and conditions
       
    13 -- contained in the Technology Preview License Agreement accompanying
       
    14 -- this package.
       
    15 --
       
    16 -- GNU Lesser General Public License Usage
       
    17 -- Alternatively, this file may be used under the terms of the GNU Lesser
       
    18 -- General Public License version 2.1 as published by the Free Software
       
    19 -- Foundation and appearing in the file LICENSE.LGPL included in the
       
    20 -- packaging of this file.  Please review the following information to
       
    21 -- ensure the GNU Lesser General Public License version 2.1 requirements
       
    22 -- will be met: http://www.gnu.org/licenses/old-licenses/lgpl-2.1.html.
       
    23 --
       
    24 -- In addition, as a special exception, Nokia gives you certain additional
       
    25 -- rights.  These rights are described in the Nokia Qt LGPL Exception
       
    26 -- version 1.1, included in the file LGPL_EXCEPTION.txt in this package.
       
    27 --
       
    28 -- If you have questions regarding the use of this file, please contact
       
    29 -- Nokia at qt-info@nokia.com.
       
    30 --
       
    31 --
       
    32 --
       
    33 --
       
    34 --
       
    35 --
       
    36 --
       
    37 --
       
    38 -- $QT_END_LICENSE$
       
    39 --
       
    40 ----------------------------------------------------------------------------
       
    41 
       
    42 -- lambda calculus
       
    43 
       
    44 %decl lambda.h
       
    45 
       
    46 %token LPAREN
       
    47 %token RPAREN
       
    48 %token ID
       
    49 %token FUN
       
    50 %token DOT
       
    51 
       
    52 %nonassoc SHIFT_THERE
       
    53 %nonassoc LPAREN RPAREN ID FUN DOT
       
    54 %nonassoc REDUCE_HERE
       
    55 
       
    56 %start Expr
       
    57 
       
    58 /:
       
    59 enum {
       
    60 :/
       
    61 
       
    62 
       
    63 Expr ::= ID %prec SHIFT_THERE ;
       
    64 /:  Symbol = $rule_number,
       
    65 :/
       
    66 
       
    67 Expr ::= LPAREN Expr RPAREN %prec SHIFT_THERE  ;
       
    68 /:  SubExpression = $rule_number,
       
    69 :/
       
    70 
       
    71 Expr ::= Expr Expr %prec REDUCE_HERE ;
       
    72 /:  Appl = $rule_number,
       
    73 :/
       
    74 
       
    75 Expr ::= FUN ID DOT Expr %prec SHIFT_THERE ;
       
    76 /:  Abstr = $rule_number,
       
    77 :/
       
    78 
       
    79 /:};
       
    80 :/
       
    81