Describe the bug
This is Rascal version 0.42.2.
Suppose we write this in a module editor:
layout L = [\ \t\n]*;
lexical Id = [a-z];
syntax Exp
= Id
| left Exp lhs "*" Exp rhs
> left Exp lhs "+" Exp rhs
;
data Tree(int depth = 0);
test bool expDepth() {
Exp tmp = (Exp)`a + b`;
return 0 := tmp.depth; // this field is correctly type-checked, but not represented in the IDE Summary for hyperlinking
}
Clicking on depth from tmp.depth will not lead us to the definition of `depth in the first line. For normal keyword fields on normal data constructor, this feature does work.
Describe the bug
This is Rascal version 0.42.2.
Suppose we write this in a module editor:
Clicking on
depthfromtmp.depthwill not lead us to the definition of `depth in the first line. For normal keyword fields on normal data constructor, this feature does work.