Comments kunnen nu eindigen met een EOF ipv newline
[cc1516.git] / src / lex.icl
index 8dc82e9..63a14e0 100644 (file)
@@ -15,10 +15,14 @@ lexer r = case runParser lexProgram r of
        (Left e, _) = Left $ toString e
 
 lexProgram :: Parser Char [Token]
-lexProgram = some lexToken <* eof >>= \ts->pure (map (\t->(0, 0, t)) ts)
+lexProgram = some lexToken <* many (satisfy isSpace) <* eof
+       >>= \ts->pure (map (\t->(0, 0, t)) ts)
 
 lexToken :: Parser Char TokenValue
 lexToken = 
+    //Comments
+    (list (fromString "//") >>| until top ((item '\n' >>| return Void) <|> eof) >>| lexToken) <|>
+    (list (fromString "/*") >>| until top (list (fromString "*/")) >>| lexToken) <|>
        //Keyword tokens
        (lexKw "var" VarToken) <|>
        (lexKw "Void" VoidToken) <|>
@@ -40,8 +44,9 @@ lexToken =
        (lexOp "<=" LesserEqToken) <|> (lexOp ">=" GreaterEqToken) <|>
        (lexOp "==" EqualsToken) <|> (lexOp "&&" AmpersandsToken) <|>
        (lexOp "||" PipesToken) <|> (lexOp "[]" EmptyListToken) <|>
-       (lexOp "->" ArrowToken) <|> (lexOp "(" BraceOpenToken) <|>
+       (lexOp "->" ArrowToken) <|> 
        //One char ops tokens
+    (lexOp "(" BraceOpenToken) <|>
        (lexOp ")" BraceCloseToken) <|> (lexOp "{" CBraceOpenToken) <|>
        (lexOp "}" CBraceCloseToken) <|> (lexOp "[" SquareOpenToken) <|>
        (lexOp "]" SquareCloseToken) <|> (lexOp "," CommaToken) <|>
@@ -55,7 +60,7 @@ lexToken =
        (liftM (NumberToken o toInt o toString) $ some $ satisfy isDigit) <|>
        //Ident tokens
        (liftM IdentToken $ some $ satisfy isIdentChar) <|>
-       (satisfy isSpace >>| lexToken) //<|>
+       (satisfy isSpace >>| lexToken)
 //     (eof >>| pure EndOfFileToken) 
        where
                isIdentChar c = isAlphanum c || c == '_'