[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
- To: (BUG LISP) at MIT-MC
- Subject: Linkage assumptions.
- From: GJC at MIT-MC (George J. Carrette)
- Date: Sat, 13 Dec 80 19:11:00 GMT
- Original-date: 13 DEC 1980 1411-EST
(1) When the compiler assumes FOO as *EXPR, and then finds out
FOO is *LEXPR it barfs, failing to compile the function it
was working on, even though the code would still run.
(2) At uuolinks snap time, (or Fasload), when the system finds that
FOO which was assumed *EXPR in a given place is actually *LEXPR
it provides no messages.
These two things work together to make it difficult to
compile all of macsyma in the same environment on MC.
In other words one has to go out of his way to track
these things down, and can't just find out about them
and fix them in a painless incremental way.
How much trouble would it be to provide a switch in complr to prevent
"(1)". How much trouble to provide some kind of UUOLINKS daemon solve
The fact that it has been difficult/impossible in practice, to compile
all of macsyma in the same environment on MC has made it more
difficult to transport the code. Which is the only reason
I'd mention this.