equal
deleted
inserted
replaced
50 fun shell_path path = ! shell_path_fn path; |
50 fun shell_path path = ! shell_path_fn path; |
51 |
51 |
52 |
52 |
53 (* current path *) |
53 (* current path *) |
54 |
54 |
55 val cd = Library.cd o platform_path; |
55 val cd = cd o platform_path; |
56 val pwd = explode_platform_path o Library.pwd; |
56 val pwd = explode_platform_path o pwd; |
57 |
57 |
58 fun norm_absolute p = |
58 fun norm_absolute p = |
59 let |
59 let |
60 val p' = pwd (); |
60 val p' = pwd (); |
61 fun norm p = if can cd p then pwd () |
61 fun norm p = if can cd p then pwd () |