Call stack information is lost in the optimization pass

G3Kappa / Ergo

Other

4 stars 0 forks source link

Call stack information is lost in the optimization pass #90

Closed G3Kappa closed 4 months ago

G3Kappa commented 4 months ago

Predicates like assertz and retract have trouble qualifying their argument with the correct module. This is because the compilation and optimization steps elide information about call sites.