X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=utils%2Fhpc%2FHpcLexer.hs;h=feeb35a8ff6bcfb2a3b1cc7afe025522187c14f6;hb=f4b727487a65e6b611bbaafbd2207bd63a8df706;hp=3d1a640b3c4025f364867adce904098c83a35445;hpb=c8742f253f0c0b38f977530eceaaecac55578b4b;p=ghc-hetmet.git diff --git a/utils/hpc/HpcLexer.hs b/utils/hpc/HpcLexer.hs index 3d1a640..feeb35a 100644 --- a/utils/hpc/HpcLexer.hs +++ b/utils/hpc/HpcLexer.hs @@ -11,11 +11,11 @@ data Token deriving (Eq,Show) initLexer :: String -> [Token] -initLexer str = [ t | (_,_,t) <- lexer str 1 0 ] +initLexer str = [ t | (_,_,t) <- lexer str 1 1 ] lexer :: String -> Int -> Int -> [(Int,Int,Token)] lexer (c:cs) line column - | c == '\n' = lexer cs (succ line) 0 + | c == '\n' = lexer cs (succ line) 1 | c == '\"' = lexerSTR cs line (succ column) | c == '[' = lexerCAT cs "" line (succ column) | c `elem` "{};-:" @@ -24,28 +24,33 @@ lexer (c:cs) line column | isAlpha c = lexerKW cs [c] line (succ column) | isDigit c = lexerINT cs [c] line (succ column) | otherwise = error "lexer failure" -lexer [] line colunm = [] +lexer [] _ _ = [] +lexerKW :: String -> String -> Int -> Int -> [(Int,Int,Token)] lexerKW (c:cs) s line column | isAlpha c = lexerKW cs (s ++ [c]) line (succ column) lexerKW other s line column = (line,column,ID s) : lexer other line column +lexerINT :: String -> String -> Int -> Int -> [(Int,Int,Token)] lexerINT (c:cs) s line column | isDigit c = lexerINT cs (s ++ [c]) line (succ column) lexerINT other s line column = (line,column,INT (read s)) : lexer other line column -- not technically correct for the new column count, but a good approximation. +lexerSTR :: String -> Int -> Int -> [(Int,Int,Token)] lexerSTR cs line column = case lex ('"' : cs) of [(str,rest)] -> (line,succ column,STR (read str)) : lexer rest line (length (show str) + column + 1) _ -> error "bad string" +lexerCAT :: String -> String -> Int -> Int -> [(Int,Int,Token)] lexerCAT (c:cs) s line column | c == ']' = (line,column,CAT s) : lexer cs line (succ column) | otherwise = lexerCAT cs (s ++ [c]) line (succ column) -lexerCAT other s line column = error "lexer failure in CAT" +lexerCAT [] _ _ _ = error "lexer failure in CAT" +test :: IO () test = do t <- readFile "EXAMPLE.tc" print (initLexer t)