Add regression test for type synonym with constraints inside existential typechecking bug

1 files changed, 1 insertions, 1 deletions

diff --git a/src/lexer.mll b/src/lexer.mll
index cd82a3b9..21b70c5f 100644
--- a/src/lexer.mll
+++ b/src/lexer.mll
@@ -271,7 +271,7 @@ rule token = parse
                                             Lexing.lexeme_start_p lexbuf)) }
 
 and line_comment pos = parse
-  | "\n"                                { () }
+  | "\n"                                { Lexing.new_line lexbuf; () }
   | _                                   { line_comment pos lexbuf }
   | eof                                 { raise (LexError("File ended before newline in comment", pos)) }