Mercurial > urweb

comparison src/jscomp.sml @ 798:83875a9eb9b8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Improvements while working on Graftid
author Adam Chlipala <adamc@hcoop.net>
date Thu, 14 May 2009 10:31:11 -0400
parents dc3fc3f3b834
children e92cfac1608f
comparison
equal deleted inserted replaced
797:2c463eee89fa 798:83875a9eb9b8
822 end) 822 end)
823 st pes 823 st pes
824 824
825 val (e, st) = jsE inner (e', st) 825 val (e, st) = jsE inner (e', st)
826 in 826 in
827 (strcat (str "(" 827 (strcat (str "(d0="
828 :: e
829 :: str ","
828 :: List.revAppend (cases, 830 :: List.revAppend (cases,
829 [str "d0=", 831 [str "c0())"])), st)
830 e,
831 str ",c0())"])), st)
832 end 832 end
833 833
834 | EStrcat (e1, e2) => 834 | EStrcat (e1, e2) =>
835 let 835 let
836 val (e1, st) = jsE inner (e1, st) 836 val (e1, st) = jsE inner (e1, st)