From 6247faa2c8b1ad72e31bc600d6be95f389288e01 Mon Sep 17 00:00:00 2001
From: Brian Huffman <huffman@galois.com>
Date: Mon, 19 Sep 2016 11:50:30 -0700
Subject: [PATCH] Add '.' and ':' to the set of allowable operator symbols.

This fixes part of #368.
---
 src/Cryptol/Parser/Lexer.x | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Cryptol/Parser/Lexer.x b/src/Cryptol/Parser/Lexer.x
index 5f642226..30fd1a02 100644
--- a/src/Cryptol/Parser/Lexer.x
+++ b/src/Cryptol/Parser/Lexer.x
@@ -39,7 +39,7 @@ $unitick        = \x7
 @id_next      = [a-zA-Z0-9_'] | $unilower | $uniupper | $unidigit | $unitick
 
 @id           = @id_first @id_next*
-@op           = ([\!\@\#\$\%\^\&\*\~\>\<\?\+\=\|\/\\\-] | $unisymbol)+
+@op           = ([\!\#\$\%\&\*\+\-\.\/\:\<\=\>\?\@\\\^\|\~] | $unisymbol)+
 
 @qual         = (@id $white* :: $white*)+
 @qual_id      = @qual @id