Christophe Rhodes csr21@cam.ac.uk writes:
At present, it's only possible to have one backend loaded at once, because STANDARD-POINTER is defined per-backend. This can't be right, can it? On the other hand, the attached is my 'solution' (for the CLX backend; I haven't tried fiddling with Beagle, but this also works for my in-development Null backend), and I'm not wild about it.
Still. Any opinions?
I've merged this, including a blind modification to the relevant beagle code. I hope I haven't broken anything in the process.
Cheers,
Christophe