diff options
Diffstat (limited to 'src/boot/tokens.boot')
| -rw-r--r-- | src/boot/tokens.boot | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/boot/tokens.boot b/src/boot/tokens.boot index bc66db93..cf2b05c9 100644 --- a/src/boot/tokens.boot +++ b/src/boot/tokens.boot @@ -105,8 +105,6 @@ shoeKeyWords == [ _ ['"<=","LE" ], _ ['">=","GE" ], _ ['"=", "SHOEEQ"], _ - ['"^", "NOTRETIRED"], _ - ['"^=","SHOENERETIRED" ], _ ['"~=","SHOENE" ], _ ['"..","SEG" ], _ ['"#", "LENGTH"], _ @@ -118,11 +116,8 @@ shoeKeyWords == [ _ ['"<=>", "TDEF"], _ ['"(", "OPAREN"], _ ['")", "CPAREN"], _ - ['"(|", "OBRACK"], _ - ['"|)", "CBRACK"], _ ['"[", "OBRACK"], _ ['"]", "CBRACK"], _ - ['"suchthat","BAR"], _ ['"'", "QUOTE"], _ ['"|", "BAR"] ] |