Incorrect use handling by TC for ==> and <==>

[PaulKlint]

After type checking this program:

value main(list[value] args) {
    xyz = false;
    c = true ==> xyz;
    return true;
}

the use of the variable xyz does not occur in the configuration returned by the type checker.

Replacing ==> by <==> has the same effect, however using == works fine.

[mahills]

If I run this using the checker I see the following:

rascal>c.uses;
rel[int,loc]: {<63,|project://StandardLibrary/src/lang/rascal/types/ToTest.rsc|(101,3,<5,17>,<5,20>)>}

rascal>c.store[63];
AbstractValue: variable(
  RSimpleName("xyz")[
    @at=|project://StandardLibrary/src/lang/rascal/types/ToTest.rsc|(71,3,<4,4>,<4,7>)
  ],
  bool(),
  true,
  60,
  |project://StandardLibrary/src/lang/rascal/types/ToTest.rsc|(71,3,<4,4>,<4,7>))

This seems like what one would expect. Are you not seeing it in the configuration at all? I haven't changed anything related to this.

[PaulKlint]

Thanks for the double check. You are right: I get a NoSuchKey(69) error in the compiler and misread the 69 for a 63. Sorry for the confusion, I keep digging ...