Mars

  1. Bug #418161
  2. Comment #3

Comment 3 for bug 418161

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

This bug is more serious than thought (bug #418167 has been marked as a duplicate of this). Certain local variables in interactive mode (whose types contain type variables) may fail to unify with other types, because they do not have a varset (so the merge will not properly rename the variables).

This issue can be fixed by keeping a varset for the local variables in interactive mode.