From 7ccea5dd982e783330bbfbb577867bc87a883e16 Mon Sep 17 00:00:00 2001 From: Brian Huffman Date: Mon, 19 Sep 2016 15:20:33 -0700 Subject: [PATCH] Rename function "endComent" to "endComment" --- src/Cryptol/Parser/Lexer.x | 2 +- src/Cryptol/Parser/LexerUtils.hs | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/Cryptol/Parser/Lexer.x b/src/Cryptol/Parser/Lexer.x index 30fd1a02..38510d8f 100644 --- a/src/Cryptol/Parser/Lexer.x +++ b/src/Cryptol/Parser/Lexer.x @@ -62,7 +62,7 @@ $unitick = \x7 } { -\*+\/ { endComent } +\*+\/ { endComment } [^\*\/]+ { addToComment } \* { addToComment } \/ { addToComment } diff --git a/src/Cryptol/Parser/LexerUtils.hs b/src/Cryptol/Parser/LexerUtils.hs index 408ce8c0..7a80e266 100644 --- a/src/Cryptol/Parser/LexerUtils.hs +++ b/src/Cryptol/Parser/LexerUtils.hs @@ -62,8 +62,8 @@ startComment isDoc _ p txt s = (Nothing, InComment d p stack chunks) InComment doc q qs cs -> (doc, q : qs, txt : cs) _ -> panic "[Lexer] startComment" ["in a string"] -endComent :: Action -endComent cfg p txt s = +endComment :: Action +endComment cfg p txt s = case s of InComment d f [] cs -> (Just (mkToken d f cs), Normal) InComment d _ (q:qs) cs -> (Nothing, InComment d q qs (txt : cs))