From 7031ab7fb820ece585c3f5a3b5405d887f81cd22 Mon Sep 17 00:00:00 2001 From: Neil Brown Date: Tue, 7 Apr 2009 15:51:34 +0000 Subject: [PATCH] Changed the lexer to make it lex the new (user-defineable) operators --- frontends/LexOccam.x | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/frontends/LexOccam.x b/frontends/LexOccam.x index 8fcfb68..b7ce490 100644 --- a/frontends/LexOccam.x +++ b/frontends/LexOccam.x @@ -43,7 +43,7 @@ $vertSpace = [\r\n] @reserved = "[" | "]" | "(" | ")" | "::" | ":=" | ":" | "," | ";" | "&" - | "?" | "!" | "=" + | "?" | "??" | "!" | "=" | "\" | "/\" | "\/" | "+" | "-" | "*" | "/" | "><" | "<<" | ">>" | "<>" @@ -52,6 +52,9 @@ $vertSpace = [\r\n] | "~" | "##" | "|" + -- occam UDOs: + | "@@" | "$$" | "%" | "%%" | "&&" | "<%" | "%>" | "<&" | "&>" + | "<]" | "[>" | "<@" | "@>" | "@" | "++" | "!!" | "==" | "^" | "AFTER" | "ALT" | "AND" | "ANY" | "AT" | "BITAND" | "BITNOT" | "BITOR" | "BOOL" | "BYTE" | "BYTESIN" | "CASE" | "CHAN" | "CLAIM" | "CLONE"