Mercurial > urweb

comparison src/settings.sml @ 2127:8beeb4f761b5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix interpretation of 'file' argument paths
author Adam Chlipala <adam@chlipala.net>
date Sun, 08 Mar 2015 10:55:05 -0400
parents 1f1575eff4b9
children e8863d9f8c59 e10881cd92da
comparison
equal deleted inserted replaced
2126:ec1614fb97bb 2127:8beeb4f761b5
865 865
866 fun setFilePath path = filePath := path 866 fun setFilePath path = filePath := path
867 867
868 fun addFile {Uri, LoadFromFilename} = 868 fun addFile {Uri, LoadFromFilename} =
869 let 869 let
870 val path = OS.Path.joinDirFile {dir = !filePath, file = LoadFromFilename} 870 val path = OS.Path.mkAbsolute {relativeTo = !filePath, path = LoadFromFilename}
871 in 871 in
872 case SM.find (!files, Uri) of 872 case SM.find (!files, Uri) of
873 SOME (path', _) => 873 SOME (path', _) =>
874 if path' = path then 874 if path' = path then
875 () 875 ()