diff options
| author | krasimir <krasimir@chalmers.se> | 2017-04-12 10:31:01 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2017-04-12 10:31:01 +0000 |
| commit | 456f0a5733a3b688ebd3f5b3db35f60400ca7abe (patch) | |
| tree | 7b6a931a099ffe31402bc59690263bf34374e4c3 /src/runtime/c/teyjus/system/operators.h | |
| parent | a8eaa2f2e560547e63c7976960435e1ae23a22b1 (diff) | |
remove the teyjus and utils folders
Diffstat (limited to 'src/runtime/c/teyjus/system/operators.h')
| -rw-r--r-- | src/runtime/c/teyjus/system/operators.h | 91 |
1 files changed, 0 insertions, 91 deletions
diff --git a/src/runtime/c/teyjus/system/operators.h b/src/runtime/c/teyjus/system/operators.h deleted file mode 100644 index 9f016ef5b..000000000 --- a/src/runtime/c/teyjus/system/operators.h +++ /dev/null @@ -1,91 +0,0 @@ -////////////////////////////////////////////////////////////////////////////// -//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 |