Crucially, we are going to need to figure out some kind of way to remove Base -- while keeping Base.... The conclusion might genuinely be to make our own Base which directly imports much of Base. Crucially, we cannot have Base defined, or ever be called. This is a substantial change -- and will be part of #131 -- a substantial improvement to IO, as we we can just reroute open-ended show to show to an OliveDisplay and open-ended print to go to an IOBuffer -- so no more Pipes -- which I think is one of Olive's biggest issues right now.
Furthermore, this will lead to the changes to shellrepl cells detailed in #137
Crucially, we are going to need to figure out some kind of way to remove
Base-- while keepingBase.... The conclusion might genuinely be to make our ownBasewhich directly imports much ofBase. Crucially, we cannot haveBasedefined, or ever be called. This is a substantial change -- and will be part of #131 -- a substantial improvement to IO, as we we can just reroute open-endedshowto show to anOliveDisplayand open-endedprintto go to anIOBuffer-- so no more Pipes -- which I think is one ofOlive's biggest issues right now.Furthermore, this will lead to the changes to
shellreplcells detailed in #137