Mercurial > urweb

comparison src/corify.sml @ 1126:c01fb6f1b31f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
-path and -root command-line flags
author Adam Chlipala <adamc@hcoop.net>
date Tue, 12 Jan 2010 11:07:39 -0500
parents e06bfeb6c2aa
children 7fdea74b1dd9
comparison
equal deleted inserted replaced
1125:e06bfeb6c2aa 1126:c01fb6f1b31f
1023 | _ => (wds, eds) 1023 | _ => (wds, eds)
1024 1024
1025 val (wds, eds) = foldl wrapSgi ([], []) sgis 1025 val (wds, eds) = foldl wrapSgi ([], []) sgis
1026 val wrapper = (L.StrConst wds, loc) 1026 val wrapper = (L.StrConst wds, loc)
1027 val mst = St.lookupStrById st m 1027 val mst = St.lookupStrById st m
1028 val mst = foldl St.lookupStrByName mst ms
1028 val (ds, {inner, outer}) = corifyStr (St.name mst) (wrapper, st) 1029 val (ds, {inner, outer}) = corifyStr (St.name mst) (wrapper, st)
1029 val st = St.bindStr outer "wrapper" en inner 1030 val st = St.bindStr outer "wrapper" en inner
1030 1031
1031 val ds = ds @ map (fn f => f st) eds 1032 val ds = ds @ map (fn f => f st) eds
1032 in 1033 in