Re: [Axiom-developer] postprop.lisp

[Gabriel Dos Reis]

Waldek Hebisch <address@hidden> writes:

| Well, beauty of Lisp: the same things are defined in 'property.lisp'
| (except for |special| property, which is unused). You are probably
| right that depsys picks definitions from 'postprop.lisp'.  In my
| experiments (IIRC using AXIOMsys) changing 'postprop.lisp' did not
| work (had no effect), but changing 'property.lisp' worked.  Also data
| in 'property.lisp' is slightly different, but for me it looks better
| than what is in 'postprop.lisp'.  And bootstrap with 'postprop.lisp' 
| removed worked fine.

Just for other people investigating this issue: postprop.lisp is on
the list of autoloaded files for the "old parser"; property.lisp is not.
(I don't claim that contradicts your findings).

-- Gaby