Mercurial > urweb

comparison src/elaborate.sml @ 799:9330ba3a2799

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
cselect.onchange
author Adam Chlipala <adamc@hcoop.net>
date Thu, 14 May 2009 11:04:56 -0400
parents d20d6afc1206
children e2780d2f4afc
comparison
equal deleted inserted replaced
798:83875a9eb9b8 799:9330ba3a2799
3829 if ErrorMsg.anyErrors () then 3829 if ErrorMsg.anyErrors () then
3830 () 3830 ()
3831 else 3831 else
3832 app (fn f => f ()) (!checks); 3832 app (fn f => f ()) (!checks);
3833 3833
3834 (*preface ("file", p_file env' file);*)
3835
3834 (L'.DFfiStr ("Basis", basis_n, sgn), ErrorMsg.dummySpan) 3836 (L'.DFfiStr ("Basis", basis_n, sgn), ErrorMsg.dummySpan)
3835 :: ds 3837 :: ds
3836 @ (L'.DStr ("Top", top_n, topSgn, topStr), ErrorMsg.dummySpan) 3838 @ (L'.DStr ("Top", top_n, topSgn, topStr), ErrorMsg.dummySpan)
3837 :: ds' @ file 3839 :: ds' @ file
3838 end 3840 end