Mercurial > urweb

comparison src/settings.sml @ 1183:9d3ccb8b39ac

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
safeGet
author Adam Chlipala <adamc@hcoop.net>
date Tue, 09 Mar 2010 18:28:44 -0500
parents 7a2a7a8f9cab
children 134da5110bf7
comparison
equal deleted inserted replaced
1182:0b1d666bddb4 1183:9d3ccb8b39ac
450 450
451 val sigFile = ref (NONE : string option) 451 val sigFile = ref (NONE : string option)
452 fun setSigFile v = sigFile := v 452 fun setSigFile v = sigFile := v
453 fun getSigFile () = !sigFile 453 fun getSigFile () = !sigFile
454 454
455 structure SS = BinarySetFn(struct
456 type ord_key = string
457 val compare = String.compare
458 end)
459
460 val safeGet = ref SS.empty
461 fun setSafeGets ls = safeGet := SS.addList (SS.empty, ls)
462 fun isSafeGet x = SS.member (!safeGet, x)
463
455 end 464 end