Changes http://wiki.axiom-developer.org/370ImproperCodeEmmitedByMkUnionFunListImpactsDefintrfSpad/diff --
++added: + +** 10 Jul 2007 ** + +The original fix had problems. It took the approach of `normalizing' the input +so that compWithMappingMode could swallow it. Unfortunately it did not normalize +_all_ such expressions. It fixed the defintrf.spad bug, but not the bug in general. + +The following change appears to be a general fix. It makes compWithMappingMode lift +only the identifiers it can prove are bound. Since record and union fields are not +bound identifiers, they are properly ignored. + + +<a href="uploads/20070710-compiler.boot.pamphlet.patch">20070710-compiler.boot.pamphlet.patch</a> -- forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
