From 145e0a4c8212a32c669d14cb67a615add5f0ad56 Mon Sep 17 00:00:00 2001 From: bringert Date: Fri, 3 Mar 2006 10:34:15 +0000 Subject: Transfer: Removed PType from source and core languages. --- src/Transfer/Syntax/Lex.x | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/Transfer/Syntax/Lex.x') diff --git a/src/Transfer/Syntax/Lex.x b/src/Transfer/Syntax/Lex.x index 8ef193a26..2c7f8fa5c 100644 --- a/src/Transfer/Syntax/Lex.x +++ b/src/Transfer/Syntax/Lex.x @@ -15,7 +15,7 @@ $d = [0-9] -- digit $i = [$l $d _ '] -- identifier character $u = [\0-\255] -- universal: any character -@rsyms = -- reserved words consisting of special symbols +@rsyms = -- symbols and non-identifier-like reserved words \; | \: | \{ | \} | \= | \| | \| \| | \: \: | \( | \) | \[ | \] | \, | \_ | \- \> | \\ | \< \- | \> \> \= | \> \> | \& \& | \= \= | \/ \= | \< | \< \= | \> | \> \= | \+ | \- | \* | \/ | \% | \. | \? :- @@ -39,7 +39,7 @@ share :: String -> String share = id data Tok = - TS !String -- reserved words + TS !String -- reserved words and symbols | TL !String -- string literals | TI !String -- integer literals | TV !String -- identifiers -- cgit v1.2.3