618 |
fun prepath2list what p = let |
fun prepath2list what p = let |
619 |
fun warn_relabs (abs, descr) = let |
fun warn_relabs (abs, descr) = let |
620 |
val relabs = if abs then "absolute" else "relative" |
val relabs = if abs then "absolute" else "relative" |
621 |
|
val gdesc = SrcPath.descr grouppath |
622 |
fun ppb pps = let |
fun ppb pps = let |
623 |
fun space () = PP.add_break pps (1, 0) |
fun space () = PP.add_break pps (1, 0) |
624 |
fun string s = PP.add_string pps s |
fun string s = PP.add_string pps s |
626 |
fun nl () = PP.add_newline pps |
fun nl () = PP.add_newline pps |
627 |
in |
in |
628 |
nl (); |
nl (); |
629 |
app ss [what, descr, "specified", "using", relabs]; |
PP.begin_block pps PP.INCONSISTENT 0; |
630 |
string "path"; nl (); |
app ss ["The", "path", "specifying"]; |
631 |
|
app ss [what, descr, "is"]; |
632 |
|
string relabs; string "."; nl (); |
633 |
app ss ["(This", "means", "that", "in", "order", |
app ss ["(This", "means", "that", "in", "order", |
634 |
"to", "be", "able", "to", "use", "the", |
"to", "be", "able", "to", "use", "the", |
635 |
"result", "of", "stabilization,", |
"stabilized", "library"]; |
636 |
"objects", "referred", "to", "using", |
string gdesc; ss ","; |
637 |
"this", "path", "must", "be", "in", "the", |
app ss ["it", "will", "be", "necessary", "to", |
638 |
"same"]; |
"keep", "all", "imported", "libraries", |
639 |
|
"with", "names", "derived", "from", "or", |
640 |
|
"equal", "to"]; |
641 |
|
ss descr; |
642 |
|
app ss ["in", "the", "same"]; |
643 |
ss relabs; |
ss relabs; |
644 |
app ss ["location", "as", "they", "are"]; |
app ss ["location", "as", "they", "are"]; |
645 |
string "now.)"; |
string "now.)"; |
646 |
nl () |
PP.end_block pps |
647 |
end |
end |
648 |
in |
in |
649 |
EM.errorNoFile (#errcons gp, anyerrors) SM.nullRegion |
EM.errorNoFile |
650 |
EM.WARN |
(#errcons gp, anyerrors) SM.nullRegion EM.WARN |
651 |
(concat [SrcPath.descr grouppath, |
(gdesc ^ ": uses non-anchored path") ppb |
|
": ", what, " referred to by ", |
|
|
relabs, " pathname."]) |
|
|
ppb |
|
652 |
end |
end |
653 |
in |
in |
654 |
SrcPath.pickle { warn = warn_relabs } |
SrcPath.pickle { warn = warn_relabs } |