enable comments

examples/comments.mmm

@@ -0,0 +1,9 @@
+// comment
+println("Hello, World!"); // comment
+// comment
+
+/* This is a comment
+   that spans multiple lines */
+
+println( "Hello, World!" /* inline comment */ );
+//comment

examples/control.mmm

@@ -1,3 +1,4 @@
+// if
 int i = 0;
 if 1 < 2 {
   println("true");
@@ -8,6 +9,7 @@ if 1 < 2 {
 }
 println(str(i));
 
+// while
 int j = 0;
 println(str(j));
 while j < 10 {

examples/structs.mmm

@@ -8,7 +8,7 @@ println(str(n.x))
 
 
 T n1;
-n1 = n;
+n1 = n; // copy
 
 println(str(n1.x))
 
@@ -17,7 +17,7 @@ n1.x = 3;
 println(str(n.x))
 println(str(n1.x))
 
-
+// embedded struct
 
 struct E {
   int x;

src/AST.hs

@@ -50,8 +50,6 @@ data Variable = Variable VariableDeclaration Expression
 data Assignment = Assignment Name Expression
   deriving (Show, Eq)
 
-type Comment = String
-
 data Type
   = IntType
   | FloatType

src/Parser/Comment.hs

@@ -1,11 +1,12 @@
 module Parser.Comment (module Parser.Comment) where
 
-import AST
 import Control.Monad (void)
 import Parser.EndOfLine (eol)
 import Text.Parsec
 import Text.Parsec.String
 
+type Comment = String
+
 consumeComment :: Parser ()
 consumeComment =
   void
@@ -19,7 +20,9 @@ parseComment =
 
 parseSingleLineComment :: Parser Comment
 parseSingleLineComment =
-  string "//" *> manyTill anyChar (try eol)
+  string "//" *> manyTill anyChar eoi
+  where
+    eoi = void eol <|> lookAhead eof -- don't consume eof
 
 parseMultiLineComment :: Parser Comment
 parseMultiLineComment =

src/Parser/Expression.hs

@@ -46,9 +46,9 @@ parseAtomicExpression =
 parseFunctionCallAtomic :: Parser Atomic
 parseFunctionCallAtomic = do
   name <- try parseName
-  _ <- char '('
-  args <- try (parseExpression `sepBy` (spaces' >> char ',' >> spaces'))
-  _ <- char ')'
+  _ <- spaces' *> char '(' <* spaces'
+  args <- try ((spaces *> parseExpression <* spaces') `sepBy` (spaces' >> char ',' >> spaces'))
+  _ <- spaces' *> char ')'
   return $ FunctionCallAtomic name args
 
 parseAtomic :: Parser Atomic

src/Parser/Space.hs

@@ -8,7 +8,7 @@ import Text.Parsec.String
 space' :: Parser ()
 space' =
   void space
-    -- <|> consumeComment -- TODO: enable comments
+    <|> consumeComment
     <|> void newline
     <|> void tab
 

test/E2E/Interpreter/examples/check_examples.sh

@@ -10,6 +10,7 @@ file_paths=(
     "short_hello_world.mmm:Hello, World!"
     "print.mmm:Hello, World!1"
     "structs.mmm:2223hello2223"
+    "comments.mmm:AB"
 )
 
 # Function to run program over file and check stdout

test/E2E/Interpreter/examples/comments.mmm

@@ -0,0 +1,9 @@
+// comment
+print("A"); // comment
+// comment
+
+/* This is a comment
+   that spans multiple lines */
+
+print( "B" /* inline comment */ );
+//comment

test/Spec.hs

@@ -13,7 +13,7 @@ main =
     ( TestList
         ( Unit.Parser.Assignment.allTests
             ++ Unit.Parser.Atomic.allTests
-            -- ++ Unit.Parser.Comment.allTests
+            ++ Unit.Parser.Comment.allTests
             ++ Unit.Parser.Expression.allTests
             ++ Unit.Parser.Program.allTests
             ++ Unit.Parser.Statement.allTests