Mercurial > urweb
comparison src/cjrize.sml @ 577:3d56940120b1
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 |