Very dead horses.

[Alan Bawden <ALAN at MIT-MC>]

    Date: 1 November 1980 15:21-EST
    From: Jon L White <JONL at MIT-MC>

    Uh, re your remark
        Date: 1 November 1980 15:01-EST
        From: Kent M. Pitman <KMP at MIT-MC>
        Subject:  #O truncation, and #*
    there's a certain "patch" doable to maklisp which involves
    (DEPOSIT #O124000  #*265500013613*)
    If I didn't misunderstand your last comment on this dead horse,
    you seem to think that it would be much clearer if it were written
    (DEPOSIT #O124000 #+PDP10 #O265500013613)
    ??

(DEPOSIT #O124000 #O*265500013613) Would be the way to make the patch.

The point is that the number in a #*...* IS in SOME base, so why not
make it explicit?  Unless you have some hack that works by
interpreting the same digits in different bases on different machines
(ugh!), how can it hurt you to write the base down?