Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Fix debug printing with primitive projections. | Matthieu Sozeau | 2014-09-18 |
Add a flag to indicate if we're in the toplevel or debuggger to not try to retype terms in the wrong environment (and making find_rectype, get_type_of untraceable). This fixes bug #3638 along with the previous commit. |