I'm not sure that's true, at least if you were running HeliOS.
Of course today we have golang which has much the same features as Occam and everybody thinks it is the best thing since sliced bread. And we have folks seriously re-writing dusty decks in Rust. But back then you just couldn't seriously sell a CPU that forced you to program in an unknown, fairly basic, programming language.
Also, internally we still used a lot of BCPL. So the company itself didn't eat its own dogfood in the way it expected customers to.