Why is the Command module part of Core/Core_Kernel and not Base

Out of curiosity, does anyone know why the Command module is part of Core_Kernel and not Base? It seems like something really nice to have in Base, and is often the only reason I have to pull in Core or Core_Kernel instead of just sticking to Base and Stdio.


I think the right thing (which I expect we’ll do eventually) is to move it out of Core_kernel, and into its own library. I doubt it will ever get added directly to Base, though.



Oh yeah, a separate library makes the most sense. Thanks for the response!