Comment 3 for bug 309141

Revision history for this message
Nikodemus Siivola (nikodemus) wrote : Re: type system and inline expansion

Mean to say:

"The problem is that FIND-FREE-FUN returns the defined-fun which has the functional from the SAFETY 0 call for the SAFETY 3 call, and consequently the functional converted in the earlier policy gets used."