From 6eee8747074539f77881cea90ce848cd8f4de1a5 Mon Sep 17 00:00:00 2001 From: Alasdair Armstrong Date: Mon, 22 Jan 2018 14:33:01 +0000 Subject: Add regression test for type synonym with constraints inside existential typechecking bug --- src/lexer.mll | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') 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)) } -- cgit v1.2.3