|
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 |