Mercurial > urweb

comparison src/cjrize.sml @ 577:3d56940120b1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Setting a source server-side
author Adam Chlipala <adamc@hcoop.net>
date Tue, 30 Dec 2008 10:49:42 -0500
parents ac947e2f29ff
children 1e589a60b86f
comparison
equal deleted inserted replaced
576:813f1e78d9d0 577:3d56940120b1
118 let 118 let
119 val (t, sm) = cify dtmap (t, sm) 119 val (t, sm) = cify dtmap (t, sm)
120 in 120 in
121 ((L'.TOption t, loc), sm) 121 ((L'.TOption t, loc), sm)
122 end 122 end
123 | L.TSource => ((L'.TFfi ("Basis", "int"), loc), sm)
123 | L.TSignal _ => raise Fail "Cjrize: TSignal remains" 124 | L.TSignal _ => raise Fail "Cjrize: TSignal remains"
124 in 125 in
125 cify IM.empty x 126 cify IM.empty x
126 end 127 end
127 128