1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
|
//////////////////////////////////////////////////////////////////////////////
//Copyright 2008
// Andrew Gacek, Steven Holte, Gopalan Nadathur, Xiaochu Qi, Zach Snow
//////////////////////////////////////////////////////////////////////////////
// This file is part of Teyjus. //
// //
// Teyjus is free software: you can redistribute it and/or modify //
// it under the terms of the GNU General Public License as published by //
// the Free Software Foundation, either version 3 of the License, or //
// (at your option) any later version. //
// //
// Teyjus is distributed in the hope that it will be useful, //
// but WITHOUT ANY WARRANTY; without even the implied warranty of //
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the //
// GNU General Public License for more details. //
// //
// You should have received a copy of the GNU General Public License //
// along with Teyjus. If not, see <http://www.gnu.org/licenses/>. //
//////////////////////////////////////////////////////////////////////////////
#ifndef OPERATORS_H
#define OPERATORS_H
//#include <limits.h>
/* Fixity types */
typedef enum
{
OP_INFIX = 0,
OP_INFIXL = 1,
OP_INFIXR = 2,
OP_NONE = 3,
OP_PREFIX = 4,
OP_PREFIXR = 5,
OP_POSTFIX = 6,
OP_POSTFIXL = 7
} OP_FixityType;
typedef enum {
OP_WHOLE_TERM,
OP_LEFT_TERM,
OP_RIGHT_TERM
} OP_TermContext;
#define OP_MAXPREC 255
#define OP_MINPREC 0
#define OP_LAM_FIXITY OP_PREFIXR
#define OP_LAM_PREC -1
#define OP_APP_FIXITY OP_INFIXL
#define OP_APP_PREC 257
//usful ?
/*
#define OP_CCOMMA_FIXITY OP_infixr
#define OP_CCOMMA_PREC -2
#define OP_LT_FIXITY OP_infix
#define OP_LT_PREC 130
#define OP_LE_FIXITY OP_infix
#define OP_LE_PREC 130
#define OP_GT_FIXITY OP_infix
#define OP_GT_PREC 130
#define OP_GE_FIXITY OP_infix
#define OP_GE_PREC 130
#define OP_UM_FIXITY OP_prefix
#define OP_UM_PREC 256 //?
#define OP_PLUS_FIXITY OP_infixl
#define OP_PLUS_PREC 150
#define OP_MINUS_FIXITY OP_infixl
#define OP_MINUS_PREC 150
#define OP_TIMES_FIXITY OP_infixl
#define OP_TIMES_PREC 160
#define OP_COMMA_FIXITY OP_infixl
#define OP_COMMA_PREC 110
*/
#endif // OPERATORS_H
|
