dryad/reclassify/ContextuallyAmbName:
* @todo This reclassification should be checked.

a small exemple:

class A{
A t;
}

class B{
Integer m(A l){
return l.t.t.t;
}
}

Submitted on 28 September 2006 at 16:36

DRY-242, martin:

I think I’m going to make the reclassifications of DRY-240 unchecked:

AmbName(Field, x) -> Field(Field, x))

without a condition. Of course, this is wrong, but currently this produces nothing more than an error.

The ‘solution’ is similar to the reclassification of amb names qualified by ExprNames:

AmbName(ExprName(…), …) -> Field(ExprName(…), …)

check that the field actually exists (or if a it should be a typename instead) is currently too involved.

I’ll make a new issues to check these reclasffications (DRY-244)