equal
deleted
inserted
replaced
14 struct |
14 struct |
15 fun isSuffix s1 s2 = |
15 fun isSuffix s1 s2 = |
16 let val n1 = size s1 and n2 = size s2 |
16 let val n1 = size s1 and n2 = size s2 |
17 in if n1 = n2 then s1 = s2 else n1 <= n2 andalso String.substring (s2, n2 - n1, n1) = s1 end; |
17 in if n1 = n2 then s1 = s2 else n1 <= n2 andalso String.substring (s2, n2 - n1, n1) = s1 end; |
18 open String; |
18 open String; |
|
19 end; |
|
20 |
|
21 structure Substring = |
|
22 struct |
|
23 open Substring; |
|
24 val full = all; |
19 end; |
25 end; |
20 |
26 |
21 |
27 |
22 (* cygwin *) |
28 (* cygwin *) |
23 |
29 |