Mercurial > urweb

comparison src/cjrize.sml @ 1821:e8149592990e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Better error message about signals remaining in server-side code
author Adam Chlipala <adam@chlipala.net>
date Sun, 16 Sep 2012 08:31:54 -0400
parents 0577be31a435
children c1e3805e604e
comparison
equal deleted inserted replaced
1820:3c56aa6a0f55 1821:e8149592990e
160 val (sm, si) = Sm.findList (sm, t, t') 160 val (sm, si) = Sm.findList (sm, t, t')
161 in 161 in
162 ((L'.TList (t', si), loc), sm) 162 ((L'.TList (t', si), loc), sm)
163 end 163 end
164 | L.TSource => ((L'.TFfi ("Basis", "source"), loc), sm) 164 | L.TSource => ((L'.TFfi ("Basis", "source"), loc), sm)
165 | L.TSignal _ => raise Fail "Cjrize: TSignal remains" 165 | L.TSignal _ => (ErrorMsg.errorAt loc "TSignal remains";
166 Print.epreface ("Full type", MonoPrint.p_typ MonoEnv.empty (#1 x));
167 ((L'.TFfi ("Basis", "bogus"), loc), sm))
166 in 168 in
167 cify IM.empty x 169 cify IM.empty x
168 end 170 end
169 171
170 val dummye = (L'.EPrim (Prim.Int 0), ErrorMsg.dummySpan) 172 val dummye = (L'.EPrim (Prim.Int 0), ErrorMsg.dummySpan)