comparison src/jscomp.sml @ 838:5154a047c6bc

Lexing some more string escape sequences; JS versions of number read; fix problem with signature unification; escape < more often in Jscomp
author Adam Chlipala <adamc@hcoop.net>
date Tue, 02 Jun 2009 19:28:25 -0400
parents b0a85cbefed2
children e4a02e4fa35c
comparison
equal deleted inserted replaced
837:ccf22c2c77b2 838:5154a047c6bc
521 "\\047" 521 "\\047"
522 else 522 else
523 "'" 523 "'"
524 | #"\"" => "\\\"" 524 | #"\"" => "\\\""
525 | #"<" => 525 | #"<" =>
526 if mode = Script then 526 (*if mode = Script then
527 "<" 527 "<"
528 else 528 else*)
529 "\\074" 529 "\\074"
530 | #"\\" => "\\\\" 530 | #"\\" => "\\\\"
531 | #"\n" => "\\n" 531 | #"\n" => "\\n"
532 | #"\r" => "\\r" 532 | #"\r" => "\\r"
533 | #"\t" => "\\t" 533 | #"\t" => "\\t"