Comment 1 for bug 418161

Revision history for this message
Matt Giuca (mgiuca) wrote :

From TODO note in the repository:

"Need to store a varset with each variable in interactive mode. Otherwise, type variables lose their names and, critically, their bindings."

This is probably sufficient to fix this bug.