Mercurial > urweb

comparison src/compiler.sml @ 1084:8e240c007442

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Don't relify in bigLibs; fix some memory bugs in transactionals
author Adam Chlipala <adamc@hcoop.net>
date Wed, 23 Dec 2009 14:27:12 -0500
parents 2eb585274501
children f1647f16097d
comparison
equal deleted inserted replaced
1083:2eb585274501 1084:8e240c007442
559 end 559 end
560 | _ => ErrorMsg.error "Bad 'deny' syntax") 560 | _ => ErrorMsg.error "Bad 'deny' syntax")
561 | "library" => if accLibs then 561 | "library" => if accLibs then
562 libs := pu (relify arg) :: !libs 562 libs := pu (relify arg) :: !libs
563 else 563 else
564 bigLibs := relify arg :: !bigLibs 564 bigLibs := arg :: !bigLibs
565 | "path" => 565 | "path" =>
566 (case String.fields (fn ch => ch = #"=") arg of 566 (case String.fields (fn ch => ch = #"=") arg of
567 [n, v] => pathmap := M.insert (!pathmap, n, v) 567 [n, v] => pathmap := M.insert (!pathmap, n, v)
568 | _ => ErrorMsg.error "path argument not of the form name=value'") 568 | _ => ErrorMsg.error "path argument not of the form name=value'")
569 | _ => ErrorMsg.error ("Unrecognized command '" ^ cmd ^ "'"); 569 | _ => ErrorMsg.error ("Unrecognized command '" ^ cmd ^ "'");