Mercurial > urweb
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 |