Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | SI-8369 resetAttrs now correctly accounts for skolems | Eugene Burmako | 2014-03-07 | 1 | -0/+0 |
resetAttrs (née resetLocalAttrs) has been oblivious to existence of skolems. Not anymore, which prevents us from reverting to the untyper nightmare. |