Mercurial > urweb

comparison src/demo.sml @ 2023:e4051315263e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix a bug in demos with 'rewrite all'
author Adam Chlipala <adam@chlipala.net>
date Wed, 11 Jun 2014 13:56:00 -0400
parents 3d922a28370b
children
comparison
equal deleted inserted replaced
2022:1a4b2b983889 2023:e4051315263e
408 TextIO.output (outf, prefix); 408 TextIO.output (outf, prefix);
409 TextIO.output (outf, "\n"); 409 TextIO.output (outf, "\n");
410 app (fn rule => 410 app (fn rule =>
411 (TextIO.output (outf, "rewrite "); 411 (TextIO.output (outf, "rewrite ");
412 TextIO.output (outf, case #pkind rule of 412 TextIO.output (outf, case #pkind rule of
413 Settings.Any => "any" 413 Settings.Any => "all"
414 | Settings.Url => "url" 414 | Settings.Url => "url"
415 | Settings.Table => "table" 415 | Settings.Table => "table"
416 | Settings.Sequence => "sequence" 416 | Settings.Sequence => "sequence"
417 | Settings.View => "view" 417 | Settings.View => "view"
418 | Settings.Relation => "relation" 418 | Settings.Relation => "relation"