Mercurial > urweb

comparison src/effectize.sml @ 1370:44a12a321150

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
queryString and effectfulUrl
author Adam Chlipala <adam@chlipala.net>
date Sun, 26 Dec 2010 17:29:03 -0500
parents 7a436b6267ab
children 66092ce45a76
comparison
equal deleted inserted replaced
1369:1a78ca089bd0 1370:44a12a321150
1 (* Copyright (c) 2009, Adam Chlipala 1 (* Copyright (c) 2009-2010, Adam Chlipala
2 * All rights reserved. 2 * All rights reserved.
3 * 3 *
4 * Redistribution and use in source and binary forms, with or without 4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions are met: 5 * modification, are permitted provided that the following conditions are met:
6 * 6 *
139 evs 139 evs
140 end 140 end
141 in 141 in
142 (d, loop (writers, readers, pushers)) 142 (d, loop (writers, readers, pushers))
143 end 143 end
144 | DExport (Link, n, _) => 144 | DExport (Link, n, t) =>
145 (case IM.find (writers, n) of 145 (case IM.find (writers, n) of
146 NONE => () 146 NONE => ()
147 | SOME (loc, s) => 147 | SOME (loc, s) =>
148 if Settings.isSafeGet s then 148 if Settings.isSafeGet s then
149 () 149 ()