I believe what @nuclearsandwich means to say is that you cannot have two install spaces active if they were not built as overlays. Your setup works, as /opt/ros
was active while /opt/pal
was built. But if that was not the case, there is no link between the two and source
ing one will deactive the other.
The setup described by the OP was like that.