GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-17 13:01:31 +03:00
Code Issues Projects Releases Wiki Activity

Add '.' and ':' to the set of allowable operator symbols.

Browse Source 
This fixes part of #368.
This commit is contained in:
Brian Huffman 2016-09-19 11:50:30 -07:00
parent 7a4cbc8e03
commit 6247faa2c8
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Cryptol/Parser/Lexer.x
View File

@ -39,7 +39,7 @@ $unitick = \x7
@id_next = [a-zA-Z0-9_'] | $unilower | $uniupper | $unidigit | $unitick @id_next = [a-zA-Z0-9_'] | $unilower | $uniupper | $unidigit | $unitick
@id = @id_first @id_next* @id = @id_first @id_next*
@op = ([\!\@\#\$\%\^\&\*\~\>\<\?\+\=\|\/\\\-] | $unisymbol)+ @op = ([\!\#\$\%\&\*\+\-\.\/\:\<\=\>\?\@\\\^\|\~] | $unisymbol)+
@qual = (@id $white* :: $white*)+ @qual = (@id $white* :: $white*)+
@qual_id = @qual @id @qual_id = @qual @id