blob: fa48bd75daca1ae60dc7ce073381d9751bb140d0 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
--- ./src/paths.sml.orig Fri Mar 30 23:39:15 2001
+++ src/paths.sml Sun Jan 13 11:03:51 2008
@@ -29,13 +29,13 @@
fun fstWidPath s =
let val (m1, m2) = Substring.splitl (not o StringUtil.isDot)
- (Substring.triml 1 (Substring.all s))
+ (Substring.triml 1 (Substring.full s))
in (Substring.string m1, Substring.string m2)
end
fun lastWidPath p =
let val (rp, rw) = Substring.splitr (not o StringUtil.isDot)
- (Substring.all p)
+ (Substring.full p)
in
if (Substring.size rp)= 0 then
("", Substring.string rw)
|
