comparison src/jscomp.sml @ 821:395a5d450cc0

Chars and more string operations
author Adam Chlipala <adamc@hcoop.net>
date Tue, 26 May 2009 12:25:06 -0400
parents 493f44759879
children 497c7dbcc695
comparison
equal deleted inserted replaced
820:91f465ded07e 821:395a5d450cc0
539 else 539 else
540 "\\" ^ padWith (#"0", 540 "\\" ^ padWith (#"0",
541 Int.fmt StringCvt.OCT (ord ch), 541 Int.fmt StringCvt.OCT (ord ch),
542 3)) s 542 3)) s
543 ^ "\"") 543 ^ "\"")
544 | Prim.Char ch => str ("'" ^ String.str ch ^ "'")
544 | _ => str (Prim.toString p) 545 | _ => str (Prim.toString p)
545 546
546 fun jsPat depth inner (p, _) succ fail = 547 fun jsPat depth inner (p, _) succ fail =
547 case p of 548 case p of
548 PWild => succ 549 PWild => succ