diff options
Diffstat (limited to 'src/boot')
| -rw-r--r-- | src/boot/fe/lexer.mll | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/boot/fe/lexer.mll b/src/boot/fe/lexer.mll index 84aeb9ab..b84e5906 100644 --- a/src/boot/fe/lexer.mll +++ b/src/boot/fe/lexer.mll @@ -297,7 +297,8 @@ rule token = parse | '\'' { char lexbuf } | '"' { let buf = Buffer.create 32 in str buf lexbuf } - +| _ as c { let s = Char.escaped c in + fail lexbuf ("Bad character: " ^ s) } | eof { EOF } and str buf = parse |