From 28e2d6098b112c47c20430423504ba5f6e62bcf8 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 14 Sep 2013 17:44:41 -0500 Subject: [PATCH] fix datalog colorer for specials closes PR 13991 --- pkgs/datalog/tool/syntax-color.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/pkgs/datalog/tool/syntax-color.rkt b/pkgs/datalog/tool/syntax-color.rkt index 19da6ba0f6..ab41cd07c0 100644 --- a/pkgs/datalog/tool/syntax-color.rkt +++ b/pkgs/datalog/tool/syntax-color.rkt @@ -33,4 +33,6 @@ [(:or "!=" #\= #\? #\~ #\. #\, ":-") (syn-val lexeme 'parenthesis #f start-pos end-pos)] [(eof) (syn-val lexeme 'eof #f start-pos end-pos)] [#\" ((colorize-string start-pos) input-port)] - [any-char (syn-val lexeme 'error #f start-pos end-pos)])) + [any-char (syn-val lexeme 'error #f start-pos end-pos)] + [(special) (syn-val lexeme 'error #f start-pos end-pos)] + [(special-comment) (syn-val lexeme 'error #f start-pos end-pos)]))