161 lines
2.3 KiB
Rust
161 lines
2.3 KiB
Rust
|
import util.common.ty_mach;
|
||
|
|
|
||
|
|
type op = tag
|
||
|
|
(PLUS(),
|
||
|
|
MINUS(),
|
||
|
|
STAR(),
|
||
|
|
SLASH(),
|
||
|
|
PERCENT(),
|
||
|
|
EQ(),
|
||
|
|
LT(),
|
||
|
|
LE(),
|
||
|
|
EQEQ(),
|
||
|
|
NE(),
|
||
|
|
GE(),
|
||
|
|
GT(),
|
||
|
|
NOT(),
|
||
|
|
TILDE(),
|
||
|
|
CARET(),
|
||
|
|
AND(),
|
||
|
|
ANDAND(),
|
||
|
|
OR(),
|
||
|
|
OROR(),
|
||
|
|
LSL(),
|
||
|
|
LSR(),
|
||
|
|
ASR());
|
||
|
|
|
||
|
|
type token = tag
|
||
|
|
(OP(op),
|
||
|
|
OPEQ(op),
|
||
|
|
AS(),
|
||
|
|
WITH(),
|
||
|
|
|
||
|
|
/* Structural symbols */
|
||
|
|
AT(),
|
||
|
|
DOT(),
|
||
|
|
COMMA(),
|
||
|
|
SEMI(),
|
||
|
|
COLON(),
|
||
|
|
RARROW(),
|
||
|
|
SEND(),
|
||
|
|
LARROW(),
|
||
|
|
LPAREN(),
|
||
|
|
RPAREN(),
|
||
|
|
LBRACKET(),
|
||
|
|
RBRACKET(),
|
||
|
|
LBRACE(),
|
||
|
|
RBRACE(),
|
||
|
|
|
||
|
|
/* Module and crate keywords */
|
||
|
|
MOD(),
|
||
|
|
USE(),
|
||
|
|
AUTH(),
|
||
|
|
META(),
|
||
|
|
|
||
|
|
/* Metaprogramming keywords */
|
||
|
|
SYNTAX(),
|
||
|
|
POUND(),
|
||
|
|
|
||
|
|
/* Statement keywords */
|
||
|
|
IF(),
|
||
|
|
ELSE(),
|
||
|
|
DO(),
|
||
|
|
WHILE(),
|
||
|
|
ALT(),
|
||
|
|
CASE(),
|
||
|
|
|
||
|
|
FAIL(),
|
||
|
|
DROP(),
|
||
|
|
|
||
|
|
IN(),
|
||
|
|
FOR(),
|
||
|
|
EACH(),
|
||
|
|
PUT(),
|
||
|
|
RET(),
|
||
|
|
BE(),
|
||
|
|
|
||
|
|
/* Type and type-state keywords */
|
||
|
|
TYPE(),
|
||
|
|
CHECK(),
|
||
|
|
CLAIM(),
|
||
|
|
PROVE(),
|
||
|
|
|
||
|
|
/* Effect keywords */
|
||
|
|
IO(),
|
||
|
|
STATE(),
|
||
|
|
UNSAFE(),
|
||
|
|
|
||
|
|
/* Type qualifiers */
|
||
|
|
NATIVE(),
|
||
|
|
AUTO(),
|
||
|
|
MUTABLE(),
|
||
|
|
|
||
|
|
/* Name management */
|
||
|
|
IMPORT(),
|
||
|
|
EXPORT(),
|
||
|
|
|
||
|
|
/* Value / stmt declarators */
|
||
|
|
LET(),
|
||
|
|
|
||
|
|
/* Magic runtime services */
|
||
|
|
LOG(),
|
||
|
|
SPAWN(),
|
||
|
|
BIND(),
|
||
|
|
THREAD(),
|
||
|
|
YIELD(),
|
||
|
|
JOIN(),
|
||
|
|
|
||
|
|
/* Literals */
|
||
|
|
LIT_INT(int),
|
||
|
|
LIT_UINT(int),
|
||
|
|
LIT_MACH_INT(ty_mach, int),
|
||
|
|
LIT_STR(str),
|
||
|
|
LIT_CHAR(int),
|
||
|
|
LIT_BOOL(bool),
|
||
|
|
|
||
|
|
/* Name components */
|
||
|
|
IDENT(str),
|
||
|
|
IDX(int),
|
||
|
|
UNDERSCORE(),
|
||
|
|
|
||
|
|
/* Reserved type names */
|
||
|
|
BOOL(),
|
||
|
|
INT(),
|
||
|
|
UINT(),
|
||
|
|
FLOAT(),
|
||
|
|
CHAR(),
|
||
|
|
STR(),
|
||
|
|
MACH(ty_mach),
|
||
|
|
|
||
|
|
/* Algebraic type constructors */
|
||
|
|
REC(),
|
||
|
|
TUP(),
|
||
|
|
TAG(),
|
||
|
|
VEC(),
|
||
|
|
ANY(),
|
||
|
|
|
||
|
|
/* Callable type constructors */
|
||
|
|
FN(),
|
||
|
|
ITER(),
|
||
|
|
|
||
|
|
/* Object type */
|
||
|
|
OBJ(),
|
||
|
|
|
||
|
|
/* Comm and task types */
|
||
|
|
CHAN(),
|
||
|
|
PORT(),
|
||
|
|
TASK(),
|
||
|
|
|
||
|
|
BRACEQUOTE(str),
|
||
|
|
EOF());
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
// Local Variables:
|
||
|
|
// fill-column: 78;
|
||
|
|
// indent-tabs-mode: nil
|
||
|
|
// c-basic-offset: 4
|
||
|
|
// buffer-file-coding-system: utf-8-unix
|
||
|
|
// compile-command: "make -k -C ../.. 2>&1 | sed -e 's/\\/x\\//x:\\//g'";
|
||
|
|
// End:
|